/work/tschiex/CPD-Janvier-2013/toulbar2  version : 0.9.6.0, copyright (c) INRA 2013
loading wcsp file: 1NXB.matrix.34p.9aa.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 34 variables, with 56 values at most, and 595 cost functions, with maximum arity 2.
Cost function decomposition time : 0 seconds.
Preprocessing Time               : 0.21 seconds.
34 unassigned variables, 578 values in all current domains (med. size:18, max size:56) and 561 non-unary cost functions (med. degree:33)
Initial lower and upper bounds: [2971951591777,1537228672809129301[
--- [1] LDS 0 --- (0 nodes)
2097152 Bytes allocated for Cost stack.
New solution: 2971958556423 (0 backtracks, 31 nodes, depth 2)
 30 17 42 1 0 1 17 13 4 11 2 15 8 35 19 4 1 1 28 13 3 23 1 1 2 5 11 0 15 4 5 2 1 3
--- [1] LDS 1 --- (31 nodes)
Optimum: 2971958556423 in 1 backtracks and 33 nodes and 0.24 seconds.
end.