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 | -41 | 1800.02 | 1800.59 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
| MD5SUM | 32f273c48805c1e726044ae006778010 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -49 |
| Best CPU time to get the best result obtained on this benchmark | 1800.2 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 80035 |
| Number of constraints which are clauses | 80035 |
| 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 | 1150 |
| 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 | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 1.15 c Initial problem consists of 1150 variables and 80035 constraints. 12.25 c No problem reductions applied in OPT. instance. 12.25 c preprocess terminated. Elapsed time: 12.231 12.25 c After prepocess the problem consists of 1150 variables and 80035 constraints. 12.25 c Initial Lower Bound: -1150 12.32 c Sol. found (all assignments made)... 12.32 o -1 12.32 c NEW SOLUTION FOUND: -1 @ 12.3 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.32 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.33 o -2 12.33 c NEW SOLUTION FOUND: -2 @ 12.315 12.33 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.35 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 o -3 12.36 c NEW SOLUTION FOUND: -3 @ 12.341 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.36 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.38 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 o -4 12.41 c NEW SOLUTION FOUND: -4 @ 12.391 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.41 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.42 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.43 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.44 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.46 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.47 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.48 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.49 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.50 c Sol. found (all assignments made)... 12.57 c Restart #1 #Var: 1150 LB: -1150 @ 12.557 12.64 c Sol. found (all assignments made)... 12.64 o -35 12.64 c NEW SOLUTION FOUND: -35 @ 12.627 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.65 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.67 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.69 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.70 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.71 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.72 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.74 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.75 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.76 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.77 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.78 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.80 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.91 c Restart #2 #Var: 1150 LB: -1150 @ 12.889 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.01 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.14 o -36 13.14 c NEW SOLUTION FOUND: -36 @ 13.125 13.14 c Sol. found (all assignments made)... 13.14 c Sol. found (all assignments made)... 13.15 c Sol. found (all assignments made)... 13.15 c Sol. found (all assignments made)... 13.15 c Sol. found (all assignments made)... 13.21 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.22 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.24 c Sol. found (all assignments made)... 13.29 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.31 c Sol. found (all assignments made)... 13.32 c Sol. found (all assignments made)... 13.35 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.36 c Sol. found (all assignments made)... 13.49 c Restart #3 #Var: 1150 LB: -1150 @ 13.475 13.61 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.62 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.63 c Sol. found (all assignments made)... 13.64 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.80 c Sol. found (all assignments made)... 13.81 c Sol. found (all assignments made)... 14.02 c Restart #4 #Var: 1150 LB: -1150 @ 13.999 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.10 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.21 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.36 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.45 c Sol. found (all assignments made)... 14.46 c Sol. found (all assignments made)... 14.47 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.63 c Restart #5 #Var: 1150 LB: -1150 @ 14.612 15.34 c Restart #6 #Var: 1150 LB: -1150 @ 15.323 90.35 c CHANGE to MIS mode... UB: -36 MIS: -1150 LPR: -545 (7.4117) Diff: 2.1101 90.35 c Restart #0 #Var: 1150 LB: -1150 @ 90.29 90.64 c Sol. found (all assignments made)... 90.64 c Sol. found (all assignments made)... 90.64 c Sol. found (all assignments made)... 90.64 c Sol. found (all assignments made)... 90.64 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.65 c Sol. found (all assignments made)... 90.66 c Sol. found (all assignments made)... 90.81 c Restart #1 #Var: 1150 LB: -582 @ 90.743 91.05 c Sol. found (all assignments made)... 91.05 c Sol. found (all assignments made)... 91.05 o -37 91.05 c NEW SOLUTION FOUND: -37 @ 90.989 91.06 c Sol. found (all assignments made)... 91.06 c Sol. found (all assignments made)... 91.32 c Restart #2 #Var: 1150 LB: -1150 @ 91.257 91.96 c Restart #3 #Var: 1150 LB: -580 @ 91.892 92.25 c Sol. found (all assignments made)... 92.26 c Sol. found (all assignments made)... 92.27 c Sol. found (all assignments made)... 92.67 c Restart #4 #Var: 1150 LB: -1150 @ 92.605 93.52 c Restart #5 #Var: 1150 LB: -580 @ 93.456 93.82 c Sol. found (all assignments made)... 93.82 o -38 93.82 c NEW SOLUTION FOUND: -38 @ 93.754 93.82 c Sol. found (all assignments made)... 94.48 c Restart #6 #Var: 1150 LB: -1150 @ 94.41 95.51 c Restart #7 #Var: 1150 LB: -581 @ 95.44 96.69 c Restart #8 #Var: 1150 LB: -580 @ 96.628 97.08 c Sol. found (all assignments made)... 97.08 o -39 97.08 c NEW SOLUTION FOUND: -39 @ 97.019 97.09 c Sol. found (all assignments made)... 97.09 c Sol. found (all assignments made)... 97.09 o -40 97.09 c NEW SOLUTION FOUND: -40 @ 97.025 97.09 c Sol. found (all assignments made)... 98.06 c Restart #9 #Var: 1150 LB: -1150 @ 97.99 99.36 c Restart #10 #Var: 1150 LB: -1150 @ 99.296 100.80 c Restart #11 #Var: 1150 LB: -1150 @ 100.73 102.30 c Restart #12 #Var: 1150 LB: -1150 @ 102.23 103.91 c Restart #13 #Var: 1150 LB: -1150 @ 103.84 105.57 c Restart #14 #Var: 1150 LB: -1150 @ 105.5 107.44 c Restart #15 #Var: 1150 LB: -580 @ 107.38 109.38 c Restart #16 #Var: 1150 LB: -1150 @ 109.32 111.41 c Restart #17 #Var: 1150 LB: -1150 @ 111.34 113.61 c Restart #18 #Var: 1150 LB: -1150 @ 113.54 115.89 c Restart #19 #Var: 1150 LB: -1150 @ 115.82 118.18 c Restart #20 #Var: 1150 LB: -1150 @ 118.11 120.59 c Restart #21 #Var: 1150 LB: -1150 @ 120.52 123.24 c Restart #22 #Var: 1150 LB: -580 @ 123.16 125.88 c Restart #23 #Var: 1150 LB: -1150 @ 125.81 128.69 c Restart #24 #Var: 1150 LB: -1150 @ 128.61 131.48 c Restart #25 #Var: 1150 LB: -1150 @ 131.41 134.40 c Restart #26 #Var: 1150 LB: -1150 @ 134.32 137.49 c Restart #27 #Var: 1150 LB: -1150 @ 137.41 140.61 c Restart #28 #Var: 1150 LB: -1150 @ 140.53 143.78 c Restart #29 #Var: 1150 LB: -1150 @ 143.7 147.07 c Restart #30 #Var: 1150 LB: -1150 @ 146.99 150.48 c Restart #31 #Var: 1150 LB: -1150 @ 150.4 154.10 c Restart #32 #Var: 1150 LB: -1150 @ 154.02 157.74 c Restart #33 #Var: 1150 LB: -1150 @ 157.66 161.64 c Restart #34 #Var: 1150 LB: -1150 @ 161.56 165.42 c Restart #35 #Var: 1150 LB: -1150 @ 165.34 169.31 c Restart #36 #Var: 1150 LB: -1150 @ 169.22 173.36 c Restart #37 #Var: 1150 LB: -1150 @ 173.28 177.50 c Restart #38 #Var: 1150 LB: -1150 @ 177.42 181.86 c Restart #39 #Var: 1150 LB: -579 @ 181.77 186.18 c Restart #40 #Var: 1150 LB: -1150 @ 186.09 190.56 c Restart #41 #Var: 1150 LB: -1150 @ 190.47 195.18 c Restart #42 #Var: 1150 LB: -1150 @ 195.09 199.81 c Restart #43 #Var: 1150 LB: -1150 @ 199.72 204.76 c Restart #44 #Var: 1150 LB: -1150 @ 204.66 209.72 c Restart #45 #Var: 1150 LB: -1150 @ 209.63 214.78 c Restart #46 #Var: 1150 LB: -1150 @ 214.69 219.84 c Restart #47 #Var: 1150 LB: -1150 @ 219.75 221.94 c Sol. found (all assignments made)... 222.00 c Sol. found (all assignments made)... 222.00 c Sol. found (all assignments made)... 222.00 c Sol. found (all assignments made)... 222.00 c Sol. found (all assignments made)... 222.02 c Sol. found (all assignments made)... 222.02 c Sol. found (all assignments made)... 222.02 c Sol. found (all assignments made)... 222.03 c Sol. found (all assignments made)... 222.03 c Sol. found (all assignments made)... 222.03 c Sol. found (all assignments made)... 222.04 c Sol. found (all assignments made)... 222.05 c Sol. found (all assignments made)... 222.05 c Sol. found (all assignments made)... 222.05 c Sol. found (all assignments made)... 222.06 c Sol. found (all assignments made)... 222.06 c Sol. found (all assignments made)... 222.06 c Sol. found (all assignments made)... 222.07 c Sol. found (all assignments made)... 222.07 c Sol. found (all assignments made)... 222.07 c Sol. found (all assignments made)... 222.09 c Sol. found (all assignments made)... 222.09 c Sol. found (all assignments made)... 222.11 c Sol. found (all assignments made)... 222.11 c Sol. found (all assignments made)... 222.12 c Sol. found (all assignments made)... 222.12 c Sol. found (all assignments made)... 222.13 c Sol. found (all assignments made)... 222.13 c Sol. found (all assignments made)... 222.14 c Sol. found (all assignments made)... 222.14 c Sol. found (all assignments made)... 222.15 c Sol. found (all assignments made)... 222.17 c Sol. found (all assignments made)... 222.17 c Sol. found (all assignments made)... 222.17 c Sol. found (all assignments made)... 222.17 c Sol. found (all assignments made)... 222.18 c Sol. found (all assignments made)... 222.19 c Sol. found (all assignments made)... 222.29 c Sol. found (all assignments made)... 222.29 c Sol. found (all assignments made)... 222.32 c Sol. found (all assignments made)... 222.35 c Sol. found (all assignments made)... 222.36 c Sol. found (all assignments made)... 222.38 c Sol. found (all assignments made)... 222.39 c Sol. found (all assignments made)... 222.41 c Sol. found (all assignments made)... 222.41 c Sol. found (all assignments made)... 222.41 c Sol. found (all assignments made)... 222.42 c Sol. found (all assignments made)... 222.51 c Sol. found (all assignments made)... 222.51 c Sol. found (all assignments made)... 222.56 c Sol. found (all assignments made)... 222.56 c Sol. found (all assignments made)... 222.56 c Sol. found (all assignments made)... 222.57 c Sol. found (all assignments made)... 222.60 c Sol. found (all assignments made)... 222.60 c Sol. found (all assignments made)... 222.61 c Sol. found (all assignments made)... 222.61 c Sol. found (all assignments made)... 222.62 c Sol. found (all assignments made)... 222.62 c Sol. found (all assignments made)... 222.62 c Sol. found (all assignments made)... 222.62 c Sol. found (all assignments made)... 222.64 c Sol. found (all assignments made)... 222.64 c Sol. found (all assignments made)... 222.65 c Sol. found (all assignments made)... 222.65 c Sol. found (all assignments made)... 222.68 c Sol. found (all assignments made)... 222.68 c Sol. found (all assignments made)... 222.68 c Sol. found (all assignments made)... 222.68 c Sol. found (all assignments made)... 222.69 c Sol. found (all assignments made)... 222.69 c Sol. found (all assignments made)... 222.69 c Sol. found (all assignments made)... 222.70 c Sol. found (all assignments made)... 222.71 c Sol. found (all assignments made)... 222.71 c Sol. found (all assignments made)... 222.72 c Sol. found (all assignments made)... 222.72 c Sol. found (all assignments made)... 222.72 c Sol. found (all assignments made)... 222.72 c Sol. found (all assignments made)... 222.73 c Sol. found (all assignments made)... 222.73 c Sol. found (all assignments made)... 222.90 c Sol. found (all assignments made)... 222.90 c Sol. found (all assignments made)... 222.93 c Sol. found (all assignments made)... 222.94 c Sol. found (all assignments made)... 222.95 c Sol. found (all assignments made)... 223.26 c Sol. found (all assignments made)... 225.00 c Restart #48 #Var: 1150 LB: -579 @ 224.91 230.34 c Restart #49 #Var: 1150 LB: -1150 @ 230.24 235.71 c Restart #50 #Var: 1150 LB: -1150 @ 235.61 236.20 c Sol. found (all assignments made)... 236.20 c Sol. found (all assignments made)... 236.21 c Sol. found (all assignments made)... 236.27 c Sol. found (all assignments made)... 236.27 c Sol. found (all assignments made)... 236.35 c Sol. found (all assignments made)... 236.37 c Sol. found (all assignments made)... 236.37 c Sol. found (all assignments made)... 236.37 c Sol. found (all assignments made)... 236.42 c Sol. found (all assignments made)... 236.42 c Sol. found (all assignments made)... 236.42 c Sol. found (all assignments made)... 236.42 c Sol. found (all assignments made)... 236.43 c Sol. found (all assignments made)... 236.43 c Sol. found (all assignments made)... 236.43 c Sol. found (all assignments made)... 236.43 c Sol. found (all assignments made)... 236.43 c Sol. found (all assignments made)... 236.43 c Sol. found (all assignments made)... 236.44 c Sol. found (all assignments made)... 236.44 c Sol. found (all assignments made)... 236.45 c Sol. found (all assignments made)... 236.45 c Sol. found (all assignments made)... 236.45 c Sol. found (all assignments made)... 236.46 c Sol. found (all assignments made)... 236.46 c Sol. found (all assignments made)... 236.46 c Sol. found (all assignments made)... 236.52 c Sol. found (all assignments made)... 236.52 c Sol. found (all assignments made)... 236.54 c Sol. found (all assignments made)... 236.54 c Sol. found (all assignments made)... 236.54 c Sol. found (all assignments made)... 236.54 c Sol. found (all assignments made)... 236.55 c Sol. found (all assignments made)... 236.55 c Sol. found (all assignments made)... 236.55 c Sol. found (all assignments made)... 236.56 c Sol. found (all assignments made)... 236.56 c Sol. found (all assignments made)... 236.56 c Sol. found (all assignments made)... 236.56 c Sol. found (all assignments made)... 236.56 c Sol. found (all assignments made)... 236.56 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.57 c Sol. found (all assignments made)... 236.58 c Sol. found (all assignments made)... 236.58 c Sol. found (all assignments made)... 236.59 c Sol. found (all assignments made)... 236.59 c Sol. found (all assignments made)... 236.61 c Sol. found (all assignments made)... 236.61 c Sol. found (all assignments made)... 236.61 c Sol. found (all assignments made)... 236.61 c Sol. found (all assignments made)... 236.61 c Sol. found (all assignments made)... 236.61 c Sol. found (all assignments made)... 236.62 c Sol. found (all assignments made)... 236.62 c Sol. found (all assignments made)... 236.62 c Sol. found (all assignments made)... 236.63 c Sol. found (all assignments made)... 236.63 c Sol. found (all assignments made)... 236.64 c Sol. found (all assignments made)... 236.64 c Sol. found (all assignments made)... 236.64 c Sol. found (all assignments made)... 236.64 c Sol. found (all assignments made)... 236.64 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.65 c Sol. found (all assignments made)... 236.66 c Sol. found (all assignments made)... 236.66 c Sol. found (all assignments made)... 236.87 c Sol. found (all assignments made)... 236.87 c Sol. found (all assignments made)... 236.87 c Sol. found (all assignments made)... 236.87 c Sol. found (all assignments made)... 236.94 c Sol. found (all assignments made)... 236.94 c Sol. found (all assignments made)... 236.96 c Sol. found (all assignments made)... 236.96 c Sol. found (all assignments made)... 236.97 c Sol. found (all assignments made)... 236.97 c Sol. found (all assignments made)... 236.98 c Sol. found (all assignments made)... 236.98 c Sol. found (all assignments made)... 236.98 c Sol. found (all assignments made)... 236.99 c Sol. found (all assignments made)... 237.03 c Sol. found (all assignments made)... 237.04 c Sol. found (all assignments made)... 237.05 c Sol. found (all assignments made)... 237.09 c Sol. found (all assignments made)... 237.09 c Sol. found (all assignments made)... 237.10 c Sol. found (all assignments made)... 237.10 c Sol. found (all assignments made)... 237.10 c Sol. found (all assignments made)... 237.11 c Sol. found (all assignments made)... 237.16 c Sol. found (all assignments made)... 237.16 c Sol. found (all assignments made)... 237.17 c Sol. found (all assignments made)... 237.17 c Sol. found (all assignments made)... 237.18 c Sol. found (all assignments made)... 237.18 c Sol. found (all assignments made)... 237.18 c Sol. found (all assignments made)... 237.19 c Sol. found (all assignments made)... 237.20 c Sol. found (all assignments made)... 237.20 c Sol. found (all assignments made)... 237.21 c Sol. found (all assignments made)... 237.21 c Sol. found (all assignments made)... 237.21 c Sol. found (all assignments made)... 237.22 c Sol. found (all assignments made)... 237.22 c Sol. found (all assignments made)... 237.23 c Sol. found (all assignments made)... 237.23 c Sol. found (all assignments made)... 237.24 c Sol. found (all assignments made)... 237.24 c Sol. found (all assignments made)... 237.25 c Sol. found (all assignments made)... 237.28 c Sol. found (all assignments made)... 237.29 c Sol. found (all assignments made)... 237.31 c Sol. found (all assignments made)... 237.32 c Sol. found (all assignments made)... 237.32 c Sol. found (all assignments made)... 237.33 c Sol. found (all assignments made)... 237.36 c Sol. found (all assignments made)... 237.37 c Sol. found (all assignments made)... 237.38 c Sol. found (all assignments made)... 237.38 c Sol. found (all assignments made)... 237.41 c Sol. found (all assignments made)... 237.42 c Sol. found (all assignments made)... 237.42 c Sol. found (all assignments made)... 237.42 c Sol. found (all assignments made)... 237.88 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.89 c Sol. found (all assignments made)... 237.90 c Sol. found (all assignments made)... 237.91 c Sol. found (all assignments made)... 237.91 c Sol. found (all assignments made)... 237.92 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.93 c Sol. found (all assignments made)... 237.94 c Sol. found (all assignments made)... 237.94 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.95 c Sol. found (all assignments made)... 237.96 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.97 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.98 c Sol. found (all assignments made)... 237.99 c Sol. found (all assignments made)... 238.00 c Sol. found (all assignments made)... 238.00 c Sol. found (all assignments made)... 238.01 c Sol. found (all assignments made)... 238.01 c Sol. found (all assignments made)... 238.02 c Sol. found (all assignments made)... 238.02 c Sol. found (all assignments made)... 238.03 c Sol. found (all assignments made)... 238.08 c Sol. found (all assignments made)... 238.08 c Sol. found (all assignments made)... 238.09 c Sol. found (all assignments made)... 238.09 c Sol. found (all assignments made)... 238.10 c Sol. found (all assignments made)... 238.10 c Sol. found (all assignments made)... 238.14 c Sol. found (all assignments made)... 238.14 c Sol. found (all assignments made)... 238.14 c Sol. found (all assignments made)... 238.14 c Sol. found (all assignments made)... 238.14 c Sol. found (all assignments made)... 238.15 c Sol. found (all assignments made)... 238.15 c Sol. found (all assignments made)... 238.15 c Sol. found (all assignments made)... 238.15 c Sol. found (all assignments made)... 238.15 c Sol. found (all assignments made)... 238.16 c Sol. found (all assignments made)... 238.16 c Sol. found (all assignments made)... 238.16 c Sol. found (all assignments made)... 238.16 c Sol. found (all assignments made)... 238.16 c Sol. found (all assignments made)... 238.16 c Sol. found (all assignments made)... 238.17 c Sol. found (all assignments made)... 238.17 c Sol. found (all assignments made)... 238.17 c Sol. found (all assignments made)... 238.17 c Sol. found (all assignments made)... 238.18 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.19 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.20 c Sol. found (all assignments made)... 238.21 c Sol. found (all assignments made)... 238.21 c Sol. found (all assignments made)... 238.21 c Sol. found (all assignments made)... 238.22 c Sol. found (all assignments made)... 238.22 c Sol. found (all assignments made)... 238.23 c Sol. found (all assignments made)... 238.23 c Sol. found (all assignments made)... 238.24 c Sol. found (all assignments made)... 238.24 c Sol. found (all assignments made)... 238.24 c Sol. found (all assignments made)... 238.24 c Sol. found (all assignments made)... 238.24 c Sol. found (all assignments made)... 238.24 c Sol. found (all assignments made)... 238.25 c Sol. found (all assignments made)... 238.25 c Sol. found (all assignments made)... 238.25 c Sol. found (all assignments made)... 238.25 c Sol. found (all assignments made)... 238.25 c Sol. found (all assignments made)... 238.25 c Sol. found (all assignments made)... 238.26 c Sol. found (all assignments made)... 238.26 c Sol. found (all assignments made)... 238.26 c Sol. found (all assignments made)... 238.26 c Sol. found (all assignments made)... 238.27 c Sol. found (all assignments made)... 238.27 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.28 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.29 c Sol. found (all assignments made)... 238.30 c Sol. found (all assignments made)... 238.30 c Sol. found (all assignments made)... 238.30 c Sol. found (all assignments made)... 238.33 c Sol. found (all assignments made)... 238.34 c Sol. found (all assignments made)... 238.34 c Sol. found (all assignments made)... 238.34 c Sol. found (all assignments made)... 238.34 c Sol. found (all assignments made)... 238.35 c Sol. found (all assignments made)... 238.37 c Sol. found (all assignments made)... 238.37 c Sol. found (all assignments made)... 238.38 c Sol. found (all assignments made)... 238.38 c Sol. found (all assignments made)... 238.38 c Sol. found (all assignments made)... 238.38 c Sol. found (all assignments made)... 238.40 c Sol. found (all assignments made)... 238.40 c Sol. found (all assignments made)... 238.40 c Sol. found (all assignments made)... 238.41 c Sol. found (all assignments made)... 238.41 c Sol. found (all assignments made)... 238.41 c Sol. found (all assignments made)... 238.42 c Sol. found (all assignments made)... 238.43 c Sol. found (all assignments made)... 238.43 c Sol. found (all assignments made)... 238.43 c Sol. found (all assignments made)... 238.43 c Sol. found (all assignments made)... 238.44 c Sol. found (all assignments made)... 241.18 c Restart #51 #Var: 1150 LB: -1150 @ 241.07 246.78 c Restart #52 #Var: 1150 LB: -1150 @ 246.68 252.41 c Restart #53 #Var: 1150 LB: -1150 @ 252.3 258.30 c Restart #54 #Var: 1150 LB: -1150 @ 258.2 264.24 c Restart #55 #Var: 1150 LB: -1150 @ 264.13 270.22 c Restart #56 #Var: 1150 LB: -1150 @ 270.11 276.35 c Restart #57 #Var: 1150 LB: -1150 @ 276.24 278.49 c Sol. found (all assignments made)... 282.53 c Restart #58 #Var: 1150 LB: -1150 @ 282.42 288.85 c Restart #59 #Var: 1150 LB: -1150 @ 288.73 295.16 c Restart #60 #Var: 1150 LB: -1150 @ 295.04 301.78 c Restart #61 #Var: 1150 LB: -1150 @ 301.66 308.32 c Restart #62 #Var: 1150 LB: -1150 @ 308.2 315.13 c Restart #63 #Var: 1150 LB: -1150 @ 315.01 322.00 c Restart #64 #Var: 1150 LB: -1150 @ 321.88 328.94 c Restart #65 #Var: 1150 LB: -1150 @ 328.82 335.99 c Restart #66 #Var: 1150 LB: -1150 @ 335.87 343.05 c Restart #67 #Var: 1150 LB: -1150 @ 342.92 350.11 c Restart #68 #Var: 1150 LB: -1150 @ 349.99 357.10 c Sol. found (all assignments made)... 357.12 c Sol. found (all assignments made)... 357.33 c Restart #69 #Var: 1150 LB: -1150 @ 357.2 364.80 c Restart #70 #Var: 1150 LB: -1150 @ 364.67 372.32 c Restart #71 #Var: 1150 LB: -1150 @ 372.19 380.06 c Restart #72 #Var: 1150 LB: -1150 @ 379.92 387.74 c Restart #73 #Var: 1150 LB: -1150 @ 387.6 395.66 c Restart #74 #Var: 1150 LB: -1150 @ 395.52 403.53 c Restart #75 #Var: 1150 LB: -1150 @ 403.39 411.49 c Restart #76 #Var: 1150 LB: -1150 @ 411.34 419.78 c Restart #77 #Var: 1150 LB: -1150 @ 419.63 428.11 c Restart #78 #Var: 1150 LB: -1150 @ 427.97 436.37 c Restart #79 #Var: 1150 LB: -1150 @ 436.22 444.69 c Restart #80 #Var: 1150 LB: -1150 @ 444.54 453.41 c Restart #81 #Var: 1150 LB: -1150 @ 453.25 462.08 c Restart #82 #Var: 1150 LB: -1150 @ 461.92 470.63 c Restart #83 #Var: 1150 LB: -1150 @ 470.47 470.93 c Sol. found (all assignments made)... 471.01 c Sol. found (all assignments made)... 471.09 c Sol. found (all assignments made)... 471.11 c Sol. found (all assignments made)... 471.11 c Sol. found (all assignments made)... 471.23 c Sol. found (all assignments made)... 471.23 c Sol. found (all assignments made)... 479.30 c Restart #84 #Var: 1150 LB: -1150 @ 479.14 488.32 c Restart #85 #Var: 1150 LB: -1150 @ 488.16 497.27 c Restart #86 #Var: 1150 LB: -1150 @ 497.1 506.25 c Restart #87 #Var: 1150 LB: -1150 @ 506.08 515.47 c Restart #88 #Var: 1150 LB: -1150 @ 515.3 515.75 c Sol. found (all assignments made)... 516.37 c Sol. found (all assignments made)... 524.96 c Restart #89 #Var: 1150 LB: -1150 @ 524.79 534.43 c Restart #90 #Var: 1150 LB: -1150 @ 534.26 544.04 c Restart #91 #Var: 1150 LB: -1150 @ 543.86 553.70 c Restart #92 #Var: 1150 LB: -1150 @ 553.52 563.60 c Restart #93 #Var: 1150 LB: -1150 @ 563.41 573.40 c Restart #94 #Var: 1150 LB: -1150 @ 573.21 578.21 c Sol. found (all assignments made)... 578.21 c Sol. found (all assignments made)... 578.35 c Sol. found (all assignments made)... 580.07 c Sol. found (all assignments made)... 580.56 c Sol. found (all assignments made)... 581.10 c Sol. found (all assignments made)... 581.11 c Sol. found (all assignments made)... 581.19 c Sol. found (all assignments made)... 581.22 c Sol. found (all assignments made)... 581.24 c Sol. found (all assignments made)... 581.58 c Sol. found (all assignments made)... 582.00 c Sol. found (all assignments made)... 582.17 c Sol. found (all assignments made)... 582.17 c Sol. found (all assignments made)... 582.21 c Sol. found (all assignments made)... 582.21 c Sol. found (all assignments made)... 582.22 c Sol. found (all assignments made)... 582.31 c Sol. found (all assignments made)... 582.31 c Sol. found (all assignments made)... 582.37 c Sol. found (all assignments made)... 582.38 c Sol. found (all assignments made)... 582.38 c Sol. found (all assignments made)... 583.18 c Restart #95 #Var: 1150 LB: -1150 @ 582.99 593.26 c Restart #96 #Var: 1150 LB: -1150 @ 593.07 603.46 c Restart #97 #Var: 1150 LB: -580 @ 603.27 613.95 c Restart #98 #Var: 1150 LB: -1150 @ 613.75 624.18 c Restart #99 #Var: 1150 LB: -1150 @ 623.98 634.62 c Restart #100 #Var: 1150 LB: -1150 @ 634.42 645.17 c Restart #101 #Var: 1150 LB: -1150 @ 644.97 655.96 c Restart #102 #Var: 1150 LB: -1150 @ 655.76 667.00 c Restart #103 #Var: 1150 LB: -1150 @ 666.8 677.83 c Restart #104 #Var: 1150 LB: -1150 @ 677.62 688.68 c Restart #105 #Var: 1150 LB: -1150 @ 688.46 699.82 c Restart #106 #Var: 1150 LB: -1150 @ 699.6 711.41 c Restart #107 #Var: 1150 LB: -1150 @ 711.19 722.73 c Restart #108 #Var: 1150 LB: -1150 @ 722.51 727.40 c Sol. found (all assignments made)... 727.42 c Sol. found (all assignments made)... 727.49 c Sol. found (all assignments made)... 727.49 c Sol. found (all assignments made)... 727.54 c Sol. found (all assignments made)... 727.54 c Sol. found (all assignments made)... 727.54 c Sol. found (all assignments made)... 727.54 c Sol. found (all assignments made)... 727.55 c Sol. found (all assignments made)... 727.56 c Sol. found (all assignments made)... 727.57 c Sol. found (all assignments made)... 727.57 c Sol. found (all assignments made)... 727.57 c Sol. found (all assignments made)... 727.58 c Sol. found (all assignments made)... 727.58 c Sol. found (all assignments made)... 727.59 c Sol. found (all assignments made)... 727.67 c Sol. found (all assignments made)... 727.67 c Sol. found (all assignments made)... 727.68 c Sol. found (all assignments made)... 727.68 c Sol. found (all assignments made)... 727.69 c Sol. found (all assignments made)... 727.69 c Sol. found (all assignments made)... 727.70 c Sol. found (all assignments made)... 727.71 c Sol. found (all assignments made)... 727.71 c Sol. found (all assignments made)... 727.71 c Sol. found (all assignments made)... 727.77 c Sol. found (all assignments made)... 727.77 c Sol. found (all assignments made)... 727.78 c Sol. found (all assignments made)... 727.78 c Sol. found (all assignments made)... 727.78 c Sol. found (all assignments made)... 727.78 c Sol. found (all assignments made)... 727.80 c Sol. found (all assignments made)... 727.80 c Sol. found (all assignments made)... 727.81 c Sol. found (all assignments made)... 727.81 c Sol. found (all assignments made)... 727.82 c Sol. found (all assignments made)... 727.82 c Sol. found (all assignments made)... 728.34 c Sol. found (all assignments made)... 728.40 c Sol. found (all assignments made)... 728.43 c Sol. found (all assignments made)... 728.43 o -41 728.43 c NEW SOLUTION FOUND: -41 @ 728.21 728.43 c Sol. found (all assignments made)... 729.07 c Sol. found (all assignments made)... 729.07 c Sol. found (all assignments made)... 737.66 c Sol. found (all assignments made)... 737.67 c Sol. found (all assignments made)... 737.68 c Sol. found (all assignments made)... 737.68 c Sol. found (all assignments made)... 737.68 c Sol. found (all assignments made)... 737.69 c Sol. found (all assignments made)... 737.69 c Sol. found (all assignments made)... 739.45 c Sol. found (all assignments made)... 739.45 c Sol. found (all assignments made)... 739.46 c Sol. found (all assignments made)... 739.46 c Sol. found (all assignments made)... 739.55 c Restart #109 #Var: 1150 LB: -1150 @ 739.32 751.11 c Restart #110 #Var: 1150 LB: -1150 @ 750.88 762.71 c Restart #111 #Var: 1150 LB: -1150 @ 762.48 774.61 c Restart #112 #Var: 1150 LB: -1150 @ 774.38 786.77 c Restart #113 #Var: 1150 LB: -1150 @ 786.54 794.00 c Sol. found (all assignments made)... 794.00 c Sol. found (all assignments made)... 794.01 c Sol. found (all assignments made)... 794.01 c Sol. found (all assignments made)... 794.01 c Sol. found (all assignments made)... 794.02 c Sol. found (all assignments made)... 794.02 c Sol. found (all assignments made)... 794.02 c Sol. found (all assignments made)... 794.02 c Sol. found (all assignments made)... 794.02 c Sol. found (all assignments made)... 794.02 c Sol. found (all assignments made)... 794.03 c Sol. found (all assignments made)... 794.03 c Sol. found (all assignments made)... 794.04 c Sol. found (all assignments made)... 794.04 c Sol. found (all assignments made)... 794.04 c Sol. found (all assignments made)... 794.04 c Sol. found (all assignments made)... 794.04 c Sol. found (all assignments made)... 794.05 c Sol. found (all assignments made)... 794.05 c Sol. found (all assignments made)... 794.05 c Sol. found (all assignments made)... 794.05 c Sol. found (all assignments made)... 794.05 c Sol. found (all assignments made)... 794.05 c Sol. found (all assignments made)... 794.06 c Sol. found (all assignments made)... 794.06 c Sol. found (all assignments made)... 794.06 c Sol. found (all assignments made)... 794.06 c Sol. found (all assignments made)... 794.07 c Sol. found (all assignments made)... 794.07 c Sol. found (all assignments made)... 794.07 c Sol. found (all assignments made)... 794.11 c Sol. found (all assignments made)... 794.12 c Sol. found (all assignments made)... 794.12 c Sol. found (all assignments made)... 794.13 c Sol. found (all assignments made)... 794.13 c Sol. found (all assignments made)... 794.14 c Sol. found (all assignments made)... 794.14 c Sol. found (all assignments made)... 794.14 c Sol. found (all assignments made)... 794.14 c Sol. found (all assignments made)... 794.15 c Sol. found (all assignments made)... 794.15 c Sol. found (all assignments made)... 794.15 c Sol. found (all assignments made)... 794.16 c Sol. found (all assignments made)... 794.16 c Sol. found (all assignments made)... 794.16 c Sol. found (all assignments made)... 794.28 c Sol. found (all assignments made)... 794.28 c Sol. found (all assignments made)... 794.28 c Sol. found (all assignments made)... 794.28 c Sol. found (all assignments made)... 794.29 c Sol. found (all assignments made)... 794.30 c Sol. found (all assignments made)... 794.30 c Sol. found (all assignments made)... 794.31 c Sol. found (all assignments made)... 794.31 c Sol. found (all assignments made)... 794.31 c Sol. found (all assignments made)... 794.31 c Sol. found (all assignments made)... 794.32 c Sol. found (all assignments made)... 794.32 c Sol. found (all assignments made)... 794.32 c Sol. found (all assignments made)... 795.05 c Sol. found (all assignments made)... 795.34 c Sol. found (all assignments made)... 795.37 c Sol. found (all assignments made)... 795.38 c Sol. found (all assignments made)... 795.39 c Sol. found (all assignments made)... 795.41 c Sol. found (all assignments made)... 795.42 c Sol. found (all assignments made)... 795.51 c Sol. found (all assignments made)... 797.18 c Sol. found (all assignments made)... 797.20 c Sol. found (all assignments made)... 798.32 c Sol. found (all assignments made)... 798.47 c Restart #114 #Var: 1150 LB: -1150 @ 798.23 811.23 c Restart #115 #Var: 1150 LB: -580 @ 810.98 823.66 c Restart #116 #Var: 1150 LB: -1150 @ 823.42 835.82 c Restart #117 #Var: 1150 LB: -1150 @ 835.57 848.30 c Restart #118 #Var: 1150 LB: -1150 @ 848.05 860.57 c Restart #119 #Var: 1150 LB: -1150 @ 860.32 873.31 c Restart #120 #Var: 1150 LB: -1150 @ 873.05 886.08 c Restart #121 #Var: 1150 LB: -1150 @ 885.82 898.99 c Restart #122 #Var: 1150 LB: -1150 @ 898.73 911.71 c Restart #123 #Var: 1150 LB: -1150 @ 911.44 924.87 c Restart #124 #Var: 1150 LB: -1150 @ 924.6 938.04 c Restart #125 #Var: 1150 LB: -1150 @ 937.77 951.28 c Restart #126 #Var: 1150 LB: -1150 @ 951 964.81 c Restart #127 #Var: 1150 LB: -1150 @ 964.53 978.50 c Restart #128 #Var: 1150 LB: -1150 @ 978.22 991.93 c Restart #129 #Var: 1150 LB: -1150 @ 991.64 1005.39 c Restart #130 #Var: 1150 LB: -1150 @ 1005.1 1019.16 c Restart #131 #Var: 1150 LB: -1150 @ 1018.9 1032.89 c Restart #132 #Var: 1150 LB: -1150 @ 1032.6 1046.52 c Restart #133 #Var: 1150 LB: -1150 @ 1046.2 1060.75 c Restart #134 #Var: 1150 LB: -1150 @ 1060.4 1074.87 c Restart #135 #Var: 1150 LB: -1150 @ 1074.6 1089.09 c Restart #136 #Var: 1150 LB: -580 @ 1088.8 1103.46 c Restart #137 #Var: 1150 LB: -1150 @ 1103.1 1117.93 c Restart #138 #Var: 1150 LB: -1150 @ 1117.6 1132.34 c Restart #139 #Var: 1150 LB: -1150 @ 1132 1146.77 c Restart #140 #Var: 1150 LB: -1150 @ 1146.4 1161.67 c Restart #141 #Var: 1150 LB: -1150 @ 1161.3 1176.79 c Restart #142 #Var: 1150 LB: -1150 @ 1176.5 1192.12 c Restart #143 #Var: 1150 LB: -1150 @ 1191.8 1206.83 c Restart #144 #Var: 1150 LB: -1150 @ 1206.5 1222.01 c Restart #145 #Var: 1150 LB: -1150 @ 1221.7 1236.96 c Restart #146 #Var: 1150 LB: -1150 @ 1236.6 1252.12 c Restart #147 #Var: 1150 LB: -1150 @ 1251.8 1267.68 c Restart #148 #Var: 1150 LB: -1150 @ 1267.3 1283.21 c Restart #149 #Var: 1150 LB: -1150 @ 1282.8 1298.92 c Restart #150 #Var: 1150 LB: -1150 @ 1298.6 1314.23 c Restart #151 #Var: 1150 LB: -1150 @ 1313.9 1330.24 c Restart #152 #Var: 1150 LB: -1150 @ 1329.9 1346.51 c Restart #153 #Var: 1150 LB: -1150 @ 1346.1 1362.66 c Restart #154 #Var: 1150 LB: -1150 @ 1362.3 1378.87 c Restart #155 #Var: 1150 LB: -1150 @ 1378.5 1395.51 c Restart #156 #Var: 1150 LB: -1150 @ 1395.1 1412.43 c Restart #157 #Var: 1150 LB: -1150 @ 1412 1428.89 c Restart #158 #Var: 1150 LB: -1150 @ 1428.5 1430.66 c Sol. found (all assignments made)... 1430.66 c Sol. found (all assignments made)... 1430.66 c Sol. found (all assignments made)... 1430.66 c Sol. found (all assignments made)... 1430.67 c Sol. found (all assignments made)... 1430.67 c Sol. found (all assignments made)... 1430.67 c Sol. found (all assignments made)... 1430.68 c Sol. found (all assignments made)... 1430.68 c Sol. found (all assignments made)... 1430.68 c Sol. found (all assignments made)... 1431.19 c Sol. found (all assignments made)... 1431.19 c Sol. found (all assignments made)... 1431.20 c Sol. found (all assignments made)... 1431.21 c Sol. found (all assignments made)... 1431.29 c Sol. found (all assignments made)... 1431.30 c Sol. found (all assignments made)... 1431.30 c Sol. found (all assignments made)... 1431.31 c Sol. found (all assignments made)... 1431.33 c Sol. found (all assignments made)... 1431.33 c Sol. found (all assignments made)... 1431.34 c Sol. found (all assignments made)... 1431.34 c Sol. found (all assignments made)... 1433.48 c Sol. found (all assignments made)... 1433.48 c Sol. found (all assignments made)... 1433.48 c Sol. found (all assignments made)... 1433.50 c Sol. found (all assignments made)... 1433.50 c Sol. found (all assignments made)... 1433.50 c Sol. found (all assignments made)... 1433.51 c Sol. found (all assignments made)... 1433.51 c Sol. found (all assignments made)... 1433.51 c Sol. found (all assignments made)... 1433.51 c Sol. found (all assignments made)... 1433.52 c Sol. found (all assignments made)... 1433.52 c Sol. found (all assignments made)... 1433.72 c Sol. found (all assignments made)... 1434.26 c Sol. found (all assignments made)... 1434.26 c Sol. found (all assignments made)... 1434.26 c Sol. found (all assignments made)... 1434.27 c Sol. found (all assignments made)... 1434.27 c Sol. found (all assignments made)... 1434.30 c Sol. found (all assignments made)... 1434.30 c Sol. found (all assignments made)... 1434.30 c Sol. found (all assignments made)... 1434.30 c Sol. found (all assignments made)... 1434.30 c Sol. found (all assignments made)... 1434.30 c Sol. found (all assignments made)... 1434.31 c Sol. found (all assignments made)... 1434.31 c Sol. found (all assignments made)... 1434.31 c Sol. found (all assignments made)... 1434.31 c Sol. found (all assignments made)... 1434.31 c Sol. found (all assignments made)... 1434.31 c Sol. found (all assignments made)... 1434.32 c Sol. found (all assignments made)... 1434.32 c Sol. found (all assignments made)... 1434.32 c Sol. found (all assignments made)... 1434.32 c Sol. found (all assignments made)... 1434.32 c Sol. found (all assignments made)... 1434.32 c Sol. found (all assignments made)... 1434.33 c Sol. found (all assignments made)... 1434.33 c Sol. found (all assignments made)... 1434.35 c Sol. found (all assignments made)... 1434.36 c Sol. found (all assignments made)... 1434.36 c Sol. found (all assignments made)... 1434.36 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1436.76 c Sol. found (all assignments made)... 1436.76 c Sol. found (all assignments made)... 1436.77 c Sol. found (all assignments made)... 1436.77 c Sol. found (all assignments made)... 1436.99 c Sol. found (all assignments made)... 1436.99 c Sol. found (all assignments made)... 1436.99 c Sol. found (all assignments made)... 1437.00 c Sol. found (all assignments made)... 1437.00 c Sol. found (all assignments made)... 1437.00 c Sol. found (all assignments made)... 1437.00 c Sol. found (all assignments made)... 1437.00 c Sol. found (all assignments made)... 1437.01 c Sol. found (all assignments made)... 1437.24 c Sol. found (all assignments made)... 1437.24 c Sol. found (all assignments made)... 1437.24 c Sol. found (all assignments made)... 1437.24 c Sol. found (all assignments made)... 1437.25 c Sol. found (all assignments made)... 1437.27 c Sol. found (all assignments made)... 1437.27 c Sol. found (all assignments made)... 1437.27 c Sol. found (all assignments made)... 1437.27 c Sol. found (all assignments made)... 1437.28 c Sol. found (all assignments made)... 1437.29 c Sol. found (all assignments made)... 1437.29 c Sol. found (all assignments made)... 1437.29 c Sol. found (all assignments made)... 1437.29 c Sol. found (all assignments made)... 1437.29 c Sol. found (all assignments made)... 1437.53 c Sol. found (all assignments made)... 1437.55 c Sol. found (all assignments made)... 1437.57 c Sol. found (all assignments made)... 1437.59 c Sol. found (all assignments made)... 1437.61 c Sol. found (all assignments made)... 1437.64 c Sol. found (all assignments made)... 1437.64 c Sol. found (all assignments made)... 1437.64 c Sol. found (all assignments made)... 1437.88 c Sol. found (all assignments made)... 1437.91 c Sol. found (all assignments made)... 1437.91 c Sol. found (all assignments made)... 1437.92 c Sol. found (all assignments made)... 1437.92 c Sol. found (all assignments made)... 1437.93 c Sol. found (all assignments made)... 1437.93 c Sol. found (all assignments made)... 1437.93 c Sol. found (all assignments made)... 1437.93 c Sol. found (all assignments made)... 1437.96 c Sol. found (all assignments made)... 1437.96 c Sol. found (all assignments made)... 1437.97 c Sol. found (all assignments made)... 1437.98 c Sol. found (all assignments made)... 1437.98 c Sol. found (all assignments made)... 1438.03 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.04 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.05 c Sol. found (all assignments made)... 1438.09 c Sol. found (all assignments made)... 1438.09 c Sol. found (all assignments made)... 1438.09 c Sol. found (all assignments made)... 1438.09 c Sol. found (all assignments made)... 1438.09 c Sol. found (all assignments made)... 1438.10 c Sol. found (all assignments made)... 1438.10 c Sol. found (all assignments made)... 1438.10 c Sol. found (all assignments made)... 1438.10 c Sol. found (all assignments made)... 1438.10 c Sol. found (all assignments made)... 1438.10 c Sol. found (all assignments made)... 1438.11 c Sol. found (all assignments made)... 1438.11 c Sol. found (all assignments made)... 1438.11 c Sol. found (all assignments made)... 1438.11 c Sol. found (all assignments made)... 1438.11 c Sol. found (all assignments made)... 1438.11 c Sol. found (all assignments made)... 1438.12 c Sol. found (all assignments made)... 1438.12 c Sol. found (all assignments made)... 1438.12 c Sol. found (all assignments made)... 1438.13 c Sol. found (all assignments made)... 1438.13 c Sol. found (all assignments made)... 1438.13 c Sol. found (all assignments made)... 1438.14 c Sol. found (all assignments made)... 1438.14 c Sol. found (all assignments made)... 1438.15 c Sol. found (all assignments made)... 1438.15 c Sol. found (all assignments made)... 1438.15 c Sol. found (all assignments made)... 1438.15 c Sol. found (all assignments made)... 1438.16 c Sol. found (all assignments made)... 1438.16 c Sol. found (all assignments made)... 1438.17 c Sol. found (all assignments made)... 1438.17 c Sol. found (all assignments made)... 1438.17 c Sol. found (all assignments made)... 1438.18 c Sol. found (all assignments made)... 1438.19 c Sol. found (all assignments made)... 1438.19 c Sol. found (all assignments made)... 1438.19 c Sol. found (all assignments made)... 1438.19 c Sol. found (all assignments made)... 1438.20 c Sol. found (all assignments made)... 1438.20 c Sol. found (all assignments made)... 1438.20 c Sol. found (all assignments made)... 1438.21 c Sol. found (all assignments made)... 1438.21 c Sol. found (all assignments made)... 1438.21 c Sol. found (all assignments made)... 1438.22 c Sol. found (all assignments made)... 1438.22 c Sol. found (all assignments made)... 1438.22 c Sol. found (all assignments made)... 1438.23 c Sol. found (all assignments made)... 1438.23 c Sol. found (all assignments made)... 1438.23 c Sol. found (all assignments made)... 1438.23 c Sol. found (all assignments made)... 1438.23 c Sol. found (all assignments made)... 1438.24 c Sol. found (all assignments made)... 1438.24 c Sol. found (all assignments made)... 1438.25 c Sol. found (all assignments made)... 1438.25 c Sol. found (all assignments made)... 1438.25 c Sol. found (all assignments made)... 1438.26 c Sol. found (all assignments made)... 1438.26 c Sol. found (all assignments made)... 1438.26 c Sol. found (all assignments made)... 1438.27 c Sol. found (all assignments made)... 1438.27 c Sol. found (all assignments made)... 1438.28 c Sol. found (all assignments made)... 1438.28 c Sol. found (all assignments made)... 1438.29 c Sol. found (all assignments made)... 1438.29 c Sol. found (all assignments made)... 1438.30 c Sol. found (all assignments made)... 1438.30 c Sol. found (all assignments made)... 1438.30 c Sol. found (all assignments made)... 1438.31 c Sol. found (all assignments made)... 1438.31 c Sol. found (all assignments made)... 1438.31 c Sol. found (all assignments made)... 1438.32 c Sol. found (all assignments made)... 1438.32 c Sol. found (all assignments made)... 1438.33 c Sol. found (all assignments made)... 1438.33 c Sol. found (all assignments made)... 1438.34 c Sol. found (all assignments made)... 1438.34 c Sol. found (all assignments made)... 1438.34 c Sol. found (all assignments made)... 1438.34 c Sol. found (all assignments made)... 1438.34 c Sol. found (all assignments made)... 1438.35 c Sol. found (all assignments made)... 1438.35 c Sol. found (all assignments made)... 1438.35 c Sol. found (all assignments made)... 1438.36 c Sol. found (all assignments made)... 1438.36 c Sol. found (all assignments made)... 1438.37 c Sol. found (all assignments made)... 1438.38 c Sol. found (all assignments made)... 1438.38 c Sol. found (all assignments made)... 1438.39 c Sol. found (all assignments made)... 1438.39 c Sol. found (all assignments made)... 1438.39 c Sol. found (all assignments made)... 1438.40 c Sol. found (all assignments made)... 1438.40 c Sol. found (all assignments made)... 1438.40 c Sol. found (all assignments made)... 1438.57 c Sol. found (all assignments made)... 1438.58 c Sol. found (all assignments made)... 1438.58 c Sol. found (all assignments made)... 1438.58 c Sol. found (all assignments made)... 1438.59 c Sol. found (all assignments made)... 1438.59 c Sol. found (all assignments made)... 1438.59 c Sol. found (all assignments made)... 1438.61 c Sol. found (all assignments made)... 1445.22 c Restart #159 #Var: 1150 LB: -1150 @ 1444.8 1462.26 c Restart #160 #Var: 1150 LB: -1150 @ 1461.9 1479.13 c Restart #161 #Var: 1150 LB: -1150 @ 1478.7 1496.09 c Restart #162 #Var: 1150 LB: -1150 @ 1495.7 1498.14 c Sol. found (all assignments made)... 1498.21 c Sol. found (all assignments made)... 1506.43 c Sol. found (all assignments made)... 1506.80 c Sol. found (all assignments made)... 1506.80 c Sol. found (all assignments made)... 1506.81 c Sol. found (all assignments made)... 1506.87 c Sol. found (all assignments made)... 1506.87 c Sol. found (all assignments made)... 1507.01 c Sol. found (all assignments made)... 1507.01 c Sol. found (all assignments made)... 1512.68 c Restart #163 #Var: 1150 LB: -1150 @ 1512.3 1529.63 c Restart #164 #Var: 1150 LB: -1150 @ 1529.2 1546.58 c Restart #165 #Var: 1150 LB: -1150 @ 1546.2 1563.60 c Restart #166 #Var: 1150 LB: -1150 @ 1563.2 1580.89 c Restart #167 #Var: 1150 LB: -1150 @ 1580.5 1598.46 c Restart #168 #Var: 1150 LB: -1150 @ 1598 1616.52 c Restart #169 #Var: 1150 LB: -1150 @ 1616.1 1634.47 c Restart #170 #Var: 1150 LB: -1150 @ 1634 1643.42 c Sol. found (all assignments made)... 1652.47 c Restart #171 #Var: 1150 LB: -1150 @ 1652 1670.25 c Restart #172 #Var: 1150 LB: -1150 @ 1669.8 1688.07 c Restart #173 #Var: 1150 LB: -1150 @ 1687.6 1703.91 c Sol. found (all assignments made)... 1703.91 c Sol. found (all assignments made)... 1703.91 c Sol. found (all assignments made)... 1703.92 c Sol. found (all assignments made)... 1703.92 c Sol. found (all assignments made)... 1703.93 c Sol. found (all assignments made)... 1703.93 c Sol. found (all assignments made)... 1703.93 c Sol. found (all assignments made)... 1703.94 c Sol. found (all assignments made)... 1703.94 c Sol. found (all assignments made)... 1703.95 c Sol. found (all assignments made)... 1703.95 c Sol. found (all assignments made)... 1703.96 c Sol. found (all assignments made)... 1703.96 c Sol. found (all assignments made)... 1703.96 c Sol. found (all assignments made)... 1703.96 c Sol. found (all assignments made)... 1703.97 c Sol. found (all assignments made)... 1703.97 c Sol. found (all assignments made)... 1703.97 c Sol. found (all assignments made)... 1703.98 c Sol. found (all assignments made)... 1704.97 c Restart #174 #Var: 1150 LB: -1150 @ 1704.4 1723.70 c Restart #175 #Var: 1150 LB: -1150 @ 1723.2 1742.30 c Restart #176 #Var: 1150 LB: -1150 @ 1741.8 1760.45 c Restart #177 #Var: 1150 LB: -1150 @ 1759.9 1779.08 c Restart #178 #Var: 1150 LB: -1150 @ 1778.5 1797.87 c Restart #179 #Var: 1150 LB: -1150 @ 1797.3 1800.57 s SATISFIABLE 1800.57 c Cost: -41 1800.57 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 1800.57 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1800.57 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1800.57 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1800.57 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.57 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1800.57 v -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1800.57 v -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1800.57 v -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 1800.57 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1800.57 v x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 1800.57 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 1800.57 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 1800.57 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 1800.57 v -x891 -x890 -x889 -x888 x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1800.57 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 1800.57 v x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 1800.57 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 x809 -x808 1800.57 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 1800.57 v x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1800.57 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1800.57 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 1800.57 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1800.57 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1800.57 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 1800.57 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1800.57 v -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1800.57 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1800.57 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1800.57 v x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1800.57 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 1800.57 v -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 1800.57 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 1800.57 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 -x472 1800.57 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1800.57 v -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1800.57 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 1800.57 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 1800.57 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1800.57 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1800.57 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 1800.57 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1800.57 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1800.57 v -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1800.57 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1800.57 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1800.57 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1800.57 v -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1800.57 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 1800.57 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.57 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 1800.57 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.57 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 1800.57 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 1800.57 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 1800.57 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 1800.57 c Exit Code: 10 1800.57 c Total time: 1800 s
OK -41
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/node61/watcher-40510-1149298383 -o ROOT/results/node61/solver-40510-1149298383 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/40510-1149298383/instance-40510-1149298383.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.94 2/64 2518 /proc/meminfo: memFree=1563816/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=4664 CPUtime=0 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 171 0 0 0 0 0 0 0 18 0 1 0 195506230 4775936 151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10352464 0 0 4096 0 0 0 0 17 1 0 0 /proc/2518/statm: 1154 142 103 55 0 46 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.94 2/64 2518 /proc/meminfo: memFree=1524392/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=43852 CPUtime=9.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 10203 0 0 0 992 6 0 0 25 0 1 0 195506230 44904448 10118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134642442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 10963 10118 287 55 0 9855 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 43852 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.94 2/64 2518 /proc/meminfo: memFree=1518440/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=50324 CPUtime=19.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 11908 0 0 0 1990 8 0 0 25 0 1 0 195506230 51531776 11647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 12581 11647 308 55 0 11473 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 50324 [startup+30.0143 s] /proc/loadavg: 0.95 0.97 0.94 2/64 2518 /proc/meminfo: memFree=1516392/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=52316 CPUtime=29.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 12543 0 0 0 2987 11 0 0 25 0 1 0 195506230 53571584 12175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 13079 12175 308 55 0 11971 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 52316 [startup+40.0203 s] /proc/loadavg: 0.95 0.97 0.94 2/64 2518 /proc/meminfo: memFree=1515496/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=53144 CPUtime=39.99 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 12765 0 0 0 3985 14 0 0 25 0 1 0 195506230 54419456 12397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 13286 12397 308 55 0 12178 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 53144 [startup+50.0263 s] /proc/loadavg: 0.96 0.97 0.94 2/64 2518 /proc/meminfo: memFree=1506856/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67668 CPUtime=49.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 15273 0 1 0 4980 18 0 0 24 0 1 0 195506230 69292032 14536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181622 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16917 14541 337 55 0 15809 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 67668 [startup+60.0322 s] /proc/loadavg: 0.97 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1485480/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=95748 CPUtime=59.96 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 25609 0 3 0 5974 22 0 0 25 0 1 0 195506230 98045952 19800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 23937 19800 414 55 0 22829 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 95748 [startup+70.0382 s] /proc/loadavg: 0.97 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1485544/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=95748 CPUtime=69.97 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 25643 0 3 0 6975 22 0 0 25 0 1 0 195506230 98045952 19804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 23937 19804 414 55 0 22829 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 95748 [startup+80.0442 s] /proc/loadavg: 0.98 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1491432/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=102820 CPUtime=79.97 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 59939 0 3 0 7958 39 0 0 25 0 1 0 195506230 105287680 18387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10849917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 25705 18387 435 55 0 24597 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 102820 [startup+90.0501 s] /proc/loadavg: 0.98 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1476712/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=114868 CPUtime=89.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 265625 0 3 0 8867 131 0 0 25 0 1 0 195506230 117624832 22061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 28717 22061 436 55 0 27609 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 114868 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1501032/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67496 CPUtime=99.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 273882 0 3 0 9863 135 0 0 25 0 1 0 195506230 69115904 15970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607486 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16874 15970 436 55 0 15766 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 67496 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500904/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67592 CPUtime=109.98 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274108 0 3 0 10863 135 0 0 25 0 1 0 195506230 69214208 15994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16898 15994 436 55 0 15790 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 67592 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500904/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67624 CPUtime=119.99 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274225 0 3 0 11863 136 0 0 25 0 1 0 195506230 69246976 15971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16906 15971 436 55 0 15798 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 67624 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500776/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67736 CPUtime=129.99 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274308 0 3 0 12861 138 0 0 25 0 1 0 195506230 69361664 16030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158102986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16934 16030 436 55 0 15826 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 67736 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500712/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67880 CPUtime=139.99 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274383 0 3 0 13860 139 0 0 25 0 1 0 195506230 69509120 16057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16970 16057 436 55 0 15862 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 67880 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500840/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67752 CPUtime=149.99 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274475 0 3 0 14859 140 0 0 25 0 1 0 195506230 69378048 16021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10813474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16938 16021 436 55 0 15830 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 67752 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500648/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67936 CPUtime=160 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274590 0 3 0 15859 141 0 0 25 0 1 0 195506230 69566464 16078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16984 16078 436 55 0 15876 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 67936 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500904/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67472 CPUtime=170 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274702 0 3 0 16858 142 0 0 25 0 1 0 195506230 69091328 15964 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16868 15964 436 55 0 15760 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 67472 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500712/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67872 CPUtime=180 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274888 0 3 0 17857 143 0 0 25 0 1 0 195506230 69500928 16061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16968 16061 436 55 0 15860 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 67872 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500904/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67732 CPUtime=190.01 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 274931 0 3 0 18856 145 0 0 25 0 1 0 195506230 69357568 16011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16933 16011 436 55 0 15825 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 67732 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500712/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=67968 CPUtime=200.01 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 275074 0 3 0 19856 145 0 0 25 0 1 0 195506230 69599232 16071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 16992 16071 436 55 0 15884 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 67968 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2520 /proc/meminfo: memFree=1500392/2055920 swapFree=4180908/4192956 ################ # More data... # ################ /proc/2518/statm: 17105 16200 436 55 0 15997 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 68420 [startup+1771.09 s] /proc/loadavg: 1.05 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498600/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68420 CPUtime=1770.52 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279541 0 3 0 176767 285 0 0 25 0 1 0 195506230 70062080 16200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17105 16200 436 55 0 15997 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 68420 [startup+1781.09 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1780.53 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 177767 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 68376 [startup+1782.1 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1781.53 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 177867 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604194 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 68376 [startup+1783.1 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1782.53 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 177967 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 68376 [startup+1784.11 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1783.54 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178068 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 68376 [startup+1785.11 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1784.54 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178168 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 68376 [startup+1786.12 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1785.55 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178269 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 68376 [startup+1787.12 s] /proc/loadavg: 1.04 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1786.55 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178369 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 68376 [startup+1788.13 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1787.55 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178469 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 68376 [startup+1789.13 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1788.56 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178570 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 68376 [startup+1790.14 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1789.56 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178670 286 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 68376 [startup+1791.14 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1790.57 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178770 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 68376 [startup+1792.15 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1791.58 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178871 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 68376 [startup+1793.15 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1792.58 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 178971 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10817236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 68376 [startup+1794.16 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1793.59 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179072 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10825494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 68376 [startup+1795.16 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1794.59 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179172 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 68376 [startup+1796.17 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1795.6 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179273 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 68376 [startup+1797.17 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68376 CPUtime=1796.6 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179373 287 0 0 25 0 1 0 195506230 70017024 16190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17094 16190 436 55 0 15986 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 68376 [startup+1798.18 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498664/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68352 CPUtime=1797.6 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179473 287 0 0 25 0 1 0 195506230 69992448 16184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17088 16184 436 55 0 15980 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 68352 [startup+1799.18 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498920/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68136 CPUtime=1798.61 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179574 287 0 0 25 0 1 0 195506230 69771264 16130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17034 16130 436 55 0 15926 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 68136 [startup+1800.19 s] /proc/loadavg: 1.03 0.99 0.95 2/64 3191 /proc/meminfo: memFree=1498920/2055920 swapFree=4180908/4192956 [pid=2518] ppid=2516 vsize=68136 CPUtime=1799.61 /proc/2518/stat : 2518 (bsolo) R 2516 2518 2472 0 -1 0 279615 0 3 0 179674 287 0 0 25 0 1 0 195506230 69771264 16130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2518/statm: 17034 16130 436 55 0 15926 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 68136 Child status: 10 Real time (s): 1800.59 CPU time (s): 1800.02 CPU user time (s): 1797.13 CPU system time (s): 2.88756 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (Kb): 114868
Begin job on node61 on Sat Jun 3 01:33:03 UTC 2006 FILE ID= 40510-1149298383 PBS_JOBID= 307236 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/40510-1149298383/instance-40510-1149298383.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-40510-1149298383 -o ROOT/results/node61/solver-40510-1149298383 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/40510-1149298383/instance-40510-1149298383.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 285897820 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1564024 kB Buffers: 35884 kB Cached: 383672 kB SwapCached: 3880 kB Active: 34912 kB Inactive: 393480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1564024 kB SwapTotal: 4192956 kB SwapFree: 4180908 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14724 kB Slab: 49592 kB Committed_AS: 317724 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jun 3 02:03:04 UTC 2006