/work/tschiex/CPD-Janvier-2013/toulbar2  version : 0.9.6.0, copyright (c) INRA 2013
loading wcsp file: 2DRI.matrix.37p.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 37 variables, with 186 values at most, and 703 cost functions, with maximum arity 2.
Cost function decomposition time : 0 seconds.
Preprocessing Time               : 2.31 seconds.
36 unassigned variables, 1784 values in all current domains (med. size:8, max size:186) and 630 non-unary cost functions (med. degree:35)
Initial lower and upper bounds: [2903224498773,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.
New solution: 2907217540519 (0 backtracks, 33 nodes, depth 2)
 2 6 10 121 67 66 1 13 2 3 4 16 40 12 5 4 0 14 6 122 4 123 3 6 47 4 7 9 1 94 5 10 4 122 4 5 1
--- [1] LDS 1 --- (33 nodes)
New solution: 2906956219315 (1 backtracks, 82 nodes, depth 3)
 2 11 10 120 70 181 1 13 2 2 4 45 40 12 5 4 0 14 6 122 4 123 3 6 47 4 7 9 1 45 8 10 4 122 4 5 1
New solution: 2906256242543 (2 backtracks, 112 nodes, depth 3)
 1 6 10 120 13 87 1 13 2 3 4 121 40 12 5 5 0 14 6 122 4 123 3 6 47 4 7 9 1 67 5 10 4 77 4 5 1
New solution: 2906207932441 (3 backtracks, 123 nodes, depth 3)
 1 6 10 120 13 87 1 13 2 2 4 121 40 12 5 5 0 14 6 122 4 124 3 6 47 4 7 9 1 67 5 10 4 77 4 5 1
New solution: 2906205551497 (4 backtracks, 125 nodes, depth 3)
 1 6 8 120 13 87 1 13 2 2 4 121 40 12 5 5 0 14 6 122 4 123 3 6 47 4 7 9 1 67 5 10 4 77 4 5 1
New solution: 2906202665429 (5 backtracks, 126 nodes, depth 2)
 1 6 10 120 13 87 1 13 2 2 4 121 40 12 5 5 0 14 6 122 4 123 3 6 47 4 7 9 1 67 5 10 4 77 4 5 1
--- [1] LDS 2 --- (126 nodes)
--- [1] Search with no discrepancy limit --- (217 nodes)
New solution: 2905964417301 (238 backtracks, 692 nodes, depth 33)
 2 11 10 120 129 181 1 13 2 2 4 45 40 12 4 5 0 14 6 122 4 131 3 6 47 4 7 9 1 67 5 10 4 122 4 5 1
New solution: 2905916322172 (242 backtracks, 703 nodes, depth 24)
 2 11 10 120 129 181 1 13 2 2 4 45 40 12 4 5 0 14 6 122 4 122 3 6 47 4 7 9 1 67 5 10 4 122 4 5 1
New solution: 2905859497482 (446 backtracks, 1112 nodes, depth 20)
 2 11 10 120 129 181 1 13 2 2 4 45 40 12 5 5 0 14 6 122 4 122 3 6 47 4 7 9 1 67 5 10 4 122 4 5 1
67108864 Bytes allocated for Cost stack.
New solution: 2905859295373 (1124 backtracks, 2472 nodes, depth 14)
 1 6 10 120 120 131 1 13 2 2 4 84 40 12 5 5 0 14 6 122 4 122 3 6 47 4 7 9 1 67 5 10 4 122 4 5 1
New solution: 2905613159039 (1125 backtracks, 2492 nodes, depth 32)
 1 6 10 120 129 131 1 13 2 2 4 118 40 12 5 5 0 14 6 122 4 122 3 6 47 4 7 9 1 67 5 10 4 124 4 5 1
134217728 Bytes allocated for Cost stack.
Optimum: 2905613159039 in 1464 backtracks and 3157 nodes and 24.46 seconds.
end.