Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -39 | 1800.01 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58579 |
Number of constraints which are clauses | 58579 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.82 c Initial problem consists of 945 variables and 58579 constraints. 7.77 c No problem reductions applied in OPT. instance. 7.77 c preprocess terminated. Elapsed time: 7.765 7.77 c After prepocess the problem consists of 945 variables and 58579 constraints. 7.77 c Initial Lower Bound: -945 7.82 c Sol. found (all assignments made)... 7.82 o -2 7.82 c NEW SOLUTION FOUND: -2 @ 7.814 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 o -3 7.82 c NEW SOLUTION FOUND: -3 @ 7.817 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 o -4 7.84 c NEW SOLUTION FOUND: -4 @ 7.831 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 o -5 7.87 c NEW SOLUTION FOUND: -5 @ 7.864 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.99 c Restart #1 #Var: 945 LB: -945 @ 7.984 8.04 c Sol. found (all assignments made)... 8.04 o -32 8.04 c NEW SOLUTION FOUND: -32 @ 8.033 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.05 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.07 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.09 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.24 c Restart #2 #Var: 945 LB: -945 @ 8.224 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.56 c Restart #3 #Var: 945 LB: -945 @ 8.543 8.61 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.67 c Sol. found (all assignments made)... 8.68 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 o -33 8.86 c NEW SOLUTION FOUND: -33 @ 8.842 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 8.90 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.19 c Restart #4 #Var: 945 LB: -945 @ 9.178 9.65 c Restart #5 #Var: 945 LB: -945 @ 9.635 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 10.20 c Restart #6 #Var: 945 LB: -945 @ 10.178 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.83 c Restart #7 #Var: 945 LB: -945 @ 10.81 11.19 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 61.31 c CHANGE to MIS mode... UB: -33 MIS: -478 LPR: -442 (4.9668) Diff: 1.0814 61.31 c Restart #0 #Var: 945 LB: -945 @ 61.262 61.55 c Sol. found (all assignments made)... 61.55 o -34 61.55 c NEW SOLUTION FOUND: -34 @ 61.504 61.55 c Sol. found (all assignments made)... 61.68 c Restart #1 #Var: 945 LB: -945 @ 61.634 62.03 c Restart #2 #Var: 945 LB: -945 @ 61.987 62.19 c Sol. found (all assignments made)... 62.19 c Sol. found (all assignments made)... 62.19 o -35 62.19 c NEW SOLUTION FOUND: -35 @ 62.144 62.48 c Restart #3 #Var: 945 LB: -945 @ 62.432 62.63 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.65 c Sol. found (all assignments made)... 62.65 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 63.03 c Restart #4 #Var: 945 LB: -477 @ 62.98 63.21 c Sol. found (all assignments made)... 63.21 o -36 63.21 c NEW SOLUTION FOUND: -36 @ 63.161 63.21 c Sol. found (all assignments made)... 63.21 c Sol. found (all assignments made)... 63.21 c Sol. found (all assignments made)... 63.69 c Restart #5 #Var: 945 LB: -477 @ 63.643 64.42 c Restart #6 #Var: 945 LB: -476 @ 64.377 65.23 c Restart #7 #Var: 945 LB: -945 @ 65.186 66.11 c Restart #8 #Var: 945 LB: -477 @ 66.069 67.08 c Restart #9 #Var: 945 LB: -945 @ 67.038 68.14 c Restart #10 #Var: 945 LB: -479 @ 68.089 69.27 c Restart #11 #Var: 945 LB: -945 @ 69.219 70.45 c Restart #12 #Var: 945 LB: -945 @ 70.405 71.73 c Restart #13 #Var: 945 LB: -945 @ 71.678 73.08 c Restart #14 #Var: 945 LB: -945 @ 73.03 74.52 c Restart #15 #Var: 945 LB: -945 @ 74.47 76.04 c Restart #16 #Var: 945 LB: -945 @ 75.996 77.63 c Restart #17 #Var: 945 LB: -945 @ 77.58 79.31 c Restart #18 #Var: 945 LB: -945 @ 79.264 79.52 c Sol. found (all assignments made)... 81.08 c Restart #19 #Var: 945 LB: -945 @ 81.026 81.29 c Sol. found (all assignments made)... 81.29 c Sol. found (all assignments made)... 82.94 c Restart #20 #Var: 945 LB: -945 @ 82.888 84.86 c Restart #21 #Var: 945 LB: -945 @ 84.809 86.92 c Restart #22 #Var: 945 LB: -945 @ 86.866 89.05 c Restart #23 #Var: 945 LB: -945 @ 88.998 90.18 c Sol. found (all assignments made)... 90.24 c Sol. found (all assignments made)... 90.24 c Sol. found (all assignments made)... 90.26 c Sol. found (all assignments made)... 90.26 c Sol. found (all assignments made)... 90.40 c Sol. found (all assignments made)... 90.45 c Sol. found (all assignments made)... 90.47 c Sol. found (all assignments made)... 90.47 c Sol. found (all assignments made)... 90.48 c Sol. found (all assignments made)... 90.49 c Sol. found (all assignments made)... 90.50 c Sol. found (all assignments made)... 90.55 c Sol. found (all assignments made)... 90.55 c Sol. found (all assignments made)... 90.58 c Sol. found (all assignments made)... 90.58 c Sol. found (all assignments made)... 91.19 c Restart #24 #Var: 945 LB: -945 @ 91.137 91.53 c Sol. found (all assignments made)... 91.54 c Sol. found (all assignments made)... 91.54 c Sol. found (all assignments made)... 92.75 c Sol. found (all assignments made)... 93.47 c Restart #25 #Var: 945 LB: -945 @ 93.412 95.78 c Restart #26 #Var: 945 LB: -945 @ 95.728 98.26 c Restart #27 #Var: 945 LB: -945 @ 98.21 100.83 c Restart #28 #Var: 945 LB: -945 @ 100.77 103.43 c Restart #29 #Var: 945 LB: -945 @ 103.38 106.22 c Restart #30 #Var: 945 LB: -945 @ 106.16 109.02 c Restart #31 #Var: 945 LB: -945 @ 108.97 111.87 c Restart #32 #Var: 945 LB: -945 @ 111.81 113.28 c Sol. found (all assignments made)... 113.29 c Sol. found (all assignments made)... 113.29 c Sol. found (all assignments made)... 113.29 c Sol. found (all assignments made)... 113.29 c Sol. found (all assignments made)... 113.29 c Sol. found (all assignments made)... 113.29 c Sol. found (all assignments made)... 113.30 c Sol. found (all assignments made)... 113.30 c Sol. found (all assignments made)... 113.30 c Sol. found (all assignments made)... 113.31 c Sol. found (all assignments made)... 113.31 c Sol. found (all assignments made)... 113.31 c Sol. found (all assignments made)... 113.32 c Sol. found (all assignments made)... 113.32 c Sol. found (all assignments made)... 113.32 c Sol. found (all assignments made)... 113.32 c Sol. found (all assignments made)... 113.32 c Sol. found (all assignments made)... 113.32 c Sol. found (all assignments made)... 113.33 c Sol. found (all assignments made)... 113.33 c Sol. found (all assignments made)... 113.33 c Sol. found (all assignments made)... 113.33 c Sol. found (all assignments made)... 113.33 c Sol. found (all assignments made)... 113.33 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.34 c Sol. found (all assignments made)... 113.35 c Sol. found (all assignments made)... 113.35 c Sol. found (all assignments made)... 113.51 c Sol. found (all assignments made)... 113.51 c Sol. found (all assignments made)... 113.51 c Sol. found (all assignments made)... 114.76 c Restart #33 #Var: 945 LB: -945 @ 114.7 115.01 c Sol. found (all assignments made)... 115.02 c Sol. found (all assignments made)... 115.02 c Sol. found (all assignments made)... 115.02 c Sol. found (all assignments made)... 115.03 c Sol. found (all assignments made)... 115.03 c Sol. found (all assignments made)... 115.03 c Sol. found (all assignments made)... 115.03 c Sol. found (all assignments made)... 115.03 c Sol. found (all assignments made)... 115.03 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.04 c Sol. found (all assignments made)... 115.05 c Sol. found (all assignments made)... 115.05 c Sol. found (all assignments made)... 115.05 c Sol. found (all assignments made)... 115.05 c Sol. found (all assignments made)... 115.05 c Sol. found (all assignments made)... 115.06 c Sol. found (all assignments made)... 115.06 c Sol. found (all assignments made)... 115.06 c Sol. found (all assignments made)... 115.06 c Sol. found (all assignments made)... 115.07 c Sol. found (all assignments made)... 115.07 c Sol. found (all assignments made)... 115.07 c Sol. found (all assignments made)... 115.07 c Sol. found (all assignments made)... 115.08 c Sol. found (all assignments made)... 115.08 c Sol. found (all assignments made)... 115.09 c Sol. found (all assignments made)... 115.09 c Sol. found (all assignments made)... 115.17 c Sol. found (all assignments made)... 115.32 c Sol. found (all assignments made)... 115.33 c Sol. found (all assignments made)... 115.33 c Sol. found (all assignments made)... 115.33 c Sol. found (all assignments made)... 115.40 c Sol. found (all assignments made)... 115.40 c Sol. found (all assignments made)... 115.40 c Sol. found (all assignments made)... 115.40 c Sol. found (all assignments made)... 115.41 c Sol. found (all assignments made)... 115.41 c Sol. found (all assignments made)... 115.42 c Sol. found (all assignments made)... 115.42 c Sol. found (all assignments made)... 115.44 c Sol. found (all assignments made)... 115.44 c Sol. found (all assignments made)... 115.44 c Sol. found (all assignments made)... 115.44 c Sol. found (all assignments made)... 115.45 c Sol. found (all assignments made)... 115.45 c Sol. found (all assignments made)... 115.46 c Sol. found (all assignments made)... 115.46 c Sol. found (all assignments made)... 115.53 c Sol. found (all assignments made)... 115.54 c Sol. found (all assignments made)... 115.54 c Sol. found (all assignments made)... 115.54 c Sol. found (all assignments made)... 115.56 c Sol. found (all assignments made)... 115.56 c Sol. found (all assignments made)... 115.57 c Sol. found (all assignments made)... 115.57 c Sol. found (all assignments made)... 115.67 c Sol. found (all assignments made)... 115.67 c Sol. found (all assignments made)... 115.68 c Sol. found (all assignments made)... 115.68 c Sol. found (all assignments made)... 115.81 c Sol. found (all assignments made)... 115.81 c Sol. found (all assignments made)... 115.82 c Sol. found (all assignments made)... 115.82 c Sol. found (all assignments made)... 115.91 c Sol. found (all assignments made)... 115.91 c Sol. found (all assignments made)... 115.92 c Sol. found (all assignments made)... 115.92 c Sol. found (all assignments made)... 115.96 c Sol. found (all assignments made)... 115.96 c Sol. found (all assignments made)... 115.98 c Sol. found (all assignments made)... 115.98 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 116.02 c Sol. found (all assignments made)... 116.03 c Sol. found (all assignments made)... 116.03 c Sol. found (all assignments made)... 116.03 c Sol. found (all assignments made)... 116.03 c Sol. found (all assignments made)... 116.03 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.06 c Sol. found (all assignments made)... 116.06 c Sol. found (all assignments made)... 116.07 c Sol. found (all assignments made)... 116.07 c Sol. found (all assignments made)... 116.18 c Sol. found (all assignments made)... 116.18 c Sol. found (all assignments made)... 116.18 c Sol. found (all assignments made)... 116.18 c Sol. found (all assignments made)... 116.20 c Sol. found (all assignments made)... 116.20 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.24 c Sol. found (all assignments made)... 116.24 c Sol. found (all assignments made)... 116.24 c Sol. found (all assignments made)... 116.24 c Sol. found (all assignments made)... 117.11 c Sol. found (all assignments made)... 117.11 c Sol. found (all assignments made)... 117.11 c Sol. found (all assignments made)... 117.11 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.13 c Sol. found (all assignments made)... 117.13 c Sol. found (all assignments made)... 117.13 c Sol. found (all assignments made)... 117.13 c Sol. found (all assignments made)... 117.13 c Sol. found (all assignments made)... 117.14 c Sol. found (all assignments made)... 117.14 c Sol. found (all assignments made)... 117.14 c Sol. found (all assignments made)... 117.14 c Sol. found (all assignments made)... 117.14 c Sol. found (all assignments made)... 117.15 c Sol. found (all assignments made)... 117.15 c Sol. found (all assignments made)... 117.15 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.16 c Sol. found (all assignments made)... 117.17 c Sol. found (all assignments made)... 117.17 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.18 c Sol. found (all assignments made)... 117.19 c Sol. found (all assignments made)... 117.19 c Sol. found (all assignments made)... 117.19 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.21 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.24 c Sol. found (all assignments made)... 117.24 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.28 c Sol. found (all assignments made)... 117.28 c Sol. found (all assignments made)... 117.28 c Sol. found (all assignments made)... 117.28 c Sol. found (all assignments made)... 117.28 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.29 c Sol. found (all assignments made)... 117.30 c Sol. found (all assignments made)... 117.30 c Sol. found (all assignments made)... 117.30 c Sol. found (all assignments made)... 117.30 c Sol. found (all assignments made)... 117.30 c Sol. found (all assignments made)... 117.30 c Sol. found (all assignments made)... 117.31 c Sol. found (all assignments made)... 117.31 c Sol. found (all assignments made)... 117.31 c Sol. found (all assignments made)... 117.31 c Sol. found (all assignments made)... 117.31 c Sol. found (all assignments made)... 117.66 c Restart #34 #Var: 945 LB: -945 @ 117.6 120.74 c Restart #35 #Var: 945 LB: -945 @ 120.68 123.94 c Restart #36 #Var: 945 LB: -945 @ 123.88 127.18 c Restart #37 #Var: 945 LB: -945 @ 127.11 127.40 c Sol. found (all assignments made)... 127.40 c Sol. found (all assignments made)... 127.40 c Sol. found (all assignments made)... 127.40 c Sol. found (all assignments made)... 127.41 c Sol. found (all assignments made)... 127.41 c Sol. found (all assignments made)... 127.41 c Sol. found (all assignments made)... 127.41 c Sol. found (all assignments made)... 127.42 c Sol. found (all assignments made)... 127.42 c Sol. found (all assignments made)... 127.42 c Sol. found (all assignments made)... 127.42 c Sol. found (all assignments made)... 127.45 c Sol. found (all assignments made)... 127.45 c Sol. found (all assignments made)... 127.46 c Sol. found (all assignments made)... 127.46 c Sol. found (all assignments made)... 127.49 c Sol. found (all assignments made)... 127.49 c Sol. found (all assignments made)... 127.50 c Sol. found (all assignments made)... 127.50 c Sol. found (all assignments made)... 127.50 c Sol. found (all assignments made)... 127.50 c Sol. found (all assignments made)... 127.51 c Sol. found (all assignments made)... 127.51 c Sol. found (all assignments made)... 127.51 c Sol. found (all assignments made)... 127.51 c Sol. found (all assignments made)... 127.51 c Sol. found (all assignments made)... 127.51 c Sol. found (all assignments made)... 127.55 c Sol. found (all assignments made)... 127.55 c Sol. found (all assignments made)... 127.55 c Sol. found (all assignments made)... 127.55 c Sol. found (all assignments made)... 127.56 c Sol. found (all assignments made)... 127.56 c Sol. found (all assignments made)... 127.56 c Sol. found (all assignments made)... 127.56 c Sol. found (all assignments made)... 127.57 c Sol. found (all assignments made)... 127.57 c Sol. found (all assignments made)... 127.58 c Sol. found (all assignments made)... 127.58 c Sol. found (all assignments made)... 127.59 c Sol. found (all assignments made)... 127.60 c Sol. found (all assignments made)... 127.60 c Sol. found (all assignments made)... 127.60 c Sol. found (all assignments made)... 127.60 c Sol. found (all assignments made)... 127.60 c Sol. found (all assignments made)... 127.61 c Sol. found (all assignments made)... 127.61 c Sol. found (all assignments made)... 127.62 c Sol. found (all assignments made)... 127.62 c Sol. found (all assignments made)... 127.62 c Sol. found (all assignments made)... 127.62 c Sol. found (all assignments made)... 127.64 c Sol. found (all assignments made)... 127.64 c Sol. found (all assignments made)... 127.65 c Sol. found (all assignments made)... 127.65 c Sol. found (all assignments made)... 127.65 c Sol. found (all assignments made)... 127.65 c Sol. found (all assignments made)... 127.65 c Sol. found (all assignments made)... 127.66 c Sol. found (all assignments made)... 127.67 c Sol. found (all assignments made)... 127.67 c Sol. found (all assignments made)... 127.67 c Sol. found (all assignments made)... 127.67 c Sol. found (all assignments made)... 127.68 c Sol. found (all assignments made)... 127.68 c Sol. found (all assignments made)... 127.68 c Sol. found (all assignments made)... 127.68 c Sol. found (all assignments made)... 130.40 c Restart #38 #Var: 945 LB: -945 @ 130.33 133.91 c Restart #39 #Var: 945 LB: -945 @ 133.84 137.46 c Restart #40 #Var: 945 LB: -477 @ 137.4 141.16 c Restart #41 #Var: 945 LB: -945 @ 141.09 144.89 c Restart #42 #Var: 945 LB: -945 @ 144.83 148.65 c Restart #43 #Var: 945 LB: -945 @ 148.59 152.48 c Restart #44 #Var: 945 LB: -945 @ 152.41 156.46 c Restart #45 #Var: 945 LB: -945 @ 156.39 157.69 c Sol. found (all assignments made)... 157.71 c Sol. found (all assignments made)... 157.75 c Sol. found (all assignments made)... 157.77 c Sol. found (all assignments made)... 157.78 c Sol. found (all assignments made)... 157.79 c Sol. found (all assignments made)... 157.79 c Sol. found (all assignments made)... 157.79 c Sol. found (all assignments made)... 157.79 c Sol. found (all assignments made)... 157.80 c Sol. found (all assignments made)... 157.81 c Sol. found (all assignments made)... 157.81 c Sol. found (all assignments made)... 157.81 c Sol. found (all assignments made)... 157.82 c Sol. found (all assignments made)... 157.82 c Sol. found (all assignments made)... 157.82 c Sol. found (all assignments made)... 157.84 c Sol. found (all assignments made)... 157.85 c Sol. found (all assignments made)... 157.85 c Sol. found (all assignments made)... 157.86 c Sol. found (all assignments made)... 157.86 c Sol. found (all assignments made)... 157.87 c Sol. found (all assignments made)... 157.88 c Sol. found (all assignments made)... 157.88 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.92 c Sol. found (all assignments made)... 157.93 c Sol. found (all assignments made)... 157.93 c Sol. found (all assignments made)... 157.93 c Sol. found (all assignments made)... 157.93 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.94 c Sol. found (all assignments made)... 157.95 c Sol. found (all assignments made)... 157.95 c Sol. found (all assignments made)... 157.96 c Sol. found (all assignments made)... 157.96 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.97 c Sol. found (all assignments made)... 157.98 c Sol. found (all assignments made)... 157.98 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.03 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.04 c Sol. found (all assignments made)... 158.05 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.11 c Sol. found (all assignments made)... 158.12 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.15 c Sol. found (all assignments made)... 158.16 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.17 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.18 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.19 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.20 c Sol. found (all assignments made)... 158.21 c Sol. found (all assignments made)... 158.21 c Sol. found (all assignments made)... 158.22 c Sol. found (all assignments made)... 158.22 c Sol. found (all assignments made)... 158.22 c Sol. found (all assignments made)... 158.22 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.23 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 o -37 158.24 c NEW SOLUTION FOUND: -37 @ 158.17 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.24 c Sol. found (all assignments made)... 158.25 c Sol. found (all assignments made)... 161.15 c Sol. found (all assignments made)... 161.15 c Sol. found (all assignments made)... 161.15 c Sol. found (all assignments made)... 161.16 c Sol. found (all assignments made)... 162.05 c Restart #46 #Var: 945 LB: -945 @ 161.97 166.16 c Restart #47 #Var: 945 LB: -945 @ 166.08 170.52 c Restart #48 #Var: 945 LB: -945 @ 170.45 174.88 c Restart #49 #Var: 945 LB: -945 @ 174.81 179.26 c Restart #50 #Var: 945 LB: -945 @ 179.19 183.88 c Restart #51 #Var: 945 LB: -945 @ 183.8 188.47 c Restart #52 #Var: 945 LB: -945 @ 188.39 193.18 c Restart #53 #Var: 945 LB: -945 @ 193.1 197.85 c Restart #54 #Var: 945 LB: -945 @ 197.77 199.22 c Sol. found (all assignments made)... 199.23 c Sol. found (all assignments made)... 202.71 c Restart #55 #Var: 945 LB: -945 @ 202.62 207.56 c Restart #56 #Var: 945 LB: -945 @ 207.48 212.56 c Restart #57 #Var: 945 LB: -945 @ 212.47 217.68 c Restart #58 #Var: 945 LB: -945 @ 217.59 222.88 c Restart #59 #Var: 945 LB: -945 @ 222.79 228.05 c Restart #60 #Var: 945 LB: -945 @ 227.96 233.38 c Restart #61 #Var: 945 LB: -945 @ 233.29 238.85 c Restart #62 #Var: 945 LB: -945 @ 238.76 244.32 c Restart #63 #Var: 945 LB: -945 @ 244.22 249.88 c Restart #64 #Var: 945 LB: -945 @ 249.78 255.71 c Restart #65 #Var: 945 LB: -945 @ 255.61 255.91 c Sol. found (all assignments made)... 255.91 c Sol. found (all assignments made)... 255.95 c Sol. found (all assignments made)... 255.96 c Sol. found (all assignments made)... 255.98 c Sol. found (all assignments made)... 256.01 c Sol. found (all assignments made)... 261.44 c Restart #66 #Var: 945 LB: -945 @ 261.34 267.24 c Restart #67 #Var: 945 LB: -945 @ 267.14 273.22 c Restart #68 #Var: 945 LB: -945 @ 273.12 279.34 c Restart #69 #Var: 945 LB: -945 @ 279.24 285.65 c Restart #70 #Var: 945 LB: -945 @ 285.54 291.84 c Restart #71 #Var: 945 LB: -945 @ 291.74 298.19 c Restart #72 #Var: 945 LB: -945 @ 298.08 304.42 c Restart #73 #Var: 945 LB: -945 @ 304.31 310.94 c Restart #74 #Var: 945 LB: -945 @ 310.83 317.49 c Restart #75 #Var: 945 LB: -945 @ 317.37 324.24 c Restart #76 #Var: 945 LB: -945 @ 324.13 330.84 c Restart #77 #Var: 945 LB: -945 @ 330.72 337.61 c Restart #78 #Var: 945 LB: -945 @ 337.5 344.40 c Restart #79 #Var: 945 LB: -945 @ 344.28 351.36 c Restart #80 #Var: 945 LB: -945 @ 351.24 358.49 c Restart #81 #Var: 945 LB: -945 @ 358.37 365.63 c Restart #82 #Var: 945 LB: -945 @ 365.5 372.76 c Restart #83 #Var: 945 LB: -945 @ 372.63 380.12 c Restart #84 #Var: 945 LB: -945 @ 379.99 387.49 c Restart #85 #Var: 945 LB: -945 @ 387.36 394.92 c Restart #86 #Var: 945 LB: -945 @ 394.79 402.60 c Restart #87 #Var: 945 LB: -945 @ 402.46 410.16 c Restart #88 #Var: 945 LB: -945 @ 410.02 417.96 c Restart #89 #Var: 945 LB: -945 @ 417.82 425.91 c Restart #90 #Var: 945 LB: -945 @ 425.77 433.66 c Restart #91 #Var: 945 LB: -945 @ 433.51 441.62 c Restart #92 #Var: 945 LB: -945 @ 441.47 449.44 c Restart #93 #Var: 945 LB: -945 @ 449.29 457.60 c Restart #94 #Var: 945 LB: -945 @ 457.45 465.88 c Restart #95 #Var: 945 LB: -945 @ 465.72 466.32 c Sol. found (all assignments made)... 466.50 c Sol. found (all assignments made)... 466.76 c Sol. found (all assignments made)... 473.97 c Restart #96 #Var: 945 LB: -945 @ 473.82 482.40 c Restart #97 #Var: 945 LB: -945 @ 482.24 491.08 c Restart #98 #Var: 945 LB: -945 @ 490.92 499.71 c Restart #99 #Var: 945 LB: -945 @ 499.55 508.53 c Restart #100 #Var: 945 LB: -945 @ 508.37 517.29 c Restart #101 #Var: 945 LB: -945 @ 517.12 526.19 c Restart #102 #Var: 945 LB: -945 @ 526.02 534.84 c Restart #103 #Var: 945 LB: -945 @ 534.66 543.69 c Restart #104 #Var: 945 LB: -945 @ 543.52 552.63 c Restart #105 #Var: 945 LB: -945 @ 552.45 561.73 c Restart #106 #Var: 945 LB: -945 @ 561.55 571.16 c Restart #107 #Var: 945 LB: -945 @ 570.98 580.50 c Restart #108 #Var: 945 LB: -945 @ 580.31 589.63 c Restart #109 #Var: 945 LB: -945 @ 589.45 599.05 c Restart #110 #Var: 945 LB: -478 @ 598.86 608.65 c Restart #111 #Var: 945 LB: -945 @ 608.46 618.52 c Restart #112 #Var: 945 LB: -945 @ 618.32 628.18 c Restart #113 #Var: 945 LB: -945 @ 627.98 638.02 c Restart #114 #Var: 945 LB: -945 @ 637.82 647.98 c Restart #115 #Var: 945 LB: -945 @ 647.78 658.08 c Restart #116 #Var: 945 LB: -945 @ 657.87 668.09 c Restart #117 #Var: 945 LB: -945 @ 667.88 668.54 c Sol. found (all assignments made)... 668.54 c Sol. found (all assignments made)... 668.54 c Sol. found (all assignments made)... 668.54 c Sol. found (all assignments made)... 668.54 c Sol. found (all assignments made)... 668.55 c Sol. found (all assignments made)... 668.55 c Sol. found (all assignments made)... 668.57 c Sol. found (all assignments made)... 668.57 c Sol. found (all assignments made)... 668.57 c Sol. found (all assignments made)... 668.57 c Sol. found (all assignments made)... 668.58 c Sol. found (all assignments made)... 668.58 c Sol. found (all assignments made)... 668.58 c Sol. found (all assignments made)... 668.65 c Sol. found (all assignments made)... 668.65 c Sol. found (all assignments made)... 668.66 c Sol. found (all assignments made)... 668.66 c Sol. found (all assignments made)... 668.67 c Sol. found (all assignments made)... 668.68 c Sol. found (all assignments made)... 668.68 c Sol. found (all assignments made)... 668.69 c Sol. found (all assignments made)... 674.25 c Sol. found (all assignments made)... 674.25 c Sol. found (all assignments made)... 674.25 c Sol. found (all assignments made)... 674.25 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.26 c Sol. found (all assignments made)... 674.28 c Sol. found (all assignments made)... 674.28 c Sol. found (all assignments made)... 674.28 c Sol. found (all assignments made)... 674.28 c Sol. found (all assignments made)... 674.28 c Sol. found (all assignments made)... 674.29 c Sol. found (all assignments made)... 674.29 c Sol. found (all assignments made)... 674.29 c Sol. found (all assignments made)... 674.29 c Sol. found (all assignments made)... 674.29 c Sol. found (all assignments made)... 674.29 c Sol. found (all assignments made)... 674.31 c Sol. found (all assignments made)... 674.31 c Sol. found (all assignments made)... 674.32 c Sol. found (all assignments made)... 674.32 c Sol. found (all assignments made)... 674.34 c Sol. found (all assignments made)... 674.34 c Sol. found (all assignments made)... 674.34 c Sol. found (all assignments made)... 674.35 c Sol. found (all assignments made)... 674.35 c Sol. found (all assignments made)... 674.36 c Sol. found (all assignments made)... 674.36 c Sol. found (all assignments made)... 674.36 c Sol. found (all assignments made)... 674.36 c Sol. found (all assignments made)... 674.42 c Sol. found (all assignments made)... 674.42 c Sol. found (all assignments made)... 674.42 c Sol. found (all assignments made)... 674.43 c Sol. found (all assignments made)... 674.47 c Sol. found (all assignments made)... 674.50 c Sol. found (all assignments made)... 674.51 c Sol. found (all assignments made)... 674.52 c Sol. found (all assignments made)... 674.52 c Sol. found (all assignments made)... 674.54 c Sol. found (all assignments made)... 674.55 c Sol. found (all assignments made)... 674.55 c Sol. found (all assignments made)... 678.11 c Restart #118 #Var: 945 LB: -945 @ 677.9 688.33 c Restart #119 #Var: 945 LB: -945 @ 688.12 688.52 c Sol. found (all assignments made)... 688.88 c Sol. found (all assignments made)... 698.59 c Restart #120 #Var: 945 LB: -945 @ 698.37 709.20 c Restart #121 #Var: 945 LB: -945 @ 708.98 719.64 c Restart #122 #Var: 945 LB: -945 @ 719.42 730.33 c Restart #123 #Var: 945 LB: -945 @ 730.1 741.10 c Restart #124 #Var: 945 LB: -945 @ 740.88 751.89 c Restart #125 #Var: 945 LB: -945 @ 751.66 762.79 c Restart #126 #Var: 945 LB: -945 @ 762.56 773.48 c Restart #127 #Var: 945 LB: -945 @ 773.25 784.44 c Restart #128 #Var: 945 LB: -945 @ 784.2 795.42 c Restart #129 #Var: 945 LB: -945 @ 795.18 806.76 c Restart #130 #Var: 945 LB: -945 @ 806.52 817.89 c Restart #131 #Var: 945 LB: -945 @ 817.64 829.20 c Restart #132 #Var: 945 LB: -945 @ 828.95 840.48 c Restart #133 #Var: 945 LB: -945 @ 840.23 852.03 c Restart #134 #Var: 945 LB: -945 @ 851.77 863.75 c Restart #135 #Var: 945 LB: -945 @ 863.49 875.46 c Restart #136 #Var: 945 LB: -945 @ 875.2 887.18 c Restart #137 #Var: 945 LB: -945 @ 886.92 899.16 c Restart #138 #Var: 945 LB: -945 @ 898.89 901.22 c Sol. found (all assignments made)... 901.25 c Sol. found (all assignments made)... 901.26 c Sol. found (all assignments made)... 901.27 c Sol. found (all assignments made)... 901.27 c Sol. found (all assignments made)... 901.29 c Sol. found (all assignments made)... 901.48 c Sol. found (all assignments made)... 901.54 c Sol. found (all assignments made)... 901.54 c Sol. found (all assignments made)... 901.92 c Sol. found (all assignments made)... 901.96 c Sol. found (all assignments made)... 901.96 c Sol. found (all assignments made)... 901.99 c Sol. found (all assignments made)... 902.00 c Sol. found (all assignments made)... 902.03 c Sol. found (all assignments made)... 902.18 c Sol. found (all assignments made)... 902.78 c Sol. found (all assignments made)... 903.08 c Sol. found (all assignments made)... 903.08 c Sol. found (all assignments made)... 903.10 c Sol. found (all assignments made)... 903.10 c Sol. found (all assignments made)... 911.36 c Restart #139 #Var: 945 LB: -945 @ 911.09 916.49 c Sol. found (all assignments made)... 923.02 c Restart #140 #Var: 945 LB: -945 @ 922.74 935.03 c Restart #141 #Var: 945 LB: -945 @ 934.75 947.12 c Restart #142 #Var: 945 LB: -945 @ 946.84 959.22 c Restart #143 #Var: 945 LB: -945 @ 958.93 971.77 c Restart #144 #Var: 945 LB: -945 @ 971.48 984.01 c Restart #145 #Var: 945 LB: -945 @ 983.72 996.65 c Restart #146 #Var: 945 LB: -945 @ 996.35 1009.38 c Restart #147 #Var: 945 LB: -945 @ 1009.1 1022.19 c Restart #148 #Var: 945 LB: -945 @ 1021.9 1033.79 c Sol. found (all assignments made)... 1034.64 c Restart #149 #Var: 945 LB: -945 @ 1034.3 1047.26 c Restart #150 #Var: 945 LB: -945 @ 1046.9 1059.52 c Sol. found (all assignments made)... 1059.89 c Sol. found (all assignments made)... 1059.98 c Restart #151 #Var: 945 LB: -945 @ 1059.7 1072.96 c Restart #152 #Var: 945 LB: -945 @ 1072.6 1086.00 c Restart #153 #Var: 945 LB: -945 @ 1085.7 1099.19 c Restart #154 #Var: 945 LB: -945 @ 1098.9 1112.47 c Restart #155 #Var: 945 LB: -945 @ 1112.1 1113.28 c Sol. found (all assignments made)... 1113.28 c Sol. found (all assignments made)... 1113.29 c Sol. found (all assignments made)... 1113.29 c Sol. found (all assignments made)... 1113.29 c Sol. found (all assignments made)... 1113.29 o -38 1113.29 c NEW SOLUTION FOUND: -38 @ 1113 1114.31 c Sol. found (all assignments made)... 1114.31 o -39 1114.31 c NEW SOLUTION FOUND: -39 @ 1114 1114.31 c Sol. found (all assignments made)... 1127.48 c Restart #156 #Var: 945 LB: -945 @ 1127.2 1141.09 c Restart #157 #Var: 945 LB: -945 @ 1140.8 1155.31 c Restart #158 #Var: 945 LB: -945 @ 1155 1169.25 c Restart #159 #Var: 945 LB: -945 @ 1168.9 1183.07 c Restart #160 #Var: 945 LB: -945 @ 1182.7 1196.90 c Restart #161 #Var: 945 LB: -945 @ 1196.6 1211.14 c Restart #162 #Var: 945 LB: -945 @ 1210.8 1225.94 c Restart #163 #Var: 945 LB: -945 @ 1225.6 1239.98 c Restart #164 #Var: 945 LB: -945 @ 1239.6 1254.52 c Restart #165 #Var: 945 LB: -945 @ 1254.2 1269.26 c Restart #166 #Var: 945 LB: -945 @ 1268.9 1284.23 c Restart #167 #Var: 945 LB: -945 @ 1283.9 1299.00 c Restart #168 #Var: 945 LB: -945 @ 1298.6 1313.74 c Restart #169 #Var: 945 LB: -945 @ 1313.4 1328.44 c Restart #170 #Var: 945 LB: -945 @ 1328.1 1343.49 c Restart #171 #Var: 945 LB: -945 @ 1343.1 1358.94 c Restart #172 #Var: 945 LB: -945 @ 1358.5 1374.08 c Restart #173 #Var: 945 LB: -945 @ 1373.7 1389.37 c Restart #174 #Var: 945 LB: -945 @ 1389 1404.90 c Restart #175 #Var: 945 LB: -945 @ 1404.5 1420.38 c Restart #176 #Var: 945 LB: -945 @ 1420 1435.80 c Restart #177 #Var: 945 LB: -945 @ 1435.4 1451.49 c Restart #178 #Var: 945 LB: -945 @ 1451.1 1467.10 c Restart #179 #Var: 945 LB: -945 @ 1466.7 1482.59 c Restart #180 #Var: 945 LB: -945 @ 1482.2 1498.73 c Restart #181 #Var: 945 LB: -945 @ 1498.3 1515.29 c Restart #182 #Var: 945 LB: -945 @ 1514.9 1531.82 c Restart #183 #Var: 945 LB: -945 @ 1531.4 1547.60 c Restart #184 #Var: 945 LB: -945 @ 1547.2 1564.08 c Restart #185 #Var: 945 LB: -945 @ 1563.6 1580.19 c Restart #186 #Var: 945 LB: -945 @ 1579.7 1596.60 c Restart #187 #Var: 945 LB: -945 @ 1596.1 1613.58 c Restart #188 #Var: 945 LB: -945 @ 1613.1 1629.90 c Restart #189 #Var: 945 LB: -945 @ 1629.4 1646.75 c Restart #190 #Var: 945 LB: -945 @ 1646.3 1663.18 c Restart #191 #Var: 945 LB: -945 @ 1662.7 1679.92 c Restart #192 #Var: 945 LB: -945 @ 1679.4 1696.82 c Restart #193 #Var: 945 LB: -945 @ 1696.3 1713.49 c Restart #194 #Var: 945 LB: -945 @ 1713 1730.47 c Restart #195 #Var: 945 LB: -945 @ 1730 1747.65 c Restart #196 #Var: 945 LB: -945 @ 1747.2 1764.64 c Restart #197 #Var: 945 LB: -945 @ 1764.1 1781.65 c Restart #198 #Var: 945 LB: -945 @ 1781.1 1798.54 c Restart #199 #Var: 945 LB: -945 @ 1798 1800.51 s SATISFIABLE 1800.51 c Cost: -39 1800.51 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.51 v -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.51 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.51 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.51 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.51 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 1800.51 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.51 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1800.51 v -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.51 v -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.51 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.51 v -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.51 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 1800.51 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.51 v -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.51 v -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.51 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.51 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.51 v x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.51 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 1800.51 v -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.51 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.51 v -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.51 v -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.51 v -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.51 v -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.51 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.51 v -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.51 v -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1800.51 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 1800.51 v -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.51 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.51 v -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.51 v -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.51 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 1800.51 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.51 v -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.51 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 1800.51 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 1800.51 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.51 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.51 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1800.51 v -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1800.51 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.51 v -x1 1800.51 c Exit Code: 10 1800.51 c Total time: 1800 s
OK -39
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-40502-1149296527 -o ROOT/results/node51/solver-40502-1149296527 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node51/40502-1149296527/instance-40502-1149296527.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1628544/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=4616 CPUtime=0 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 188 0 0 0 0 0 0 0 18 0 1 0 195320036 4726784 158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9724/statm: 1154 166 124 55 0 46 0 [startup+10.0029 s] /proc/loadavg: 0.87 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1597640/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=35496 CPUtime=9.98 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 8150 0 0 0 994 4 0 0 25 0 1 0 195320036 36347904 8065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 8874 8065 297 55 0 7766 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 35496 [startup+20.0088 s] /proc/loadavg: 0.89 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1592200/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=41208 CPUtime=19.97 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 9732 0 0 0 1990 7 0 0 25 0 1 0 195320036 42196992 9432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 10302 9432 308 55 0 9194 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 41208 [startup+30.0147 s] /proc/loadavg: 0.91 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1563400/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=81044 CPUtime=29.97 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 19452 0 1 0 2984 13 0 0 25 0 1 0 195320036 82989056 16696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 20261 16696 413 55 0 19153 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 81044 [startup+40.0206 s] /proc/loadavg: 0.92 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1569224/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=75724 CPUtime=39.97 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 19652 0 1 0 3984 13 0 0 25 0 1 0 195320036 77541376 15249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 18931 15249 415 55 0 17823 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 75724 [startup+50.0265 s] /proc/loadavg: 0.93 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1563976/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=87796 CPUtime=49.97 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 176633 0 1 0 4918 79 0 0 25 0 1 0 195320036 89903104 16579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 21949 16579 436 55 0 20841 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 87796 [startup+60.0324 s] /proc/loadavg: 0.94 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1561928/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=84184 CPUtime=59.98 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 199151 0 1 0 5910 88 0 0 25 0 1 0 195320036 86204416 17092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 21046 17092 436 55 0 19938 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 84184 [startup+70.0393 s] /proc/loadavg: 0.95 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581640/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52084 CPUtime=69.98 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 204871 0 1 0 6906 92 0 0 25 0 1 0 195320036 53334016 12160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13021 12160 436 55 0 11913 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 52084 [startup+80.0453 s] /proc/loadavg: 0.96 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581512/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52288 CPUtime=79.98 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205011 0 1 0 7905 93 0 0 25 0 1 0 195320036 53542912 12201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13072 12201 436 55 0 11964 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 52288 [startup+90.0512 s] /proc/loadavg: 0.96 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581256/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52416 CPUtime=89.99 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205111 0 1 0 8905 94 0 0 25 0 1 0 195320036 53673984 12250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3052413 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13104 12250 436 55 0 11996 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 52416 [startup+100.057 s] /proc/loadavg: 0.97 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581256/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52288 CPUtime=99.99 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205111 0 1 0 9904 95 0 0 25 0 1 0 195320036 53542912 12218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13072 12218 436 55 0 11964 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 52288 [startup+110.063 s] /proc/loadavg: 0.97 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581384/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52144 CPUtime=109.99 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205135 0 1 0 10903 96 0 0 25 0 1 0 195320036 53395456 12182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13036 12182 436 55 0 11928 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 52144 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581384/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52296 CPUtime=119.99 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205174 0 1 0 11901 98 0 0 25 0 1 0 195320036 53551104 12220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13074 12220 436 55 0 11966 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 52296 [startup+130.075 s] /proc/loadavg: 0.98 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581384/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52360 CPUtime=130 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205182 0 1 0 12900 100 0 0 25 0 1 0 195320036 53616640 12228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13090 12228 436 55 0 11982 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 52360 [startup+140.08 s] /proc/loadavg: 0.98 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581448/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52292 CPUtime=140.01 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205301 0 1 0 13900 101 0 0 25 0 1 0 195320036 53547008 12211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13073 12211 436 55 0 11965 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 52292 [startup+150.086 s] /proc/loadavg: 0.98 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581320/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52192 CPUtime=150.01 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205379 0 1 0 14900 101 0 0 25 0 1 0 195320036 53444608 12194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13048 12194 436 55 0 11940 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 52192 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581128/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52580 CPUtime=160.01 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205468 0 1 0 15899 102 0 0 25 0 1 0 195320036 53841920 12283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3047479 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13145 12283 436 55 0 12037 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 52580 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581128/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52712 CPUtime=170.01 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205477 0 1 0 16898 103 0 0 25 0 1 0 195320036 53977088 12292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13178 12292 436 55 0 12070 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 52712 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581256/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52528 CPUtime=180.02 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205542 0 1 0 17898 104 0 0 25 0 1 0 195320036 53788672 12260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13132 12260 436 55 0 12024 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 52528 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581256/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52360 CPUtime=190.02 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205542 0 1 0 18897 105 0 0 25 0 1 0 195320036 53616640 12236 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13090 12236 436 55 0 11982 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 52360 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1581256/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=52220 CPUtime=200.02 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 205565 0 1 0 19896 106 0 0 25 0 1 0 195320036 53473280 12201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13055 12201 436 55 0 11947 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 52220 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 9724 /proc/meminfo: memFree=1580936/2055920 swapFree=4181388/4192956 ################ # More data... # ################ /proc/9724/statm: 13262 12392 436 55 0 12154 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 53048 [startup+1771.03 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53048 CPUtime=1770.52 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 176792 260 0 0 25 0 1 0 195320036 54321152 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13262 12392 436 55 0 12154 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 53048 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53048 CPUtime=1780.52 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 177791 261 0 0 25 0 1 0 195320036 54321152 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3047576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13262 12392 436 55 0 12154 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 53048 [startup+1782.04 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1781.53 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 177892 261 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3048772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 53036 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1782.53 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 177992 261 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 53036 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1783.53 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178092 261 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 53036 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1784.54 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178193 261 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 53036 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1785.54 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178293 261 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 53036 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1786.54 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178393 261 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 53036 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1787.56 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178494 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 53036 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1788.56 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178594 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3052243 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 53036 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1789.57 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178695 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 53036 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1790.57 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178795 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 53036 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1791.57 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178895 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3047493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 53036 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1792.58 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 178996 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 53036 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1793.58 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179096 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 53036 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1794.58 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179196 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 53036 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1795.59 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179297 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 53036 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1796.59 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179397 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3051156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 53036 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1797.6 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179498 262 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 53036 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1798.61 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179598 263 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 53036 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 9724 /proc/meminfo: memFree=1580424/2055920 swapFree=4181388/4192956 [pid=9724] ppid=9722 vsize=53036 CPUtime=1799.61 /proc/9724/stat : 9724 (bsolo) R 9722 9724 9678 0 -1 0 208229 0 1 0 179698 263 0 0 25 0 1 0 195320036 54308864 12392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9724/statm: 13259 12392 436 55 0 12151 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 53036 Child status: 10 Real time (s): 1800.53 CPU time (s): 1800.01 CPU user time (s): 1797.37 CPU system time (s): 2.6406 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (Kb): 87796
Begin job on node51 on Sat Jun 3 01:02:08 UTC 2006 FILE ID= 40502-1149296527 PBS_JOBID= 307134 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node51/40502-1149296527/instance-40502-1149296527.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-40502-1149296527 -o ROOT/results/node51/solver-40502-1149296527 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node51/40502-1149296527/instance-40502-1149296527.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED= 72879392 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1628752 kB Buffers: 22332 kB Cached: 342216 kB SwapCached: 3400 kB Active: 57772 kB Inactive: 315596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1628752 kB SwapTotal: 4192956 kB SwapFree: 4181388 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14916 kB Slab: 39816 kB Committed_AS: 305824 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Sat Jun 3 01:32:08 UTC 2006