/work/tschiex/CPD-Janvier-2013/toulbar2  version : 0.9.6.0, copyright (c) INRA 2013
loading wcsp file: 1CDL.matrix.40p.19aa.usingEref_self_digit8.wcsp
786432 Bytes allocated for Value stack.
1048576 Bytes allocated for Domain stack.
1048576 Bytes allocated for Cost stack.
1048576 Bytes allocated for Constraint stack.
1048576 Bytes allocated for Variable stack.
1048576 Bytes allocated for Separator stack.
1572864 Bytes allocated for BigInteger stack.
Read 40 variables, with 186 values at most, and 820 cost functions, with maximum arity 2.
Cost function decomposition time : 0 seconds.
Preprocessing Time               : 7.6 seconds.
39 unassigned variables, 3106 values in all current domains (med. size:79, max size:186) and 741 non-unary cost functions (med. degree:38)
Initial lower and upper bounds: [3588035465175,1537228672809129301[
--- [1] LDS 0 --- (0 nodes)
2097152 Bytes allocated for Cost stack.
4194304 Bytes allocated for Cost stack.
8388608 Bytes allocated for Cost stack.
16777216 Bytes allocated for Cost stack.
33554432 Bytes allocated for Cost stack.
67108864 Bytes allocated for Cost stack.
134217728 Bytes allocated for Cost stack.
New solution: 3592039147143 (0 backtracks, 36 nodes, depth 2)
 74 131 6 0 1 46 130 1 123 131 74 1 84 125 122 117 5 81 1 73 130 129 124 0 3 67 48 129 20 6 6 8 5 6 0 12 5 9 4 13
--- [1] LDS 1 --- (36 nodes)
New solution: 3591578496346 (1 backtracks, 72 nodes, depth 3)
 117 124 7 67 1 81 130 1 123 127 74 1 119 67 122 117 5 81 1 73 130 184 87 126 2 67 48 129 24 6 6 13 16 4 1 11 5 9 4 13
New solution: 3591332315295 (3 backtracks, 117 nodes, depth 3)
 74 131 6 0 1 125 130 1 123 87 74 1 119 127 65 74 5 48 1 84 130 85 87 127 2 67 48 125 24 6 6 8 16 6 1 21 5 9 4 13
--- [1] LDS 2 --- (166 nodes)
--- [1] Search with no discrepancy limit --- (253 nodes)
New solution: 3591281619636 (43 backtracks, 315 nodes, depth 22)
 125 131 7 0 1 131 130 1 123 131 74 1 119 127 65 74 5 48 1 121 130 85 124 84 3 67 48 125 20 6 6 17 16 6 1 21 6 9 4 13
New solution: 3591264576614 (45 backtracks, 325 nodes, depth 19)
 123 131 7 0 1 81 130 1 123 115 74 1 119 127 65 74 5 48 1 73 130 118 124 125 3 67 48 125 20 6 6 13 16 6 1 21 6 9 4 13
New solution: 3591262034424 (52 backtracks, 336 nodes, depth 15)
 125 131 7 0 1 131 130 1 123 131 74 1 119 127 65 74 5 48 1 73 130 85 124 84 3 67 48 125 20 6 6 17 16 6 1 21 6 9 4 13
New solution: 3591231482017 (200 backtracks, 631 nodes, depth 14)
 123 131 7 0 1 87 130 1 123 87 74 1 119 127 65 74 5 48 1 84 130 85 124 127 3 67 48 125 20 6 6 13 16 6 1 21 5 9 4 13
New solution: 3591199815382 (202 backtracks, 641 nodes, depth 18)
 125 131 7 0 1 131 130 1 123 131 74 1 119 127 65 74 5 48 1 73 130 85 124 84 3 67 48 125 20 6 6 17 16 6 1 21 5 9 4 13
New solution: 3591108240904 (302 backtracks, 855 nodes, depth 29)
 123 131 7 0 1 81 130 1 123 87 74 1 119 127 65 74 5 48 1 84 130 85 87 87 7 67 48 125 23 6 6 13 5 6 1 21 5 9 4 13
New solution: 3591085592726 (306 backtracks, 862 nodes, depth 13)
 125 131 7 0 1 123 130 1 123 87 74 1 119 127 65 74 5 48 1 84 130 85 87 127 7 67 48 125 23 6 6 17 16 6 1 21 5 9 4 13
New solution: 3590998800980 (314 backtracks, 896 nodes, depth 30)
 125 131 7 0 1 131 130 1 123 131 74 1 119 127 65 74 5 48 1 121 130 85 87 84 2 67 48 125 24 6 6 17 16 6 1 21 5 9 4 13
New solution: 3590904516593 (1096 backtracks, 2467 nodes, depth 25)
 125 131 7 0 1 131 130 1 123 131 74 1 84 125 122 117 5 81 1 73 130 85 87 84 2 67 48 129 24 6 6 17 16 6 1 12 5 9 4 13
Optimum: 3590904516593 in 2330 backtracks and 4921 nodes and 191.08 seconds.
end.