/work/tschiex/CPD-Janvier-2013/toulbar2  version : 0.9.6.0, copyright (c) INRA 2013
loading wcsp file: 1BRS.matrix.44p.20aa.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 44 variables, with 194 values at most, and 990 cost functions, with maximum arity 2.
Cost function decomposition time : 0 seconds.
Preprocessing Time               : 5.89 seconds.
44 unassigned variables, 2957 values in all current domains (med. size:8, max size:194) and 946 non-unary cost functions (med. degree:43)
Initial lower and upper bounds: [4005864394019,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: 4009071935739 (0 backtracks, 41 nodes, depth 2)
 123 0 170 6 69 5 0 107 82 73 66 103 6 6 4 6 179 74 74 59 4 74 3 3 2 7 112 129 49 72 4 4 3 3 6 4 4 1 2 3 4 0 2 1
--- [1] LDS 1 --- (41 nodes)
New solution: 4008458098672 (2 backtracks, 101 nodes, depth 3)
 130 0 170 5 72 5 129 107 84 123 127 131 6 0 4 6 179 87 74 59 4 75 3 3 2 10 112 129 131 72 4 4 3 3 6 4 4 1 2 3 4 0 2 1
--- [1] LDS 2 --- (165 nodes)
--- [1] Search with no discrepancy limit --- (471 nodes)
New solution: 4008353991327 (39 backtracks, 507 nodes, depth 38)
 130 0 170 6 72 5 129 107 48 123 127 131 6 0 4 6 179 74 74 136 4 75 3 3 2 7 47 126 131 70 4 4 3 3 5 4 4 1 2 3 4 0 2 1
New solution: 4008351968181 (41 backtracks, 509 nodes, depth 30)
 130 0 170 6 72 5 129 107 84 123 127 131 6 0 4 6 179 74 74 136 4 75 3 3 2 7 47 126 131 70 4 4 3 3 5 4 4 1 2 3 4 0 2 1
New solution: 4008321962323 (1124 backtracks, 2677 nodes, depth 32)
 130 0 47 6 72 5 129 107 48 123 66 103 6 0 4 6 69 74 66 0 4 75 3 3 2 7 47 129 131 72 4 5 3 3 6 4 4 1 2 3 4 0 2 1
New solution: 4008293059919 (1125 backtracks, 2679 nodes, depth 30)
 130 0 47 6 72 5 129 107 84 123 127 131 6 0 4 6 69 74 66 0 4 75 3 3 2 7 47 129 131 72 4 5 3 3 6 4 4 1 2 3 4 0 2 1
New solution: 4008169978996 (1127 backtracks, 2693 nodes, depth 39)
 130 0 170 6 72 5 129 107 84 123 127 131 6 0 4 6 179 74 74 0 4 75 3 3 2 7 47 129 131 72 4 4 3 3 6 4 4 1 2 3 4 0 2 1
New solution: 4008137734836 (1163 backtracks, 2767 nodes, depth 31)
 130 0 170 6 72 5 129 107 84 123 127 131 6 0 4 6 179 74 74 136 4 75 3 3 2 7 47 126 131 72 4 4 3 3 6 4 4 1 2 3 4 0 2 1
Optimum: 4008137734836 in 12683 backtracks and 25782 nodes and 426.3 seconds.
end.