Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -34 | 1800.01 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | c9380923d34e254cfa512f89027f1d42 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41095 |
Number of constraints which are clauses | 41095 |
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 | 760 |
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 | 760 |
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 | 760 |
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.58 c Initial problem consists of 760 variables and 41095 constraints. 4.64 c No problem reductions applied in OPT. instance. 4.64 c preprocess terminated. Elapsed time: 4.625 4.64 c After prepocess the problem consists of 760 variables and 41095 constraints. 4.64 c Initial Lower Bound: -760 4.67 c Sol. found (all assignments made)... 4.67 o -1 4.67 c NEW SOLUTION FOUND: -1 @ 4.657 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 o -2 4.67 c NEW SOLUTION FOUND: -2 @ 4.658 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 o -3 4.67 c NEW SOLUTION FOUND: -3 @ 4.662 4.67 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.77 c Restart #1 #Var: 760 LB: -760 @ 4.756 4.80 c Sol. found (all assignments made)... 4.80 o -22 4.80 c NEW SOLUTION FOUND: -22 @ 4.785 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 o -24 4.80 c NEW SOLUTION FOUND: -24 @ 4.788 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.95 c Restart #2 #Var: 760 LB: -760 @ 4.936 4.99 c Sol. found (all assignments made)... 4.99 o -25 4.99 c NEW SOLUTION FOUND: -25 @ 4.972 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 o -26 4.99 c NEW SOLUTION FOUND: -26 @ 4.974 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 o -27 5.00 c NEW SOLUTION FOUND: -27 @ 4.979 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.21 c Restart #3 #Var: 760 LB: -760 @ 5.186 5.24 c Sol. found (all assignments made)... 5.24 o -28 5.24 c NEW SOLUTION FOUND: -28 @ 5.22 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 o -29 5.27 c NEW SOLUTION FOUND: -29 @ 5.248 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.27 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.42 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.43 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.45 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.46 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.53 c Restart #4 #Var: 760 LB: -760 @ 5.512 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.58 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 o -30 5.59 c NEW SOLUTION FOUND: -30 @ 5.565 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.59 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.60 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.61 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.64 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.65 c Sol. found (all assignments made)... 5.66 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.67 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.71 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.76 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.77 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.78 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.79 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.80 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.87 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.88 c Sol. found (all assignments made)... 5.91 c Restart #5 #Var: 760 LB: -760 @ 5.889 5.97 c Sol. found (all assignments made)... 5.98 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 5.99 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.10 c Sol. found (all assignments made)... 6.11 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.25 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.28 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.29 c Sol. found (all assignments made)... 6.33 c Restart #6 #Var: 760 LB: -760 @ 6.305 6.37 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.41 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.57 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.80 c Restart #7 #Var: 760 LB: -760 @ 6.777 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.02 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.33 c Restart #8 #Var: 760 LB: -760 @ 7.309 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.46 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 37.25 c CHANGE to MIS mode... UB: -30 MIS: -384 LPR: -351 (2.925) Diff: 1.094 37.25 c Restart #0 #Var: 760 LB: -760 @ 37.206 37.37 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.48 c Restart #1 #Var: 760 LB: -385 @ 37.439 37.77 c Restart #2 #Var: 760 LB: -384 @ 37.726 38.12 c Restart #3 #Var: 760 LB: -760 @ 38.079 38.31 c Sol. found (all assignments made)... 38.31 c Sol. found (all assignments made)... 38.31 c Sol. found (all assignments made)... 38.33 c Sol. found (all assignments made)... 38.33 c Sol. found (all assignments made)... 38.34 c Sol. found (all assignments made)... 38.34 c Sol. found (all assignments made)... 38.34 c Sol. found (all assignments made)... 38.34 c Sol. found (all assignments made)... 38.43 c Sol. found (all assignments made)... 38.43 c Sol. found (all assignments made)... 38.43 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 o -31 38.46 c NEW SOLUTION FOUND: -31 @ 38.418 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.48 c Sol. found (all assignments made)... 38.49 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.59 c Sol. found (all assignments made)... 38.66 c Sol. found (all assignments made)... 38.66 c Sol. found (all assignments made)... 38.66 c Sol. found (all assignments made)... 38.67 c Sol. found (all assignments made)... 38.76 c Restart #4 #Var: 760 LB: -760 @ 38.716 39.22 c Restart #5 #Var: 760 LB: -760 @ 39.176 39.77 c Restart #6 #Var: 760 LB: -384 @ 39.725 40.18 c Sol. found (all assignments made)... 40.39 c Restart #7 #Var: 760 LB: -382 @ 40.347 41.10 c Restart #8 #Var: 760 LB: -385 @ 41.055 41.86 c Restart #9 #Var: 760 LB: -760 @ 41.813 42.65 c Restart #10 #Var: 760 LB: -760 @ 42.608 42.97 c Sol. found (all assignments made)... 42.97 c Sol. found (all assignments made)... 42.97 c Sol. found (all assignments made)... 42.97 c Sol. found (all assignments made)... 43.51 c Restart #11 #Var: 760 LB: -760 @ 43.463 44.48 c Restart #12 #Var: 760 LB: -760 @ 44.43 44.62 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.66 c Sol. found (all assignments made)... 44.66 c Sol. found (all assignments made)... 44.66 c Sol. found (all assignments made)... 44.67 c Sol. found (all assignments made)... 44.69 c Sol. found (all assignments made)... 44.71 c Sol. found (all assignments made)... 44.71 o -32 44.71 c NEW SOLUTION FOUND: -32 @ 44.661 44.71 c Sol. found (all assignments made)... 44.86 c Sol. found (all assignments made)... 44.86 c Sol. found (all assignments made)... 44.86 c Sol. found (all assignments made)... 44.87 c Sol. found (all assignments made)... 44.87 c Sol. found (all assignments made)... 44.87 o -33 44.87 c NEW SOLUTION FOUND: -33 @ 44.827 44.87 c Sol. found (all assignments made)... 44.87 c Sol. found (all assignments made)... 44.88 c Sol. found (all assignments made)... 45.79 c Restart #13 #Var: 760 LB: -387 @ 45.742 46.89 c Restart #14 #Var: 760 LB: -760 @ 46.839 48.04 c Restart #15 #Var: 760 LB: -760 @ 47.991 49.30 c Restart #16 #Var: 760 LB: -760 @ 49.257 50.66 c Restart #17 #Var: 760 LB: -385 @ 50.616 52.01 c Restart #18 #Var: 760 LB: -760 @ 51.959 53.49 c Restart #19 #Var: 760 LB: -385 @ 53.436 55.03 c Restart #20 #Var: 760 LB: -384 @ 54.978 56.62 c Restart #21 #Var: 760 LB: -760 @ 56.57 58.22 c Restart #22 #Var: 760 LB: -760 @ 58.174 60.02 c Restart #23 #Var: 760 LB: -760 @ 59.964 61.90 c Restart #24 #Var: 760 LB: -760 @ 61.847 63.88 c Restart #25 #Var: 760 LB: -760 @ 63.831 65.82 c Restart #26 #Var: 760 LB: -760 @ 65.769 67.80 c Restart #27 #Var: 760 LB: -760 @ 67.747 69.82 c Restart #28 #Var: 760 LB: -760 @ 69.765 71.98 c Restart #29 #Var: 760 LB: -383 @ 71.92 74.19 c Restart #30 #Var: 760 LB: -760 @ 74.128 76.47 c Restart #31 #Var: 760 LB: -760 @ 76.41 78.88 c Restart #32 #Var: 760 LB: -760 @ 78.826 81.35 c Restart #33 #Var: 760 LB: -760 @ 81.287 83.78 c Restart #34 #Var: 760 LB: -760 @ 83.721 86.35 c Restart #35 #Var: 760 LB: -760 @ 86.293 88.93 c Restart #36 #Var: 760 LB: -760 @ 88.864 91.65 c Restart #37 #Var: 760 LB: -760 @ 91.585 91.88 c Sol. found (all assignments made)... 91.92 c Sol. found (all assignments made)... 91.93 c Sol. found (all assignments made)... 94.39 c Restart #38 #Var: 760 LB: -760 @ 94.326 97.18 c Restart #39 #Var: 760 LB: -760 @ 97.115 100.02 c Restart #40 #Var: 760 LB: -760 @ 99.951 102.98 c Restart #41 #Var: 760 LB: -386 @ 102.92 106.06 c Restart #42 #Var: 760 LB: -760 @ 105.99 109.29 c Restart #43 #Var: 760 LB: -760 @ 109.22 112.46 c Restart #44 #Var: 760 LB: -760 @ 112.39 115.65 c Restart #45 #Var: 760 LB: -760 @ 115.58 118.95 c Restart #46 #Var: 760 LB: -760 @ 118.88 122.38 c Restart #47 #Var: 760 LB: -760 @ 122.31 125.95 c Restart #48 #Var: 760 LB: -760 @ 125.87 129.46 c Restart #49 #Var: 760 LB: -760 @ 129.38 133.08 c Restart #50 #Var: 760 LB: -760 @ 133 136.77 c Restart #51 #Var: 760 LB: -760 @ 136.69 140.49 c Restart #52 #Var: 760 LB: -760 @ 140.41 144.18 c Restart #53 #Var: 760 LB: -760 @ 144.1 148.03 c Restart #54 #Var: 760 LB: -760 @ 147.94 151.92 c Restart #55 #Var: 760 LB: -760 @ 151.84 155.90 c Restart #56 #Var: 760 LB: -760 @ 155.81 160.02 c Restart #57 #Var: 760 LB: -760 @ 159.93 160.39 c Sol. found (all assignments made)... 160.58 c Sol. found (all assignments made)... 160.58 c Sol. found (all assignments made)... 160.66 c Sol. found (all assignments made)... 160.66 c Sol. found (all assignments made)... 160.66 c Sol. found (all assignments made)... 160.66 c Sol. found (all assignments made)... 160.67 c Sol. found (all assignments made)... 160.67 c Sol. found (all assignments made)... 160.67 c Sol. found (all assignments made)... 160.67 c Sol. found (all assignments made)... 160.69 c Sol. found (all assignments made)... 160.69 c Sol. found (all assignments made)... 160.70 c Sol. found (all assignments made)... 160.75 c Sol. found (all assignments made)... 160.75 c Sol. found (all assignments made)... 160.75 c Sol. found (all assignments made)... 160.75 c Sol. found (all assignments made)... 160.76 c Sol. found (all assignments made)... 160.76 c Sol. found (all assignments made)... 160.76 c Sol. found (all assignments made)... 160.76 c Sol. found (all assignments made)... 160.77 c Sol. found (all assignments made)... 160.77 c Sol. found (all assignments made)... 160.77 c Sol. found (all assignments made)... 160.87 c Sol. found (all assignments made)... 161.04 c Sol. found (all assignments made)... 161.05 c Sol. found (all assignments made)... 161.06 c Sol. found (all assignments made)... 161.07 c Sol. found (all assignments made)... 161.08 c Sol. found (all assignments made)... 161.10 c Sol. found (all assignments made)... 161.11 c Sol. found (all assignments made)... 161.62 c Sol. found (all assignments made)... 161.85 c Sol. found (all assignments made)... 161.92 c Sol. found (all assignments made)... 162.02 c Sol. found (all assignments made)... 162.02 c Sol. found (all assignments made)... 162.03 c Sol. found (all assignments made)... 162.82 c Sol. found (all assignments made)... 164.10 c Restart #58 #Var: 760 LB: -760 @ 164.01 168.33 c Restart #59 #Var: 760 LB: -760 @ 168.24 172.63 c Restart #60 #Var: 760 LB: -760 @ 172.54 176.90 c Restart #61 #Var: 760 LB: -760 @ 176.8 181.34 c Restart #62 #Var: 760 LB: -760 @ 181.25 185.76 c Restart #63 #Var: 760 LB: -760 @ 185.66 190.39 c Restart #64 #Var: 760 LB: -760 @ 190.29 195.08 c Restart #65 #Var: 760 LB: -760 @ 194.98 199.57 c Restart #66 #Var: 760 LB: -760 @ 199.47 204.35 c Restart #67 #Var: 760 LB: -760 @ 204.25 209.32 c Restart #68 #Var: 760 LB: -760 @ 209.21 214.20 c Restart #69 #Var: 760 LB: -760 @ 214.09 216.84 c Sol. found (all assignments made)... 219.67 c Restart #70 #Var: 760 LB: -760 @ 219.56 224.69 c Restart #71 #Var: 760 LB: -760 @ 224.58 229.88 c Restart #72 #Var: 760 LB: -385 @ 229.77 235.14 c Restart #73 #Var: 760 LB: -760 @ 235.03 240.45 c Restart #74 #Var: 760 LB: -760 @ 240.33 245.69 c Restart #75 #Var: 760 LB: -760 @ 245.57 251.16 c Restart #76 #Var: 760 LB: -760 @ 251.04 256.76 c Restart #77 #Var: 760 LB: -760 @ 256.63 262.30 c Restart #78 #Var: 760 LB: -760 @ 262.17 268.13 c Restart #79 #Var: 760 LB: -760 @ 268 273.67 c Restart #80 #Var: 760 LB: -760 @ 273.54 279.41 c Restart #81 #Var: 760 LB: -760 @ 279.28 285.19 c Restart #82 #Var: 760 LB: -760 @ 285.05 291.36 c Restart #83 #Var: 760 LB: -760 @ 291.23 297.22 c Restart #84 #Var: 760 LB: -760 @ 297.08 303.39 c Restart #85 #Var: 760 LB: -760 @ 303.25 309.49 c Restart #86 #Var: 760 LB: -760 @ 309.35 315.51 c Restart #87 #Var: 760 LB: -760 @ 315.37 319.64 c Sol. found (all assignments made)... 319.67 c Sol. found (all assignments made)... 321.68 c Restart #88 #Var: 760 LB: -760 @ 321.53 327.88 c Restart #89 #Var: 760 LB: -760 @ 327.73 334.12 c Restart #90 #Var: 760 LB: -760 @ 333.96 340.69 c Restart #91 #Var: 760 LB: -760 @ 340.54 347.26 c Restart #92 #Var: 760 LB: -760 @ 347.11 353.76 c Restart #93 #Var: 760 LB: -760 @ 353.6 360.43 c Restart #94 #Var: 760 LB: -760 @ 360.27 367.19 c Restart #95 #Var: 760 LB: -760 @ 367.03 373.92 c Restart #96 #Var: 760 LB: -760 @ 373.75 380.99 c Restart #97 #Var: 760 LB: -760 @ 380.82 387.99 c Restart #98 #Var: 760 LB: -760 @ 387.82 394.78 c Restart #99 #Var: 760 LB: -760 @ 394.61 398.82 c Sol. found (all assignments made)... 398.82 c Sol. found (all assignments made)... 398.82 c Sol. found (all assignments made)... 398.83 c Sol. found (all assignments made)... 398.83 c Sol. found (all assignments made)... 398.84 c Sol. found (all assignments made)... 398.84 c Sol. found (all assignments made)... 398.84 c Sol. found (all assignments made)... 398.95 c Sol. found (all assignments made)... 398.97 c Sol. found (all assignments made)... 398.97 c Sol. found (all assignments made)... 401.61 c Restart #100 #Var: 760 LB: -760 @ 401.43 408.84 c Restart #101 #Var: 760 LB: -760 @ 408.66 416.23 c Restart #102 #Var: 760 LB: -760 @ 416.05 423.56 c Restart #103 #Var: 760 LB: -760 @ 423.38 430.63 c Restart #104 #Var: 760 LB: -760 @ 430.44 437.99 c Restart #105 #Var: 760 LB: -760 @ 437.81 445.35 c Restart #106 #Var: 760 LB: -760 @ 445.16 452.92 c Restart #107 #Var: 760 LB: -760 @ 452.73 460.44 c Restart #108 #Var: 760 LB: -760 @ 460.25 468.19 c Restart #109 #Var: 760 LB: -760 @ 468 476.02 c Restart #110 #Var: 760 LB: -760 @ 475.82 483.85 c Restart #111 #Var: 760 LB: -760 @ 483.64 491.70 c Restart #112 #Var: 760 LB: -760 @ 491.49 499.64 c Restart #113 #Var: 760 LB: -760 @ 499.43 507.79 c Restart #114 #Var: 760 LB: -760 @ 507.58 515.81 c Restart #115 #Var: 760 LB: -760 @ 515.59 524.22 c Restart #116 #Var: 760 LB: -760 @ 524 532.27 c Restart #117 #Var: 760 LB: -760 @ 532.05 540.68 c Restart #118 #Var: 760 LB: -760 @ 540.46 548.99 c Restart #119 #Var: 760 LB: -760 @ 548.76 557.33 c Restart #120 #Var: 760 LB: -760 @ 557.1 565.80 c Restart #121 #Var: 760 LB: -760 @ 565.56 574.56 c Restart #122 #Var: 760 LB: -760 @ 574.33 583.47 c Restart #123 #Var: 760 LB: -384 @ 583.23 592.18 c Restart #124 #Var: 760 LB: -760 @ 591.93 601.02 c Restart #125 #Var: 760 LB: -760 @ 600.77 610.42 c Restart #126 #Var: 760 LB: -760 @ 610.17 619.06 c Restart #127 #Var: 760 LB: -760 @ 618.81 627.99 c Restart #128 #Var: 760 LB: -760 @ 627.73 636.71 c Restart #129 #Var: 760 LB: -760 @ 636.45 645.78 c Restart #130 #Var: 760 LB: -760 @ 645.52 654.93 c Restart #131 #Var: 760 LB: -760 @ 654.66 664.27 c Restart #132 #Var: 760 LB: -760 @ 664 673.51 c Restart #133 #Var: 760 LB: -760 @ 673.23 683.03 c Restart #134 #Var: 760 LB: -760 @ 682.75 692.40 c Restart #135 #Var: 760 LB: -760 @ 692.12 702.11 c Restart #136 #Var: 760 LB: -760 @ 701.83 712.07 c Restart #137 #Var: 760 LB: -760 @ 711.79 721.70 c Restart #138 #Var: 760 LB: -760 @ 721.41 731.36 c Restart #139 #Var: 760 LB: -760 @ 731.07 741.19 c Restart #140 #Var: 760 LB: -760 @ 740.89 751.11 c Restart #141 #Var: 760 LB: -760 @ 750.81 761.16 c Restart #142 #Var: 760 LB: -760 @ 760.85 771.01 c Restart #143 #Var: 760 LB: -760 @ 770.71 781.15 c Restart #144 #Var: 760 LB: -760 @ 780.84 791.32 c Restart #145 #Var: 760 LB: -760 @ 791.01 801.76 c Restart #146 #Var: 760 LB: -760 @ 801.44 812.16 c Restart #147 #Var: 760 LB: -760 @ 811.84 822.68 c Restart #148 #Var: 760 LB: -760 @ 822.35 833.46 c Restart #149 #Var: 760 LB: -760 @ 833.13 834.58 c Sol. found (all assignments made)... 838.29 c Sol. found (all assignments made)... 838.29 c Sol. found (all assignments made)... 844.23 c Restart #150 #Var: 760 LB: -760 @ 843.89 854.79 c Restart #151 #Var: 760 LB: -760 @ 854.46 856.42 c Sol. found (all assignments made)... 865.40 c Restart #152 #Var: 760 LB: -760 @ 865.05 876.26 c Restart #153 #Var: 760 LB: -760 @ 875.92 887.51 c Restart #154 #Var: 760 LB: -760 @ 887.16 898.38 c Restart #155 #Var: 760 LB: -760 @ 898.02 909.34 c Restart #156 #Var: 760 LB: -760 @ 908.98 916.40 c Sol. found (all assignments made)... 916.41 c Sol. found (all assignments made)... 920.33 c Restart #157 #Var: 760 LB: -760 @ 919.97 931.24 c Restart #158 #Var: 760 LB: -760 @ 930.88 942.63 c Restart #159 #Var: 760 LB: -760 @ 942.27 953.63 c Restart #160 #Var: 760 LB: -760 @ 953.25 964.92 c Restart #161 #Var: 760 LB: -760 @ 964.54 976.33 c Restart #162 #Var: 760 LB: -760 @ 975.95 987.76 c Restart #163 #Var: 760 LB: -760 @ 987.38 999.37 c Restart #164 #Var: 760 LB: -760 @ 998.98 1010.87 c Restart #165 #Var: 760 LB: -760 @ 1010.5 1022.30 c Restart #166 #Var: 760 LB: -760 @ 1021.9 1034.14 c Restart #167 #Var: 760 LB: -760 @ 1033.7 1046.80 c Restart #168 #Var: 760 LB: -760 @ 1046.4 1058.81 c Restart #169 #Var: 760 LB: -760 @ 1058.4 1058.93 c Sol. found (all assignments made)... 1058.93 c Sol. found (all assignments made)... 1058.93 c Sol. found (all assignments made)... 1058.94 c Sol. found (all assignments made)... 1060.37 c Sol. found (all assignments made)... 1060.38 c Sol. found (all assignments made)... 1060.38 c Sol. found (all assignments made)... 1060.93 c Sol. found (all assignments made)... 1060.94 c Sol. found (all assignments made)... 1060.94 c Sol. found (all assignments made)... 1060.94 c Sol. found (all assignments made)... 1060.95 c Sol. found (all assignments made)... 1060.95 c Sol. found (all assignments made)... 1060.95 c Sol. found (all assignments made)... 1060.95 c Sol. found (all assignments made)... 1070.37 c Restart #170 #Var: 760 LB: -760 @ 1070 1082.25 c Restart #171 #Var: 760 LB: -760 @ 1081.8 1084.99 c Sol. found (all assignments made)... 1084.99 c Sol. found (all assignments made)... 1085.00 c Sol. found (all assignments made)... 1085.00 c Sol. found (all assignments made)... 1085.01 c Sol. found (all assignments made)... 1085.02 c Sol. found (all assignments made)... 1085.02 c Sol. found (all assignments made)... 1085.03 c Sol. found (all assignments made)... 1085.04 c Sol. found (all assignments made)... 1085.06 c Sol. found (all assignments made)... 1085.15 c Sol. found (all assignments made)... 1085.16 c Sol. found (all assignments made)... 1085.17 c Sol. found (all assignments made)... 1085.17 c Sol. found (all assignments made)... 1085.19 c Sol. found (all assignments made)... 1085.19 c Sol. found (all assignments made)... 1085.20 c Sol. found (all assignments made)... 1085.27 c Sol. found (all assignments made)... 1085.27 c Sol. found (all assignments made)... 1085.28 c Sol. found (all assignments made)... 1085.28 c Sol. found (all assignments made)... 1085.44 c Sol. found (all assignments made)... 1085.44 c Sol. found (all assignments made)... 1085.44 c Sol. found (all assignments made)... 1085.45 c Sol. found (all assignments made)... 1085.45 c Sol. found (all assignments made)... 1085.45 c Sol. found (all assignments made)... 1085.45 c Sol. found (all assignments made)... 1085.45 c Sol. found (all assignments made)... 1085.46 c Sol. found (all assignments made)... 1085.46 c Sol. found (all assignments made)... 1085.46 c Sol. found (all assignments made)... 1085.46 c Sol. found (all assignments made)... 1085.47 c Sol. found (all assignments made)... 1085.47 c Sol. found (all assignments made)... 1085.47 c Sol. found (all assignments made)... 1085.47 c Sol. found (all assignments made)... 1085.48 c Sol. found (all assignments made)... 1085.48 c Sol. found (all assignments made)... 1085.48 c Sol. found (all assignments made)... 1085.48 c Sol. found (all assignments made)... 1085.48 c Sol. found (all assignments made)... 1085.49 c Sol. found (all assignments made)... 1085.49 c Sol. found (all assignments made)... 1085.50 c Sol. found (all assignments made)... 1085.50 c Sol. found (all assignments made)... 1085.50 c Sol. found (all assignments made)... 1085.50 c Sol. found (all assignments made)... 1085.50 c Sol. found (all assignments made)... 1085.51 c Sol. found (all assignments made)... 1085.51 c Sol. found (all assignments made)... 1085.51 c Sol. found (all assignments made)... 1085.51 c Sol. found (all assignments made)... 1085.52 c Sol. found (all assignments made)... 1085.52 c Sol. found (all assignments made)... 1085.52 c Sol. found (all assignments made)... 1085.52 c Sol. found (all assignments made)... 1087.24 c Sol. found (all assignments made)... 1087.37 c Sol. found (all assignments made)... 1094.10 c Restart #172 #Var: 760 LB: -760 @ 1093.7 1106.63 c Restart #173 #Var: 760 LB: -760 @ 1106.2 1118.89 c Restart #174 #Var: 760 LB: -760 @ 1118.5 1131.25 c Restart #175 #Var: 760 LB: -760 @ 1130.8 1144.04 c Restart #176 #Var: 760 LB: -760 @ 1143.6 1156.64 c Restart #177 #Var: 760 LB: -760 @ 1156.2 1168.97 c Restart #178 #Var: 760 LB: -760 @ 1168.5 1181.60 c Restart #179 #Var: 760 LB: -760 @ 1181.1 1194.33 c Restart #180 #Var: 760 LB: -760 @ 1193.9 1207.05 c Restart #181 #Var: 760 LB: -760 @ 1206.6 1219.86 c Restart #182 #Var: 760 LB: -760 @ 1219.4 1232.64 c Restart #183 #Var: 760 LB: -760 @ 1232.2 1245.93 c Restart #184 #Var: 760 LB: -760 @ 1245.4 1258.69 c Restart #185 #Var: 760 LB: -760 @ 1258.2 1271.58 c Restart #186 #Var: 760 LB: -760 @ 1271.1 1284.45 c Restart #187 #Var: 760 LB: -760 @ 1284 1297.80 c Restart #188 #Var: 760 LB: -760 @ 1297.3 1311.16 c Restart #189 #Var: 760 LB: -760 @ 1310.7 1324.58 c Restart #190 #Var: 760 LB: -760 @ 1324.1 1337.88 c Restart #191 #Var: 760 LB: -760 @ 1337.4 1351.75 c Restart #192 #Var: 760 LB: -760 @ 1351.2 1360.66 c Sol. found (all assignments made)... 1360.67 c Sol. found (all assignments made)... 1360.81 c Sol. found (all assignments made)... 1360.81 c Sol. found (all assignments made)... 1360.89 c Sol. found (all assignments made)... 1360.89 c Sol. found (all assignments made)... 1363.15 c Sol. found (all assignments made)... 1365.26 c Restart #193 #Var: 760 LB: -760 @ 1364.7 1378.51 c Restart #194 #Var: 760 LB: -760 @ 1378 1392.12 c Restart #195 #Var: 760 LB: -760 @ 1391.6 1406.06 c Restart #196 #Var: 760 LB: -760 @ 1405.5 1419.62 c Restart #197 #Var: 760 LB: -760 @ 1419.1 1433.68 c Restart #198 #Var: 760 LB: -760 @ 1433.1 1436.44 c Sol. found (all assignments made)... 1436.44 c Sol. found (all assignments made)... 1436.45 c Sol. found (all assignments made)... 1436.45 c Sol. found (all assignments made)... 1436.45 c Sol. found (all assignments made)... 1436.45 c Sol. found (all assignments made)... 1436.45 c Sol. found (all assignments made)... 1436.45 c Sol. found (all assignments made)... 1436.58 c Sol. found (all assignments made)... 1436.59 c Sol. found (all assignments made)... 1436.59 c Sol. found (all assignments made)... 1436.59 c Sol. found (all assignments made)... 1436.60 c Sol. found (all assignments made)... 1436.60 c Sol. found (all assignments made)... 1436.65 c Sol. found (all assignments made)... 1436.65 c Sol. found (all assignments made)... 1436.65 c Sol. found (all assignments made)... 1436.65 c Sol. found (all assignments made)... 1436.66 c Sol. found (all assignments made)... 1436.66 c Sol. found (all assignments made)... 1436.66 c Sol. found (all assignments made)... 1436.66 c Sol. found (all assignments made)... 1436.67 c Sol. found (all assignments made)... 1436.67 c Sol. found (all assignments made)... 1436.68 c Sol. found (all assignments made)... 1436.68 c Sol. found (all assignments made)... 1436.68 c Sol. found (all assignments made)... 1436.68 c Sol. found (all assignments made)... 1436.69 c Sol. found (all assignments made)... 1436.70 c Sol. found (all assignments made)... 1436.70 c Sol. found (all assignments made)... 1436.70 c Sol. found (all assignments made)... 1436.71 c Sol. found (all assignments made)... 1436.71 c Sol. found (all assignments made)... 1436.71 c Sol. found (all assignments made)... 1436.71 c Sol. found (all assignments made)... 1436.71 c Sol. found (all assignments made)... 1436.71 c Sol. found (all assignments made)... 1436.72 c Sol. found (all assignments made)... 1436.72 c Sol. found (all assignments made)... 1436.88 c Sol. found (all assignments made)... 1436.88 c Sol. found (all assignments made)... 1436.97 c Sol. found (all assignments made)... 1436.97 c Sol. found (all assignments made)... 1437.07 c Sol. found (all assignments made)... 1437.07 c Sol. found (all assignments made)... 1437.07 c Sol. found (all assignments made)... 1437.07 c Sol. found (all assignments made)... 1437.09 c Sol. found (all assignments made)... 1437.09 c Sol. found (all assignments made)... 1437.10 c Sol. found (all assignments made)... 1437.10 c Sol. found (all assignments made)... 1438.02 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.17 c Sol. found (all assignments made)... 1438.17 c Sol. found (all assignments made)... 1442.66 c Sol. found (all assignments made)... 1442.66 c Sol. found (all assignments made)... 1442.66 c Sol. found (all assignments made)... 1442.67 c Sol. found (all assignments made)... 1442.67 c Sol. found (all assignments made)... 1442.67 c Sol. found (all assignments made)... 1442.68 c Sol. found (all assignments made)... 1442.69 c Sol. found (all assignments made)... 1442.71 c Sol. found (all assignments made)... 1442.71 c Sol. found (all assignments made)... 1442.80 c Sol. found (all assignments made)... 1442.80 c Sol. found (all assignments made)... 1442.80 c Sol. found (all assignments made)... 1442.80 c Sol. found (all assignments made)... 1442.80 c Sol. found (all assignments made)... 1442.81 c Sol. found (all assignments made)... 1443.71 c Sol. found (all assignments made)... 1443.71 c Sol. found (all assignments made)... 1443.72 c Sol. found (all assignments made)... 1443.72 c Sol. found (all assignments made)... 1443.72 c Sol. found (all assignments made)... 1443.72 c Sol. found (all assignments made)... 1443.73 c Sol. found (all assignments made)... 1443.73 c Sol. found (all assignments made)... 1443.73 c Sol. found (all assignments made)... 1443.73 c Sol. found (all assignments made)... 1443.74 c Sol. found (all assignments made)... 1443.74 c Sol. found (all assignments made)... 1443.74 c Sol. found (all assignments made)... 1443.74 c Sol. found (all assignments made)... 1443.79 c Sol. found (all assignments made)... 1443.79 c Sol. found (all assignments made)... 1443.79 c Sol. found (all assignments made)... 1443.79 c Sol. found (all assignments made)... 1443.80 c Sol. found (all assignments made)... 1443.80 c Sol. found (all assignments made)... 1443.80 c Sol. found (all assignments made)... 1443.80 c Sol. found (all assignments made)... 1443.81 c Sol. found (all assignments made)... 1443.81 c Sol. found (all assignments made)... 1443.81 c Sol. found (all assignments made)... 1443.81 c Sol. found (all assignments made)... 1443.81 c Sol. found (all assignments made)... 1443.81 c Sol. found (all assignments made)... 1443.82 c Sol. found (all assignments made)... 1443.82 c Sol. found (all assignments made)... 1443.82 c Sol. found (all assignments made)... 1443.82 c Sol. found (all assignments made)... 1444.00 c Sol. found (all assignments made)... 1444.00 c Sol. found (all assignments made)... 1444.00 c Sol. found (all assignments made)... 1444.00 c Sol. found (all assignments made)... 1444.01 c Sol. found (all assignments made)... 1444.01 c Sol. found (all assignments made)... 1444.01 c Sol. found (all assignments made)... 1444.01 c Sol. found (all assignments made)... 1444.01 c Sol. found (all assignments made)... 1444.01 c Sol. found (all assignments made)... 1444.02 c Sol. found (all assignments made)... 1444.02 c Sol. found (all assignments made)... 1444.02 c Sol. found (all assignments made)... 1444.02 c Sol. found (all assignments made)... 1444.06 c Sol. found (all assignments made)... 1444.06 c Sol. found (all assignments made)... 1444.07 c Sol. found (all assignments made)... 1444.07 c Sol. found (all assignments made)... 1444.07 c Sol. found (all assignments made)... 1444.07 c Sol. found (all assignments made)... 1444.08 c Sol. found (all assignments made)... 1444.08 c Sol. found (all assignments made)... 1444.08 c Sol. found (all assignments made)... 1444.08 c Sol. found (all assignments made)... 1444.08 c Sol. found (all assignments made)... 1444.09 c Sol. found (all assignments made)... 1444.09 c Sol. found (all assignments made)... 1444.09 c Sol. found (all assignments made)... 1444.09 c Sol. found (all assignments made)... 1444.09 c Sol. found (all assignments made)... 1444.39 c Sol. found (all assignments made)... 1444.39 c Sol. found (all assignments made)... 1444.40 c Sol. found (all assignments made)... 1444.40 c Sol. found (all assignments made)... 1444.40 c Sol. found (all assignments made)... 1444.40 c Sol. found (all assignments made)... 1444.40 c Sol. found (all assignments made)... 1444.41 c Sol. found (all assignments made)... 1444.41 c Sol. found (all assignments made)... 1444.41 c Sol. found (all assignments made)... 1444.41 c Sol. found (all assignments made)... 1444.41 c Sol. found (all assignments made)... 1444.42 c Sol. found (all assignments made)... 1444.42 c Sol. found (all assignments made)... 1444.42 c Sol. found (all assignments made)... 1444.42 c Sol. found (all assignments made)... 1444.42 c Sol. found (all assignments made)... 1444.42 c Sol. found (all assignments made)... 1444.43 c Sol. found (all assignments made)... 1444.43 c Sol. found (all assignments made)... 1444.43 c Sol. found (all assignments made)... 1444.43 c Sol. found (all assignments made)... 1444.43 c Sol. found (all assignments made)... 1444.44 c Sol. found (all assignments made)... 1444.44 c Sol. found (all assignments made)... 1444.44 c Sol. found (all assignments made)... 1444.44 c Sol. found (all assignments made)... 1444.44 c Sol. found (all assignments made)... 1444.53 c Sol. found (all assignments made)... 1444.53 c Sol. found (all assignments made)... 1444.53 c Sol. found (all assignments made)... 1444.53 c Sol. found (all assignments made)... 1444.54 c Sol. found (all assignments made)... 1444.54 c Sol. found (all assignments made)... 1444.54 c Sol. found (all assignments made)... 1444.54 c Sol. found (all assignments made)... 1444.54 c Sol. found (all assignments made)... 1444.54 c Sol. found (all assignments made)... 1444.55 c Sol. found (all assignments made)... 1444.55 c Sol. found (all assignments made)... 1444.55 c Sol. found (all assignments made)... 1444.55 c Sol. found (all assignments made)... 1444.55 c Sol. found (all assignments made)... 1444.55 c Sol. found (all assignments made)... 1444.56 c Sol. found (all assignments made)... 1444.56 c Sol. found (all assignments made)... 1444.62 c Sol. found (all assignments made)... 1444.62 c Sol. found (all assignments made)... 1444.62 c Sol. found (all assignments made)... 1444.62 c Sol. found (all assignments made)... 1444.62 c Sol. found (all assignments made)... 1444.62 c Sol. found (all assignments made)... 1444.63 c Sol. found (all assignments made)... 1444.63 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.64 c Sol. found (all assignments made)... 1444.65 c Sol. found (all assignments made)... 1444.65 c Sol. found (all assignments made)... 1444.65 c Sol. found (all assignments made)... 1444.65 c Sol. found (all assignments made)... 1444.86 c Sol. found (all assignments made)... 1444.86 c Sol. found (all assignments made)... 1444.86 c Sol. found (all assignments made)... 1444.86 c Sol. found (all assignments made)... 1444.87 c Sol. found (all assignments made)... 1444.87 c Sol. found (all assignments made)... 1444.87 c Sol. found (all assignments made)... 1444.87 c Sol. found (all assignments made)... 1444.87 c Sol. found (all assignments made)... 1444.87 c Sol. found (all assignments made)... 1444.88 c Sol. found (all assignments made)... 1444.88 c Sol. found (all assignments made)... 1444.88 c Sol. found (all assignments made)... 1444.88 c Sol. found (all assignments made)... 1444.89 c Sol. found (all assignments made)... 1444.89 c Sol. found (all assignments made)... 1444.89 c Sol. found (all assignments made)... 1444.89 c Sol. found (all assignments made)... 1444.89 c Sol. found (all assignments made)... 1444.89 c Sol. found (all assignments made)... 1444.90 c Sol. found (all assignments made)... 1444.90 c Sol. found (all assignments made)... 1444.90 c Sol. found (all assignments made)... 1444.90 c Sol. found (all assignments made)... 1444.91 c Sol. found (all assignments made)... 1444.91 c Sol. found (all assignments made)... 1444.91 c Sol. found (all assignments made)... 1444.91 c Sol. found (all assignments made)... 1444.96 c Sol. found (all assignments made)... 1444.96 c Sol. found (all assignments made)... 1444.96 c Sol. found (all assignments made)... 1444.96 c Sol. found (all assignments made)... 1444.96 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.97 c Sol. found (all assignments made)... 1444.98 c Sol. found (all assignments made)... 1444.98 c Sol. found (all assignments made)... 1444.98 c Sol. found (all assignments made)... 1444.98 c Sol. found (all assignments made)... 1444.98 c Sol. found (all assignments made)... 1445.14 c Sol. found (all assignments made)... 1445.14 c Sol. found (all assignments made)... 1445.14 c Sol. found (all assignments made)... 1445.14 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.15 c Sol. found (all assignments made)... 1445.16 c Sol. found (all assignments made)... 1445.16 c Sol. found (all assignments made)... 1445.16 c Sol. found (all assignments made)... 1445.16 c Sol. found (all assignments made)... 1445.16 c Sol. found (all assignments made)... 1445.36 c Sol. found (all assignments made)... 1445.36 c Sol. found (all assignments made)... 1445.36 c Sol. found (all assignments made)... 1445.37 c Sol. found (all assignments made)... 1445.38 c Sol. found (all assignments made)... 1445.38 c Sol. found (all assignments made)... 1445.38 c Sol. found (all assignments made)... 1445.38 c Sol. found (all assignments made)... 1445.54 c Sol. found (all assignments made)... 1445.54 c Sol. found (all assignments made)... 1445.56 c Sol. found (all assignments made)... 1445.56 c Sol. found (all assignments made)... 1445.57 c Sol. found (all assignments made)... 1445.57 c Sol. found (all assignments made)... 1445.75 c Sol. found (all assignments made)... 1445.76 c Sol. found (all assignments made)... 1445.78 c Sol. found (all assignments made)... 1445.78 c Sol. found (all assignments made)... 1445.78 c Sol. found (all assignments made)... 1445.80 c Sol. found (all assignments made)... 1445.81 c Sol. found (all assignments made)... 1445.82 c Sol. found (all assignments made)... 1445.83 c Sol. found (all assignments made)... 1445.85 c Sol. found (all assignments made)... 1445.86 c Sol. found (all assignments made)... 1445.87 c Sol. found (all assignments made)... 1445.88 c Sol. found (all assignments made)... 1447.07 c Restart #199 #Var: 760 LB: -760 @ 1446.5 1459.21 c Sol. found (all assignments made)... 1459.22 c Sol. found (all assignments made)... 1459.23 c Sol. found (all assignments made)... 1459.23 c Sol. found (all assignments made)... 1460.81 c Restart #200 #Var: 760 LB: -760 @ 1460.3 1474.95 c Restart #201 #Var: 760 LB: -760 @ 1474.4 1488.86 c Restart #202 #Var: 760 LB: -760 @ 1488.3 1503.12 c Restart #203 #Var: 760 LB: -760 @ 1502.5 1517.39 c Restart #204 #Var: 760 LB: -760 @ 1516.8 1521.35 c Sol. found (all assignments made)... 1521.35 c Sol. found (all assignments made)... 1521.95 c Sol. found (all assignments made)... 1522.08 c Sol. found (all assignments made)... 1522.96 c Sol. found (all assignments made)... 1522.96 c Sol. found (all assignments made)... 1522.96 c Sol. found (all assignments made)... 1522.96 c Sol. found (all assignments made)... 1522.97 c Sol. found (all assignments made)... 1522.97 c Sol. found (all assignments made)... 1531.61 c Restart #205 #Var: 760 LB: -760 @ 1531 1533.17 c Sol. found (all assignments made)... 1546.04 c Restart #206 #Var: 760 LB: -760 @ 1545.4 1552.44 c Sol. found (all assignments made)... 1555.38 c Sol. found (all assignments made)... 1557.48 c Sol. found (all assignments made)... 1557.49 c Sol. found (all assignments made)... 1557.49 c Sol. found (all assignments made)... 1557.56 c Sol. found (all assignments made)... 1557.61 c Sol. found (all assignments made)... 1557.61 c Sol. found (all assignments made)... 1557.65 c Sol. found (all assignments made)... 1557.66 c Sol. found (all assignments made)... 1560.33 c Restart #207 #Var: 760 LB: -760 @ 1559.7 1575.04 c Restart #208 #Var: 760 LB: -760 @ 1574.4 1577.67 c Sol. found (all assignments made)... 1580.25 c Sol. found (all assignments made)... 1580.26 c Sol. found (all assignments made)... 1580.28 c Sol. found (all assignments made)... 1580.28 c Sol. found (all assignments made)... 1581.33 c Sol. found (all assignments made)... 1590.09 c Restart #209 #Var: 760 LB: -760 @ 1589.5 1604.45 c Restart #210 #Var: 760 LB: -760 @ 1603.8 1619.47 c Restart #211 #Var: 760 LB: -760 @ 1618.8 1634.13 c Restart #212 #Var: 760 LB: -760 @ 1633.5 1649.03 c Restart #213 #Var: 760 LB: -760 @ 1648.4 1649.66 c Sol. found (all assignments made)... 1663.94 c Restart #214 #Var: 760 LB: -760 @ 1663.3 1664.24 c Sol. found (all assignments made)... 1664.24 c Sol. found (all assignments made)... 1664.39 c Sol. found (all assignments made)... 1673.32 c Sol. found (all assignments made)... 1673.32 c Sol. found (all assignments made)... 1673.33 c Sol. found (all assignments made)... 1673.33 c Sol. found (all assignments made)... 1673.74 c Sol. found (all assignments made)... 1678.76 c Restart #215 #Var: 760 LB: -760 @ 1678.1 1693.83 c Restart #216 #Var: 760 LB: -760 @ 1693.2 1709.10 c Restart #217 #Var: 760 LB: -760 @ 1708.4 1724.93 c Restart #218 #Var: 760 LB: -760 @ 1724.3 1740.57 c Restart #219 #Var: 760 LB: -760 @ 1739.9 1741.73 c Sol. found (all assignments made)... 1742.02 c Sol. found (all assignments made)... 1742.02 c Sol. found (all assignments made)... 1742.02 c Sol. found (all assignments made)... 1742.03 c Sol. found (all assignments made)... 1742.03 c Sol. found (all assignments made)... 1742.03 c Sol. found (all assignments made)... 1743.11 c Sol. found (all assignments made)... 1744.07 c Sol. found (all assignments made)... 1749.50 c Sol. found (all assignments made)... 1749.51 c Sol. found (all assignments made)... 1749.52 c Sol. found (all assignments made)... 1749.53 c Sol. found (all assignments made)... 1750.41 c Sol. found (all assignments made)... 1750.42 c Sol. found (all assignments made)... 1750.44 c Sol. found (all assignments made)... 1750.45 c Sol. found (all assignments made)... 1754.67 c Sol. found (all assignments made)... 1754.74 c Sol. found (all assignments made)... 1754.74 c Sol. found (all assignments made)... 1755.28 c Sol. found (all assignments made)... 1755.28 c Sol. found (all assignments made)... 1755.28 c Sol. found (all assignments made)... 1755.28 c Sol. found (all assignments made)... 1755.29 c Sol. found (all assignments made)... 1755.29 c Sol. found (all assignments made)... 1755.30 c Sol. found (all assignments made)... 1755.30 c Sol. found (all assignments made)... 1755.30 c Sol. found (all assignments made)... 1755.30 c Sol. found (all assignments made)... 1755.31 c Sol. found (all assignments made)... 1755.31 c Sol. found (all assignments made)... 1755.31 c Sol. found (all assignments made)... 1755.31 c Sol. found (all assignments made)... 1755.31 c Sol. found (all assignments made)... 1755.32 c Sol. found (all assignments made)... 1755.32 c Sol. found (all assignments made)... 1755.32 c Sol. found (all assignments made)... 1755.32 c Sol. found (all assignments made)... 1755.32 c Sol. found (all assignments made)... 1755.33 c Sol. found (all assignments made)... 1755.33 c Sol. found (all assignments made)... 1755.33 c Sol. found (all assignments made)... 1755.33 c Sol. found (all assignments made)... 1755.34 c Sol. found (all assignments made)... 1755.34 c Sol. found (all assignments made)... 1755.46 c Restart #220 #Var: 760 LB: -760 @ 1754.8 1756.05 c Sol. found (all assignments made)... 1756.05 c Sol. found (all assignments made)... 1756.05 o -34 1756.05 c NEW SOLUTION FOUND: -34 @ 1755.4 1756.05 c Sol. found (all assignments made)... 1771.43 c Restart #221 #Var: 760 LB: -760 @ 1770.8 1787.25 c Restart #222 #Var: 760 LB: -760 @ 1786.6 1800.69 s SATISFIABLE 1800.69 c Cost: -34 1800.69 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 1800.69 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1800.69 v x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1800.69 v -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1800.69 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1800.69 v -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1800.69 v -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 1800.69 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1800.69 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 1800.69 v -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1800.69 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1800.69 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 1800.69 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 1800.69 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1800.69 v x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 1800.69 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1800.69 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 1800.69 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 1800.69 v -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1800.69 v -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 1800.69 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 1800.69 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1800.69 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 1800.69 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1800.69 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1800.69 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1800.69 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1800.69 v x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1800.69 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 1800.69 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.69 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 1800.69 v -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1800.69 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 1800.69 v -x60 x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1800.69 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 1800.69 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.69 c Exit Code: 10 1800.69 c Total time: 1800 s
OK -34
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/node45/watcher-40489-1149292940 -o ROOT/results/node45/solver-40489-1149292940 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/40489-1149292940/instance-40489-1149292940.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=1026184/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=4616 CPUtime=0 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 185 0 0 0 0 0 0 0 19 0 1 0 90731721 4726784 155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5627819 0 0 4096 0 0 0 0 17 1 0 0 /proc/22561/statm: 1154 163 121 55 0 46 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=1001032/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=29984 CPUtime=9.96 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 6736 0 0 0 993 3 0 0 25 0 1 0 90731721 30703616 6614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 7496 6614 307 55 0 6388 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 29984 [startup+20.0096 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=984656/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=53664 CPUtime=19.96 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 13487 0 0 0 1989 7 0 0 25 0 1 0 90731721 54951936 10751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 13416 10751 414 55 0 12308 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 53664 [startup+30.0165 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=986576/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=55660 CPUtime=29.96 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 132187 0 0 0 2940 56 0 0 25 0 1 0 90731721 56995840 10570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159228426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 13915 10570 436 55 0 12807 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 55660 [startup+40.0223 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=993360/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=37744 CPUtime=39.97 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145178 0 0 0 3934 63 0 0 25 0 1 0 90731721 38649856 8631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9436 8631 437 55 0 8328 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 37744 [startup+50.0281 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=993104/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38008 CPUtime=49.97 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145282 0 0 0 4933 64 0 0 25 0 1 0 90731721 38920192 8696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9502 8696 437 55 0 8394 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 38008 [startup+60.0339 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22561 /proc/meminfo: memFree=993040/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38028 CPUtime=59.98 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145360 0 0 0 5933 65 0 0 25 0 1 0 90731721 38940672 8711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9507 8711 437 55 0 8399 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 38028 [startup+70.0408 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992976/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=37944 CPUtime=69.97 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145380 0 0 0 6932 65 0 0 25 0 1 0 90731721 38854656 8691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9486 8691 437 55 0 8378 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 37944 [startup+80.0476 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=993040/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=37996 CPUtime=79.98 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145421 0 0 0 7932 66 0 0 25 0 1 0 90731721 38907904 8704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9499 8704 437 55 0 8391 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 37996 [startup+90.0534 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=993040/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=37976 CPUtime=89.98 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145447 0 0 0 8931 67 0 0 25 0 1 0 90731721 38887424 8699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9494 8699 437 55 0 8386 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 37976 [startup+100.059 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992976/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38128 CPUtime=99.98 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145520 0 0 0 9929 69 0 0 25 0 1 0 90731721 39043072 8732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9532 8732 437 55 0 8424 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 38128 [startup+110.065 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992720/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38396 CPUtime=109.99 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145750 0 0 0 10929 70 0 0 25 0 1 0 90731721 39317504 8795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9599 8795 437 55 0 8491 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 38396 [startup+120.071 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=993104/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=37796 CPUtime=119.99 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145811 0 0 0 11928 71 0 0 25 0 1 0 90731721 38703104 8654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9449 8654 437 55 0 8341 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 37796 [startup+130.077 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=993040/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38092 CPUtime=129.99 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 145929 0 0 0 12927 72 0 0 25 0 1 0 90731721 39006208 8704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9523 8704 437 55 0 8415 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 38092 [startup+140.083 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992784/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38124 CPUtime=139.99 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146028 0 0 0 13926 73 0 0 25 0 1 0 90731721 39038976 8736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9531 8736 437 55 0 8423 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 38124 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992848/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38300 CPUtime=149.99 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146063 0 0 0 14925 74 0 0 25 0 1 0 90731721 39219200 8750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9575 8750 437 55 0 8467 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 38300 [startup+160.094 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992784/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38100 CPUtime=160 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146089 0 0 0 15924 76 0 0 25 0 1 0 90731721 39014400 8730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9525 8730 437 55 0 8417 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 38100 [startup+170.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992848/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38000 CPUtime=170 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146111 0 0 0 16923 77 0 0 25 0 1 0 90731721 38912000 8705 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9500 8705 437 55 0 8392 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 38000 [startup+180.106 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992784/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38172 CPUtime=180 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146170 0 0 0 17921 79 0 0 25 0 1 0 90731721 39088128 8748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9543 8748 437 55 0 8435 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 38172 [startup+190.112 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992976/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38068 CPUtime=190 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146214 0 0 0 18920 80 0 0 25 0 1 0 90731721 38981632 8722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5160667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9517 8722 437 55 0 8409 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 38068 [startup+200.117 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992784/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38332 CPUtime=200 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 146258 0 0 0 19919 81 0 0 25 0 1 0 90731721 39251968 8766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9583 8766 437 55 0 8475 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 38332 [startup+210.123 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992784/2055920 swapFree=4191900/4192956 ################ # More data... # ################ /proc/22561/statm: 9607 8812 437 55 0 8499 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 38428 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992528/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38560 CPUtime=1770.37 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 176761 276 0 0 25 0 1 0 90731721 39485440 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9640 8822 437 55 0 8532 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 38560 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1780.38 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 177760 278 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 38480 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1781.38 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 177860 278 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5160685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 38480 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1782.38 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 177960 278 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 38480 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1783.39 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178061 278 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5161110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 38480 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1784.4 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178161 279 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 38480 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1785.4 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178261 279 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 38480 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1786.41 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178362 279 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5168932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 38480 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38480 CPUtime=1787.41 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178462 279 0 0 25 0 1 0 90731721 39403520 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9620 8822 437 55 0 8512 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 38480 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1788.41 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178562 279 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557799 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 38476 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1789.42 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178663 279 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 38476 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1790.42 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178763 279 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 38476 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1791.42 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178863 279 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 38476 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1792.43 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 178964 279 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 38476 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1793.44 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 179064 280 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 38476 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1794.44 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 179164 280 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 38476 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1795.44 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 179264 280 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 38476 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1796.45 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 179365 280 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5161101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 38476 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1797.45 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 179465 280 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 38476 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992592/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38476 CPUtime=1798.46 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148149 0 0 0 179566 280 0 0 25 0 1 0 90731721 39399424 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9619 8822 437 55 0 8511 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 38476 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22563 /proc/meminfo: memFree=992528/2055920 swapFree=4191900/4192956 [pid=22561] ppid=22559 vsize=38588 CPUtime=1799.46 /proc/22561/stat : 22561 (bsolo) R 22559 22561 22515 0 -1 0 148160 0 0 0 179666 280 0 0 25 0 1 0 90731721 39514112 8833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5158224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22561/statm: 9647 8833 437 55 0 8539 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 38588 Child status: 10 Real time (s): 1800.7 CPU time (s): 1800.01 CPU user time (s): 1797.19 CPU system time (s): 2.81357 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (Kb): 55660
Begin job on node45 on Sat Jun 3 00:02:20 UTC 2006 FILE ID= 40489-1149292940 PBS_JOBID= 306963 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/40489-1149292940/instance-40489-1149292940.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-40489-1149292940 -o ROOT/results/node45/solver-40489-1149292940 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node45/40489-1149292940/instance-40489-1149292940.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42 RANDOM SEED= 480294724 /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.263 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.263 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: 1026392 kB Buffers: 33928 kB Cached: 916588 kB SwapCached: 260 kB Active: 91628 kB Inactive: 872832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1026392 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 204 kB Writeback: 0 kB Mapped: 23016 kB Slab: 51168 kB Committed_AS: 242328 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node45 on Sat Jun 3 00:32:21 UTC 2006