Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | -34 | 1800.01 | 1800.78 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
| MD5SUM | f408a60720d5bae3e36cea0c41e2f7f1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -39 |
| Best CPU time to get the best result obtained on this benchmark | 1800.65 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -39 |
| Optimality of the best value was proved | NO |
| Number of variables | 760 |
| Total number of constraints | 41619 |
| Number of constraints which are clauses | 41619 |
| 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.10 c INFO: OSL Context initialized. 0.67 c Initial problem consists of 760 variables and 41619 constraints. 5.16 c No problem reductions applied in OPT. instance. 5.16 c preprocess terminated. Elapsed time: 5.059 5.16 c After prepocess the problem consists of 760 variables and 41619 constraints. 5.16 c Initial Lower Bound: -760 5.20 c Sol. found (all assignments made)... 5.20 o -2 5.20 c NEW SOLUTION FOUND: -2 @ 5.094 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 o -3 5.20 c NEW SOLUTION FOUND: -3 @ 5.097 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 c Sol. found (all assignments made)... 5.22 o -4 5.22 c NEW SOLUTION FOUND: -4 @ 5.123 5.22 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 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.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.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.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.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 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.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.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.28 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.32 c Restart #1 #Var: 760 LB: -760 @ 5.22 5.35 c Sol. found (all assignments made)... 5.35 o -26 5.35 c NEW SOLUTION FOUND: -26 @ 5.253 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 o -28 5.36 c NEW SOLUTION FOUND: -28 @ 5.255 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.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.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.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 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 o -29 5.38 c NEW SOLUTION FOUND: -29 @ 5.277 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.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.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.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.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.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.47 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.47 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.47 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.47 c Sol. found (all assignments made)... 5.47 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.48 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.49 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.50 c Sol. found (all assignments made)... 5.54 c Restart #2 #Var: 760 LB: -760 @ 5.434 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.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 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.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.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.60 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.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.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.62 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.62 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.62 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.62 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 c Sol. found (all assignments made)... 5.63 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.79 c Restart #3 #Var: 760 LB: -760 @ 5.686 6.02 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.03 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.04 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.05 c Sol. found (all assignments made)... 6.06 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.07 c Sol. found (all assignments made)... 6.11 c Restart #4 #Var: 760 LB: -760 @ 6.009 6.15 c Sol. found (all assignments made)... 6.15 o -30 6.15 c NEW SOLUTION FOUND: -30 @ 6.047 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.15 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.16 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.17 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.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.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.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 o -31 6.19 c NEW SOLUTION FOUND: -31 @ 6.089 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 o -32 6.19 c NEW SOLUTION FOUND: -32 @ 6.091 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.19 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.22 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.24 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.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.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.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.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.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.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.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.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.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.31 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.37 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.40 c Sol. found (all assignments made)... 6.40 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.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.44 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.45 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.46 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.47 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.49 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.53 c Restart #5 #Var: 760 LB: -760 @ 6.432 6.97 c Restart #6 #Var: 760 LB: -760 @ 6.868 7.48 c Restart #7 #Var: 760 LB: -760 @ 7.376 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.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 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.54 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 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.59 c Sol. found (all assignments made)... 7.59 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.60 c Sol. found (all assignments made)... 7.60 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.61 c Sol. found (all assignments made)... 7.61 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.62 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.63 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.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 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.71 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.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.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.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.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)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.89 c Sol. found (all assignments made)... 7.90 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.93 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.97 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.05 c Restart #8 #Var: 760 LB: -760 @ 7.95 8.10 c Sol. found (all assignments made)... 8.10 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.19 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.20 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.21 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.23 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.24 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.25 c Sol. found (all assignments made)... 8.26 c Sol. found (all assignments made)... 8.27 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.35 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.36 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.37 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.47 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.53 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 35.09 c CHANGE to MIS mode... UB: -32 MIS: -760 LPR: -347 (2.6374) Diff: 2.1902 35.09 c Restart #0 #Var: 760 LB: -760 @ 34.976 35.28 c Restart #1 #Var: 760 LB: -760 @ 35.168 35.58 c Restart #2 #Var: 760 LB: -386 @ 35.465 35.95 c Restart #3 #Var: 760 LB: -385 @ 35.833 36.36 c Restart #4 #Var: 760 LB: -760 @ 36.25 36.82 c Restart #5 #Var: 760 LB: -760 @ 36.709 37.39 c Restart #6 #Var: 760 LB: -384 @ 37.279 38.03 c Restart #7 #Var: 760 LB: -384 @ 37.915 38.74 c Restart #8 #Var: 760 LB: -385 @ 38.626 39.48 c Restart #9 #Var: 760 LB: -760 @ 39.367 40.32 c Restart #10 #Var: 760 LB: -383 @ 40.21 41.23 c Restart #11 #Var: 760 LB: -384 @ 41.119 42.25 c Restart #12 #Var: 760 LB: -384 @ 42.133 43.27 c Restart #13 #Var: 760 LB: -760 @ 43.15 43.82 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 44.33 c Restart #14 #Var: 760 LB: -760 @ 44.218 44.43 c Sol. found (all assignments made)... 44.59 c Sol. found (all assignments made)... 44.59 c Sol. found (all assignments made)... 44.59 c Sol. found (all assignments made)... 44.60 c Sol. found (all assignments made)... 44.60 c Sol. found (all assignments made)... 44.60 c Sol. found (all assignments made)... 45.00 c Sol. found (all assignments made)... 45.01 c Sol. found (all assignments made)... 45.01 o -33 45.01 c NEW SOLUTION FOUND: -33 @ 44.899 45.01 c Sol. found (all assignments made)... 46.08 c Restart #15 #Var: 760 LB: -760 @ 45.963 47.29 c Restart #16 #Var: 760 LB: -760 @ 47.173 48.57 c Restart #17 #Var: 760 LB: -760 @ 48.45 49.91 c Restart #18 #Var: 760 LB: -760 @ 49.788 51.34 c Restart #19 #Var: 760 LB: -760 @ 51.224 52.82 c Restart #20 #Var: 760 LB: -760 @ 52.702 54.36 c Restart #21 #Var: 760 LB: -760 @ 54.236 56.01 c Restart #22 #Var: 760 LB: -760 @ 55.89 57.72 c Restart #23 #Var: 760 LB: -760 @ 57.602 59.53 c Restart #24 #Var: 760 LB: -760 @ 59.408 61.37 c Restart #25 #Var: 760 LB: -760 @ 61.25 63.34 c Restart #26 #Var: 760 LB: -760 @ 63.22 64.85 c Sol. found (all assignments made)... 64.94 c Sol. found (all assignments made)... 64.94 c Sol. found (all assignments made)... 64.94 c Sol. found (all assignments made)... 64.95 c Sol. found (all assignments made)... 64.95 c Sol. found (all assignments made)... 64.95 c Sol. found (all assignments made)... 64.97 c Sol. found (all assignments made)... 64.97 c Sol. found (all assignments made)... 65.31 c Restart #27 #Var: 760 LB: -760 @ 65.183 67.40 c Restart #28 #Var: 760 LB: -385 @ 67.273 69.54 c Restart #29 #Var: 760 LB: -384 @ 69.416 71.74 c Restart #30 #Var: 760 LB: -760 @ 71.613 74.00 c Restart #31 #Var: 760 LB: -760 @ 73.872 76.36 c Restart #32 #Var: 760 LB: -760 @ 76.235 78.79 c Restart #33 #Var: 760 LB: -383 @ 78.662 81.28 c Restart #34 #Var: 760 LB: -760 @ 81.152 83.79 c Restart #35 #Var: 760 LB: -760 @ 83.66 86.43 c Restart #36 #Var: 760 LB: -760 @ 86.298 89.13 c Restart #37 #Var: 760 LB: -760 @ 88.999 91.99 c Restart #38 #Var: 760 LB: -385 @ 91.855 94.87 c Restart #39 #Var: 760 LB: -760 @ 94.732 97.74 c Restart #40 #Var: 760 LB: -760 @ 97.606 100.71 c Restart #41 #Var: 760 LB: -760 @ 100.58 103.69 c Restart #42 #Var: 760 LB: -760 @ 103.55 106.78 c Restart #43 #Var: 760 LB: -760 @ 106.64 109.83 c Restart #44 #Var: 760 LB: -760 @ 109.69 113.05 c Restart #45 #Var: 760 LB: -760 @ 112.91 116.36 c Restart #46 #Var: 760 LB: -760 @ 116.22 119.80 c Restart #47 #Var: 760 LB: -385 @ 119.65 123.25 c Restart #48 #Var: 760 LB: -760 @ 123.11 126.83 c Restart #49 #Var: 760 LB: -760 @ 126.68 127.11 c Sol. found (all assignments made)... 127.11 o -34 127.11 c NEW SOLUTION FOUND: -34 @ 126.97 127.11 c Sol. found (all assignments made)... 130.63 c Restart #50 #Var: 760 LB: -760 @ 130.48 134.30 c Restart #51 #Var: 760 LB: -760 @ 134.15 138.08 c Restart #52 #Var: 760 LB: -383 @ 137.94 142.02 c Restart #53 #Var: 760 LB: -760 @ 141.87 145.87 c Restart #54 #Var: 760 LB: -760 @ 145.72 149.78 c Restart #55 #Var: 760 LB: -760 @ 149.63 153.95 c Restart #56 #Var: 760 LB: -760 @ 153.79 157.95 c Restart #57 #Var: 760 LB: -760 @ 157.79 162.32 c Restart #58 #Var: 760 LB: -760 @ 162.16 166.52 c Restart #59 #Var: 760 LB: -760 @ 166.36 170.87 c Restart #60 #Var: 760 LB: -760 @ 170.71 175.14 c Restart #61 #Var: 760 LB: -760 @ 174.98 179.56 c Restart #62 #Var: 760 LB: -760 @ 179.4 184.11 c Restart #63 #Var: 760 LB: -760 @ 183.94 189.07 c Restart #64 #Var: 760 LB: -760 @ 188.91 193.90 c Restart #65 #Var: 760 LB: -760 @ 193.73 198.68 c Restart #66 #Var: 760 LB: -760 @ 198.51 201.39 c Sol. found (all assignments made)... 201.39 c Sol. found (all assignments made)... 201.39 c Sol. found (all assignments made)... 201.80 c Sol. found (all assignments made)... 201.80 c Sol. found (all assignments made)... 201.80 c Sol. found (all assignments made)... 201.81 c Sol. found (all assignments made)... 202.32 c Sol. found (all assignments made)... 202.34 c Sol. found (all assignments made)... 203.33 c Restart #67 #Var: 760 LB: -760 @ 203.16 208.05 c Restart #68 #Var: 760 LB: -760 @ 207.88 213.06 c Restart #69 #Var: 760 LB: -760 @ 212.89 218.22 c Restart #70 #Var: 760 LB: -760 @ 218.04 223.21 c Restart #71 #Var: 760 LB: -760 @ 223.04 228.28 c Restart #72 #Var: 760 LB: -760 @ 228.1 233.47 c Restart #73 #Var: 760 LB: -760 @ 233.29 238.81 c Restart #74 #Var: 760 LB: -760 @ 238.62 244.30 c Restart #75 #Var: 760 LB: -760 @ 244.11 249.72 c Restart #76 #Var: 760 LB: -760 @ 249.53 255.52 c Restart #77 #Var: 760 LB: -760 @ 255.33 261.16 c Restart #78 #Var: 760 LB: -760 @ 260.96 266.82 c Restart #79 #Var: 760 LB: -760 @ 266.62 272.57 c Restart #80 #Var: 760 LB: -760 @ 272.37 278.41 c Restart #81 #Var: 760 LB: -760 @ 278.21 284.38 c Restart #82 #Var: 760 LB: -760 @ 284.18 290.22 c Restart #83 #Var: 760 LB: -760 @ 290.01 296.20 c Restart #84 #Var: 760 LB: -760 @ 295.99 302.36 c Restart #85 #Var: 760 LB: -760 @ 302.15 308.49 c Restart #86 #Var: 760 LB: -760 @ 308.28 314.65 c Restart #87 #Var: 760 LB: -760 @ 314.44 320.85 c Restart #88 #Var: 760 LB: -760 @ 320.63 327.32 c Restart #89 #Var: 760 LB: -760 @ 327.1 333.73 c Restart #90 #Var: 760 LB: -760 @ 333.51 340.25 c Restart #91 #Var: 760 LB: -760 @ 340.03 346.70 c Restart #92 #Var: 760 LB: -760 @ 346.48 346.87 c Sol. found (all assignments made)... 353.23 c Restart #93 #Var: 760 LB: -760 @ 353 360.19 c Restart #94 #Var: 760 LB: -760 @ 359.96 366.88 c Restart #95 #Var: 760 LB: -760 @ 366.65 373.75 c Restart #96 #Var: 760 LB: -760 @ 373.52 380.52 c Restart #97 #Var: 760 LB: -760 @ 380.29 387.36 c Restart #98 #Var: 760 LB: -760 @ 387.12 394.29 c Restart #99 #Var: 760 LB: -760 @ 394.05 401.23 c Restart #100 #Var: 760 LB: -760 @ 400.99 408.48 c Restart #101 #Var: 760 LB: -760 @ 408.24 415.68 c Restart #102 #Var: 760 LB: -760 @ 415.43 423.14 c Restart #103 #Var: 760 LB: -760 @ 422.88 430.57 c Restart #104 #Var: 760 LB: -760 @ 430.31 438.16 c Restart #105 #Var: 760 LB: -760 @ 437.9 445.89 c Restart #106 #Var: 760 LB: -760 @ 445.63 453.34 c Restart #107 #Var: 760 LB: -760 @ 453.08 461.19 c Restart #108 #Var: 760 LB: -760 @ 460.93 468.96 c Restart #109 #Var: 760 LB: -760 @ 468.69 476.67 c Restart #110 #Var: 760 LB: -760 @ 476.4 484.57 c Restart #111 #Var: 760 LB: -760 @ 484.3 492.12 c Sol. found (all assignments made)... 492.37 c Restart #112 #Var: 760 LB: -760 @ 492.1 500.46 c Restart #113 #Var: 760 LB: -760 @ 500.19 508.48 c Restart #114 #Var: 760 LB: -760 @ 508.2 509.21 c Sol. found (all assignments made)... 516.83 c Restart #115 #Var: 760 LB: -760 @ 516.54 525.12 c Restart #116 #Var: 760 LB: -760 @ 524.83 533.16 c Restart #117 #Var: 760 LB: -760 @ 532.87 541.78 c Restart #118 #Var: 760 LB: -760 @ 541.48 550.15 c Restart #119 #Var: 760 LB: -760 @ 549.86 558.92 c Restart #120 #Var: 760 LB: -760 @ 558.62 567.52 c Restart #121 #Var: 760 LB: -760 @ 567.22 576.27 c Restart #122 #Var: 760 LB: -760 @ 575.97 584.85 c Restart #123 #Var: 760 LB: -760 @ 584.54 593.58 c Restart #124 #Var: 760 LB: -760 @ 593.27 602.52 c Restart #125 #Var: 760 LB: -760 @ 602.21 611.50 c Restart #126 #Var: 760 LB: -760 @ 611.19 620.48 c Restart #127 #Var: 760 LB: -760 @ 620.16 629.34 c Restart #128 #Var: 760 LB: -760 @ 629.02 638.57 c Restart #129 #Var: 760 LB: -760 @ 638.24 648.02 c Restart #130 #Var: 760 LB: -760 @ 647.69 657.10 c Restart #131 #Var: 760 LB: -760 @ 656.77 666.51 c Restart #132 #Var: 760 LB: -760 @ 666.17 675.95 c Restart #133 #Var: 760 LB: -760 @ 675.61 685.74 c Restart #134 #Var: 760 LB: -760 @ 685.4 695.37 c Restart #135 #Var: 760 LB: -760 @ 695.02 705.25 c Restart #136 #Var: 760 LB: -760 @ 704.89 715.21 c Restart #137 #Var: 760 LB: -760 @ 714.85 725.15 c Restart #138 #Var: 760 LB: -760 @ 724.8 734.86 c Restart #139 #Var: 760 LB: -384 @ 734.5 744.97 c Restart #140 #Var: 760 LB: -760 @ 744.6 754.83 c Restart #141 #Var: 760 LB: -760 @ 754.46 764.99 c Restart #142 #Var: 760 LB: -760 @ 764.62 775.05 c Restart #143 #Var: 760 LB: -760 @ 774.68 785.19 c Restart #144 #Var: 760 LB: -760 @ 784.81 795.42 c Restart #145 #Var: 760 LB: -760 @ 795.04 805.81 c Restart #146 #Var: 760 LB: -760 @ 805.42 816.09 c Restart #147 #Var: 760 LB: -760 @ 815.7 826.47 c Restart #148 #Var: 760 LB: -760 @ 826.07 837.07 c Restart #149 #Var: 760 LB: -760 @ 836.67 847.73 c Restart #150 #Var: 760 LB: -760 @ 847.33 858.48 c Restart #151 #Var: 760 LB: -760 @ 858.07 869.46 c Restart #152 #Var: 760 LB: -760 @ 869.05 880.59 c Restart #153 #Var: 760 LB: -760 @ 880.18 891.76 c Restart #154 #Var: 760 LB: -760 @ 891.34 902.96 c Restart #155 #Var: 760 LB: -760 @ 902.54 913.69 c Restart #156 #Var: 760 LB: -760 @ 913.27 924.62 c Restart #157 #Var: 760 LB: -760 @ 924.19 935.49 c Restart #158 #Var: 760 LB: -760 @ 935.06 946.40 c Restart #159 #Var: 760 LB: -760 @ 945.96 957.52 c Restart #160 #Var: 760 LB: -760 @ 957.08 969.13 c Restart #161 #Var: 760 LB: -760 @ 968.68 980.48 c Restart #162 #Var: 760 LB: -760 @ 980.03 992.23 c Restart #163 #Var: 760 LB: -760 @ 991.77 1004.10 c Restart #164 #Var: 760 LB: -760 @ 1003.6 1015.75 c Restart #165 #Var: 760 LB: -760 @ 1015.3 1027.43 c Restart #166 #Var: 760 LB: -760 @ 1027 1038.87 c Restart #167 #Var: 760 LB: -760 @ 1038.4 1050.54 c Restart #168 #Var: 760 LB: -760 @ 1050.1 1062.58 c Restart #169 #Var: 760 LB: -760 @ 1062.1 1074.61 c Restart #170 #Var: 760 LB: -760 @ 1074.1 1075.14 c Sol. found (all assignments made)... 1075.18 c Sol. found (all assignments made)... 1075.52 c Sol. found (all assignments made)... 1075.52 c Sol. found (all assignments made)... 1075.53 c Sol. found (all assignments made)... 1075.53 c Sol. found (all assignments made)... 1075.53 c Sol. found (all assignments made)... 1075.53 c Sol. found (all assignments made)... 1075.91 c Sol. found (all assignments made)... 1075.92 c Sol. found (all assignments made)... 1075.92 c Sol. found (all assignments made)... 1075.92 c Sol. found (all assignments made)... 1075.96 c Sol. found (all assignments made)... 1075.99 c Sol. found (all assignments made)... 1075.99 c Sol. found (all assignments made)... 1076.02 c Sol. found (all assignments made)... 1076.02 c Sol. found (all assignments made)... 1076.02 c Sol. found (all assignments made)... 1076.03 c Sol. found (all assignments made)... 1076.07 c Sol. found (all assignments made)... 1076.07 c Sol. found (all assignments made)... 1076.07 c Sol. found (all assignments made)... 1076.07 c Sol. found (all assignments made)... 1076.08 c Sol. found (all assignments made)... 1076.08 c Sol. found (all assignments made)... 1076.11 c Sol. found (all assignments made)... 1076.12 c Sol. found (all assignments made)... 1076.12 c Sol. found (all assignments made)... 1076.15 c Sol. found (all assignments made)... 1076.62 c Sol. found (all assignments made)... 1076.65 c Sol. found (all assignments made)... 1076.65 c Sol. found (all assignments made)... 1076.66 c Sol. found (all assignments made)... 1076.81 c Sol. found (all assignments made)... 1076.84 c Sol. found (all assignments made)... 1076.92 c Sol. found (all assignments made)... 1076.92 c Sol. found (all assignments made)... 1076.98 c Sol. found (all assignments made)... 1076.98 c Sol. found (all assignments made)... 1076.99 c Sol. found (all assignments made)... 1076.99 c Sol. found (all assignments made)... 1077.23 c Sol. found (all assignments made)... 1077.23 c Sol. found (all assignments made)... 1077.25 c Sol. found (all assignments made)... 1077.26 c Sol. found (all assignments made)... 1077.26 c Sol. found (all assignments made)... 1077.26 c Sol. found (all assignments made)... 1077.29 c Sol. found (all assignments made)... 1077.29 c Sol. found (all assignments made)... 1077.29 c Sol. found (all assignments made)... 1077.30 c Sol. found (all assignments made)... 1077.30 c Sol. found (all assignments made)... 1077.34 c Sol. found (all assignments made)... 1077.41 c Sol. found (all assignments made)... 1077.41 c Sol. found (all assignments made)... 1077.41 c Sol. found (all assignments made)... 1077.41 c Sol. found (all assignments made)... 1077.44 c Sol. found (all assignments made)... 1077.44 c Sol. found (all assignments made)... 1077.44 c Sol. found (all assignments made)... 1077.45 c Sol. found (all assignments made)... 1077.48 c Sol. found (all assignments made)... 1077.48 c Sol. found (all assignments made)... 1077.73 c Sol. found (all assignments made)... 1077.73 c Sol. found (all assignments made)... 1077.73 c Sol. found (all assignments made)... 1077.74 c Sol. found (all assignments made)... 1077.74 c Sol. found (all assignments made)... 1077.74 c Sol. found (all assignments made)... 1077.75 c Sol. found (all assignments made)... 1077.75 c Sol. found (all assignments made)... 1077.75 c Sol. found (all assignments made)... 1077.75 c Sol. found (all assignments made)... 1077.75 c Sol. found (all assignments made)... 1077.90 c Sol. found (all assignments made)... 1077.90 c Sol. found (all assignments made)... 1077.91 c Sol. found (all assignments made)... 1077.92 c Sol. found (all assignments made)... 1077.94 c Sol. found (all assignments made)... 1077.97 c Sol. found (all assignments made)... 1077.97 c Sol. found (all assignments made)... 1077.97 c Sol. found (all assignments made)... 1077.98 c Sol. found (all assignments made)... 1077.98 c Sol. found (all assignments made)... 1077.98 c Sol. found (all assignments made)... 1077.98 c Sol. found (all assignments made)... 1077.98 c Sol. found (all assignments made)... 1077.98 c Sol. found (all assignments made)... 1077.99 c Sol. found (all assignments made)... 1077.99 c Sol. found (all assignments made)... 1078.04 c Sol. found (all assignments made)... 1078.04 c Sol. found (all assignments made)... 1078.04 c Sol. found (all assignments made)... 1078.04 c Sol. found (all assignments made)... 1078.06 c Sol. found (all assignments made)... 1078.07 c Sol. found (all assignments made)... 1078.07 c Sol. found (all assignments made)... 1078.07 c Sol. found (all assignments made)... 1078.07 c Sol. found (all assignments made)... 1078.07 c Sol. found (all assignments made)... 1078.07 c Sol. found (all assignments made)... 1078.17 c Sol. found (all assignments made)... 1078.17 c Sol. found (all assignments made)... 1078.17 c Sol. found (all assignments made)... 1078.17 c Sol. found (all assignments made)... 1078.21 c Sol. found (all assignments made)... 1078.21 c Sol. found (all assignments made)... 1078.21 c Sol. found (all assignments made)... 1078.21 c Sol. found (all assignments made)... 1078.21 c Sol. found (all assignments made)... 1078.22 c Sol. found (all assignments made)... 1078.23 c Sol. found (all assignments made)... 1078.23 c Sol. found (all assignments made)... 1078.25 c Sol. found (all assignments made)... 1078.25 c Sol. found (all assignments made)... 1078.25 c Sol. found (all assignments made)... 1078.25 c Sol. found (all assignments made)... 1078.26 c Sol. found (all assignments made)... 1078.27 c Sol. found (all assignments made)... 1078.32 c Sol. found (all assignments made)... 1078.32 c Sol. found (all assignments made)... 1078.32 c Sol. found (all assignments made)... 1078.33 c Sol. found (all assignments made)... 1078.33 c Sol. found (all assignments made)... 1078.39 c Sol. found (all assignments made)... 1078.39 c Sol. found (all assignments made)... 1078.39 c Sol. found (all assignments made)... 1078.39 c Sol. found (all assignments made)... 1078.44 c Sol. found (all assignments made)... 1078.44 c Sol. found (all assignments made)... 1078.44 c Sol. found (all assignments made)... 1078.44 c Sol. found (all assignments made)... 1078.47 c Sol. found (all assignments made)... 1078.47 c Sol. found (all assignments made)... 1078.77 c Sol. found (all assignments made)... 1078.81 c Sol. found (all assignments made)... 1078.87 c Sol. found (all assignments made)... 1078.89 c Sol. found (all assignments made)... 1078.89 c Sol. found (all assignments made)... 1078.96 c Sol. found (all assignments made)... 1078.97 c Sol. found (all assignments made)... 1079.47 c Sol. found (all assignments made)... 1079.84 c Sol. found (all assignments made)... 1079.85 c Sol. found (all assignments made)... 1079.88 c Sol. found (all assignments made)... 1079.89 c Sol. found (all assignments made)... 1079.91 c Sol. found (all assignments made)... 1079.91 c Sol. found (all assignments made)... 1079.92 c Sol. found (all assignments made)... 1079.93 c Sol. found (all assignments made)... 1079.94 c Sol. found (all assignments made)... 1079.98 c Sol. found (all assignments made)... 1079.99 c Sol. found (all assignments made)... 1079.99 c Sol. found (all assignments made)... 1080.00 c Sol. found (all assignments made)... 1080.02 c Sol. found (all assignments made)... 1080.03 c Sol. found (all assignments made)... 1080.04 c Sol. found (all assignments made)... 1080.06 c Sol. found (all assignments made)... 1080.32 c Sol. found (all assignments made)... 1086.24 c Sol. found (all assignments made)... 1086.43 c Sol. found (all assignments made)... 1086.43 c Sol. found (all assignments made)... 1086.44 c Sol. found (all assignments made)... 1086.44 c Sol. found (all assignments made)... 1086.67 c Sol. found (all assignments made)... 1086.67 c Sol. found (all assignments made)... 1086.67 c Sol. found (all assignments made)... 1086.67 c Sol. found (all assignments made)... 1086.68 c Sol. found (all assignments made)... 1086.69 c Sol. found (all assignments made)... 1086.69 c Sol. found (all assignments made)... 1086.70 c Sol. found (all assignments made)... 1086.74 c Sol. found (all assignments made)... 1086.74 c Sol. found (all assignments made)... 1086.78 c Restart #171 #Var: 760 LB: -760 @ 1086.3 1099.15 c Restart #172 #Var: 760 LB: -760 @ 1098.7 1111.44 c Restart #173 #Var: 760 LB: -760 @ 1110.9 1123.89 c Restart #174 #Var: 760 LB: -760 @ 1123.4 1125.93 c Sol. found (all assignments made)... 1126.18 c Sol. found (all assignments made)... 1126.19 c Sol. found (all assignments made)... 1126.19 c Sol. found (all assignments made)... 1126.50 c Sol. found (all assignments made)... 1126.58 c Sol. found (all assignments made)... 1135.83 c Restart #175 #Var: 760 LB: -760 @ 1135.3 1148.03 c Restart #176 #Var: 760 LB: -760 @ 1147.5 1160.18 c Restart #177 #Var: 760 LB: -760 @ 1159.7 1172.56 c Restart #178 #Var: 760 LB: -760 @ 1172 1185.37 c Restart #179 #Var: 760 LB: -760 @ 1184.8 1198.10 c Restart #180 #Var: 760 LB: -760 @ 1197.6 1210.99 c Restart #181 #Var: 760 LB: -760 @ 1210.5 1224.26 c Restart #182 #Var: 760 LB: -760 @ 1223.7 1237.05 c Restart #183 #Var: 760 LB: -760 @ 1236.5 1250.23 c Restart #184 #Var: 760 LB: -760 @ 1249.7 1263.14 c Restart #185 #Var: 760 LB: -760 @ 1262.6 1276.05 c Restart #186 #Var: 760 LB: -760 @ 1275.5 1288.97 c Restart #187 #Var: 760 LB: -760 @ 1288.4 1302.45 c Restart #188 #Var: 760 LB: -760 @ 1301.9 1316.05 c Restart #189 #Var: 760 LB: -760 @ 1315.5 1329.42 c Restart #190 #Var: 760 LB: -760 @ 1328.8 1342.96 c Restart #191 #Var: 760 LB: -760 @ 1342.4 1356.80 c Restart #192 #Var: 760 LB: -760 @ 1356.2 1370.06 c Restart #193 #Var: 760 LB: -760 @ 1369.5 1384.12 c Restart #194 #Var: 760 LB: -760 @ 1383.5 1397.69 c Restart #195 #Var: 760 LB: -760 @ 1397.1 1411.32 c Restart #196 #Var: 760 LB: -760 @ 1410.7 1425.35 c Restart #197 #Var: 760 LB: -760 @ 1424.7 1439.77 c Restart #198 #Var: 760 LB: -760 @ 1439.2 1453.87 c Restart #199 #Var: 760 LB: -760 @ 1453.3 1468.10 c Restart #200 #Var: 760 LB: -760 @ 1467.5 1482.30 c Restart #201 #Var: 760 LB: -760 @ 1481.7 1496.16 c Restart #202 #Var: 760 LB: -760 @ 1495.5 1508.47 c Sol. found (all assignments made)... 1510.34 c Restart #203 #Var: 760 LB: -760 @ 1509.7 1524.82 c Restart #204 #Var: 760 LB: -760 @ 1524.2 1539.53 c Restart #205 #Var: 760 LB: -760 @ 1538.9 1553.71 c Restart #206 #Var: 760 LB: -760 @ 1553 1568.12 c Restart #207 #Var: 760 LB: -760 @ 1567.5 1582.67 c Restart #208 #Var: 760 LB: -760 @ 1582 1597.41 c Restart #209 #Var: 760 LB: -760 @ 1596.7 1612.39 c Restart #210 #Var: 760 LB: -760 @ 1611.7 1615.81 c Sol. found (all assignments made)... 1626.94 c Restart #211 #Var: 760 LB: -760 @ 1626.3 1642.15 c Restart #212 #Var: 760 LB: -760 @ 1641.5 1657.01 c Restart #213 #Var: 760 LB: -760 @ 1656.3 1672.10 c Restart #214 #Var: 760 LB: -760 @ 1671.4 1687.42 c Restart #215 #Var: 760 LB: -760 @ 1686.7 1702.68 c Restart #216 #Var: 760 LB: -760 @ 1702 1717.92 c Restart #217 #Var: 760 LB: -760 @ 1717.2 1733.53 c Restart #218 #Var: 760 LB: -760 @ 1732.8 1748.93 c Restart #219 #Var: 760 LB: -760 @ 1748.2 1764.52 c Restart #220 #Var: 760 LB: -760 @ 1763.8 1780.39 c Restart #221 #Var: 760 LB: -760 @ 1779.7 1796.30 c Restart #222 #Var: 760 LB: -760 @ 1795.6 1800.75 s SATISFIABLE 1800.75 c Cost: -34 1800.75 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1800.75 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 1800.75 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 1800.75 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1800.75 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1800.75 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 x637 -x636 -x635 1800.75 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 1800.75 v -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1800.75 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 1800.75 v -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1800.75 v -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1800.75 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 1800.75 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 1800.75 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1800.75 v -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 1800.75 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 1800.75 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 1800.75 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 1800.75 v -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1800.75 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1800.75 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 1800.75 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 1800.75 v -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1800.75 v x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1800.75 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1800.75 v -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 1800.75 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1800.75 v -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 1800.75 v -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1800.75 v -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.75 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 1800.75 v -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 1800.75 v -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 -x60 1800.75 v -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 -x34 1800.75 v -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 -x8 -x7 1800.75 v -x6 -x5 -x4 -x3 -x2 -x1 1800.75 c Exit Code: 10 1800.75 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/node12/watcher-40488-1149292910 -o ROOT/results/node12/solver-40488-1149292910 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node12/40488-1149292910/instance-40488-1149292910.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.93 2/64 7393 /proc/meminfo: memFree=1723792/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=4928 CPUtime=0 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 289 0 0 0 0 0 0 0 19 0 1 0 194953604 5046272 259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10096464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 1232 267 177 55 0 124 0 [startup+10.0023 s] /proc/loadavg: 0.92 0.95 0.93 2/64 7393 /proc/meminfo: memFree=1699408/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=28968 CPUtime=9.89 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 6513 0 0 0 984 5 0 0 25 0 1 0 194953604 29663232 6376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 7242 6376 307 55 0 6134 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 28968 [startup+20.0091 s] /proc/loadavg: 0.93 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1682192/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=53336 CPUtime=19.9 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 13743 0 0 0 1980 10 0 0 25 0 1 0 194953604 54616064 10725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 13334 10725 413 55 0 12226 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 53336 [startup+30.0159 s] /proc/loadavg: 0.94 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1678352/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=63028 CPUtime=29.89 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 111464 0 0 0 2935 54 0 0 25 0 1 0 194953604 64540672 11755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 15757 11755 435 55 0 14649 0 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 63028 [startup+40.0217 s] /proc/loadavg: 0.95 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690320/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38104 CPUtime=39.9 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145098 0 0 0 3920 70 0 0 25 0 1 0 194953604 39018496 8719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9526 8719 436 55 0 8418 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 38104 [startup+50.0285 s] /proc/loadavg: 0.96 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690320/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38124 CPUtime=49.91 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145148 0 0 0 4920 71 0 0 25 0 1 0 194953604 39038976 8732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9531 8732 436 55 0 8423 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 38124 [startup+60.0343 s] /proc/loadavg: 0.96 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690128/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38444 CPUtime=59.9 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145238 0 0 0 5918 72 0 0 25 0 1 0 194953604 39366656 8793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9611 8793 436 55 0 8503 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 38444 [startup+70.0401 s] /proc/loadavg: 0.97 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690256/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38280 CPUtime=69.9 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145307 0 0 0 6917 73 0 0 25 0 1 0 194953604 39198720 8746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9570 8746 436 55 0 8462 0 Current children cumulated CPU time (s) 69.9 Current children cumulated vsize (Kb) 38280 [startup+80.0459 s] /proc/loadavg: 0.97 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690000/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38432 CPUtime=79.91 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145402 0 0 0 7916 75 0 0 25 0 1 0 194953604 39354368 8809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9608 8809 436 55 0 8500 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 38432 [startup+90.0517 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690064/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38500 CPUtime=89.91 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145405 0 0 0 8915 76 0 0 25 0 1 0 194953604 39424000 8812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9625 8812 436 55 0 8517 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 38500 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690064/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38428 CPUtime=99.91 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145406 0 0 0 9914 77 0 0 25 0 1 0 194953604 39350272 8808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9607 8808 436 55 0 8499 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 38428 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7393 /proc/meminfo: memFree=1690064/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38324 CPUtime=109.92 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145406 0 0 0 10913 79 0 0 25 0 1 0 194953604 39243776 8782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9581 8782 436 55 0 8473 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 38324 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1690064/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38432 CPUtime=119.92 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145464 0 0 0 11912 80 0 0 25 0 1 0 194953604 39354368 8807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9608 8807 436 55 0 8500 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 38432 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1690000/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38672 CPUtime=129.92 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145520 0 0 0 12911 81 0 0 25 0 1 0 194953604 39600128 8838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9668 8838 436 55 0 8560 0 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 38672 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1690064/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38556 CPUtime=139.92 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145594 0 0 0 13910 82 0 0 25 0 1 0 194953604 39481344 8820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9639 8820 436 55 0 8531 0 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 38556 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689808/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38796 CPUtime=149.92 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145653 0 0 0 14908 84 0 0 25 0 1 0 194953604 39727104 8879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9699 8879 436 55 0 8591 0 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 38796 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689872/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38468 CPUtime=159.93 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145653 0 0 0 15907 86 0 0 25 0 1 0 194953604 39391232 8818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9617 8818 436 55 0 8509 0 Current children cumulated CPU time (s) 159.93 Current children cumulated vsize (Kb) 38468 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1690000/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38568 CPUtime=169.93 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145660 0 0 0 16906 87 0 0 25 0 1 0 194953604 39493632 8825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9642 8825 436 55 0 8534 0 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 38568 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.93 3/64 7393 /proc/meminfo: memFree=1690128/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38428 CPUtime=179.94 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145694 0 0 0 17905 89 0 0 25 0 1 0 194953604 39350272 8807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9607 8807 436 55 0 8499 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 38428 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689744/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38920 CPUtime=189.94 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145802 0 0 0 18904 90 0 0 25 0 1 0 194953604 39854080 8915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9730 8915 436 55 0 8622 0 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 38920 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689808/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=199.94 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 145802 0 0 0 19903 91 0 0 25 0 1 0 194953604 39702528 8894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8894 436 55 0 8585 0 Current children cumulated CPU time (s) 199.94 Current children cumulated vsize (Kb) 38772 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689872/2055920 swapFree=4181420/4192956 ################ # More data... # ################ /proc/7393/statm: 9706 8907 436 55 0 8598 0 Current children cumulated CPU time (s) 1760.3 Current children cumulated vsize (Kb) 38824 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689488/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38744 CPUtime=1770.3 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 176753 277 0 0 25 0 1 0 194953604 39673856 8887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9686 8887 436 55 0 8578 0 Current children cumulated CPU time (s) 1770.3 Current children cumulated vsize (Kb) 38744 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1780.3 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 177752 278 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1780.3 Current children cumulated vsize (Kb) 38652 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1781.31 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 177853 278 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10125451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1781.31 Current children cumulated vsize (Kb) 38652 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1782.31 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 177953 278 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (Kb) 38652 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1783.32 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 178053 279 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1783.32 Current children cumulated vsize (Kb) 38652 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1784.33 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 178154 279 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1784.33 Current children cumulated vsize (Kb) 38652 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1785.33 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 178254 279 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1785.33 Current children cumulated vsize (Kb) 38652 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38652 CPUtime=1786.34 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147042 0 0 0 178355 279 0 0 25 0 1 0 194953604 39579648 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9663 8864 436 55 0 8555 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 38652 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1787.34 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147043 0 0 0 178455 279 0 0 25 0 1 0 194953604 39702528 8865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8865 436 55 0 8585 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 38772 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1788.34 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147043 0 0 0 178555 279 0 0 25 0 1 0 194953604 39702528 8865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8865 436 55 0 8585 0 Current children cumulated CPU time (s) 1788.34 Current children cumulated vsize (Kb) 38772 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1789.35 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147043 0 0 0 178656 279 0 0 25 0 1 0 194953604 39702528 8865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8865 436 55 0 8585 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (Kb) 38772 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1790.35 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147062 0 0 0 178756 279 0 0 25 0 1 0 194953604 39702528 8884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10125386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8884 436 55 0 8585 0 Current children cumulated CPU time (s) 1790.35 Current children cumulated vsize (Kb) 38772 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1791.36 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147062 0 0 0 178857 279 0 0 25 0 1 0 194953604 39702528 8884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8884 436 55 0 8585 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (Kb) 38772 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1792.37 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147062 0 0 0 178957 280 0 0 25 0 1 0 194953604 39702528 8884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8884 436 55 0 8585 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 38772 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1793.37 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147062 0 0 0 179057 280 0 0 25 0 1 0 194953604 39702528 8884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8884 436 55 0 8585 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 38772 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1794.37 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147062 0 0 0 179157 280 0 0 25 0 1 0 194953604 39702528 8884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8884 436 55 0 8585 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (Kb) 38772 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1795.38 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147069 0 0 0 179258 280 0 0 25 0 1 0 194953604 39702528 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8891 436 55 0 8585 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (Kb) 38772 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1796.38 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147069 0 0 0 179358 280 0 0 25 0 1 0 194953604 39702528 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8891 436 55 0 8585 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 38772 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1797.38 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147069 0 0 0 179458 280 0 0 25 0 1 0 194953604 39702528 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10125310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8891 436 55 0 8585 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (Kb) 38772 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1798.39 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147069 0 0 0 179559 280 0 0 25 0 1 0 194953604 39702528 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10125464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8891 436 55 0 8585 0 Current children cumulated CPU time (s) 1798.39 Current children cumulated vsize (Kb) 38772 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7393 /proc/meminfo: memFree=1689552/2055920 swapFree=4181420/4192956 [pid=7393] ppid=7391 vsize=38772 CPUtime=1799.39 /proc/7393/stat : 7393 (bsolo) R 7391 7393 7347 0 -1 0 147069 0 0 0 179659 280 0 0 25 0 1 0 194953604 39702528 8891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7393/statm: 9693 8891 436 55 0 8585 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (Kb) 38772 Child status: 10 Real time (s): 1800.78 CPU time (s): 1800.01 CPU user time (s): 1797.19 CPU system time (s): 2.81657 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (Kb): 63028
Begin job on node12 on Sat Jun 3 00:01:50 UTC 2006 FILE ID= 40488-1149292910 PBS_JOBID= 306954 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node12/40488-1149292910/instance-40488-1149292910.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-40488-1149292910 -o ROOT/results/node12/solver-40488-1149292910 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node12/40488-1149292910/instance-40488-1149292910.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1 RANDOM SEED= 607272071 /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.282 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.282 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: 1724000 kB Buffers: 23100 kB Cached: 245924 kB SwapCached: 3180 kB Active: 49068 kB Inactive: 228592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724000 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14720 kB Slab: 40324 kB Committed_AS: 276820 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Sat Jun 3 00:31:51 UTC 2006