/work/tschiex/CPD-Janvier-2013/toulbar2  version : 0.9.6.0, copyright (c) INRA 2013
loading wcsp file: 1FYN.matrix.23p.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 23 variables, with 186 values at most, and 276 cost functions, with maximum arity 2.
Cost function decomposition time : 0 seconds.
Preprocessing Time               : 2.42 seconds.
22 unassigned variables, 2026 values in all current domains (med. size:125, max size:186) and 231 non-unary cost functions (med. degree:21)
Initial lower and upper bounds: [1183256805627,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: 1184376633398 (0 backtracks, 19 nodes, depth 2)
 172 2 112 124 173 122 4 0 2 6 122 128 66 5 84 180 3 134 172 87 2 3 1
--- [1] LDS 1 --- (19 nodes)
New solution: 1183565434657 (0 backtracks, 36 nodes, depth 3)
 172 3 112 124 173 115 4 0 2 6 179 66 174 5 84 180 3 134 75 87 2 3 1
--- [1] LDS 2 --- (42 nodes)
New solution: 1183559914935 (5 backtracks, 47 nodes, depth 2)
 172 3 112 124 173 115 4 0 2 6 179 66 174 5 84 180 3 134 75 87 2 2 1
--- [1] Search with no discrepancy limit --- (47 nodes)
Optimum: 1183559914935 in 12 backtracks and 61 nodes and 3.79 seconds.
end.