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 | 192 | 1800.02 | 1800.5 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb |
| MD5SUM | 19d2194cc03557fbd803cc33882ae5ce |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 1800.58 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 4447 |
| Total number of constraints | 4926 |
| Number of constraints which are clauses | 4205 |
| Number of constraints which are cardinality constraints (but not clauses) | 721 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 27 |
| Number of terms in the objective function | 4447 |
| Biggest coefficient in the objective function | 2128 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 12580 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2128 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 12580 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.14 c Initial problem consists of 4447 variables and 4926 constraints. 0.16 c preprocess terminated. Elapsed time: 0.15 0.16 c After prepocess the problem consists of 4441 variables and 4919 constraints. 0.16 c Initial Lower Bound: -2124 1.20 c Sol. found (all assignments made)... 1.20 o 2166 1.20 c NEW SOLUTION FOUND: 2166 @ 1.192 1.20 c Sol. found (all assignments made)... 1.20 o 2165 1.20 c NEW SOLUTION FOUND: 2165 @ 1.195 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 o 2164 1.21 c NEW SOLUTION FOUND: 2164 @ 1.206 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 o 2163 1.22 c NEW SOLUTION FOUND: 2163 @ 1.211 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.27 c Sol. found (all assignments made)... 1.27 o 2162 1.27 c NEW SOLUTION FOUND: 2162 @ 1.262 1.27 c Sol. found (all assignments made)... 1.27 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.69 c Restart #1 #Var: 4441 LB: -2124 @ 1.683 3.00 c Sol. found (all assignments made)... 3.00 o 533 3.00 c NEW SOLUTION FOUND: 533 @ 2.99 3.00 c Sol. found (all assignments made)... 3.00 o 532 3.00 c NEW SOLUTION FOUND: 532 @ 2.993 3.00 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 c Sol. found (all assignments made)... 3.01 o 531 3.01 c NEW SOLUTION FOUND: 531 @ 3.003 3.01 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.02 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.03 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.04 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.06 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 o 530 3.11 c NEW SOLUTION FOUND: 530 @ 3.105 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 o 529 3.22 c NEW SOLUTION FOUND: 529 @ 3.213 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 o 528 3.30 c NEW SOLUTION FOUND: 528 @ 3.293 3.30 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.43 c Sol. found (all assignments made)... 3.43 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.45 c Sol. found (all assignments made)... 3.45 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.46 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.47 c Sol. found (all assignments made)... 3.48 c Sol. found (all assignments made)... 3.49 c Sol. found (all assignments made)... 3.51 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.54 c Sol. found (all assignments made)... 3.55 c Sol. found (all assignments made)... 3.56 c Sol. found (all assignments made)... 3.56 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 o 527 3.65 c NEW SOLUTION FOUND: 527 @ 3.639 3.65 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.67 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.68 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.69 c Sol. found (all assignments made)... 3.70 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 o 526 3.73 c NEW SOLUTION FOUND: 526 @ 3.723 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.77 o 525 3.77 c NEW SOLUTION FOUND: 525 @ 3.755 3.77 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.79 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 o 524 3.82 c NEW SOLUTION FOUND: 524 @ 3.812 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.85 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.95 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 3.96 o 523 3.96 c NEW SOLUTION FOUND: 523 @ 3.953 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.97 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.98 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 o 522 3.99 c NEW SOLUTION FOUND: 522 @ 3.975 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 3.99 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.10 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.44 c Sol. found (all assignments made)... 4.50 c Restart #2 #Var: 4441 LB: -2124 @ 4.491 7.75 c Restart #3 #Var: 4441 LB: -2124 @ 7.741 9.08 c Sol. found (all assignments made)... 9.08 o 196 9.08 c NEW SOLUTION FOUND: 196 @ 9.063 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.10 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.11 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 o 195 9.15 c NEW SOLUTION FOUND: 195 @ 9.131 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.24 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.25 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.26 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 o 194 9.30 c NEW SOLUTION FOUND: 194 @ 9.286 9.30 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.38 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.39 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.86 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.95 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.04 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 o 193 10.10 c NEW SOLUTION FOUND: 193 @ 10.089 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.15 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.17 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.20 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.21 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.23 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.24 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.25 c Sol. found (all assignments made)... 10.26 c Sol. found (all assignments made)... 10.26 c Sol. found (all assignments made)... 10.26 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.32 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.34 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.35 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.36 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.39 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.40 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.41 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.42 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.43 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.47 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.48 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.50 o 192 10.50 c NEW SOLUTION FOUND: 192 @ 10.486 10.50 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.76 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.79 c Sol. found (all assignments made)... 10.79 c Sol. found (all assignments made)... 10.79 c Sol. found (all assignments made)... 10.79 c Sol. found (all assignments made)... 10.80 c Sol. found (all assignments made)... 10.80 c Sol. found (all assignments made)... 10.81 c Sol. found (all assignments made)... 10.81 c Sol. found (all assignments made)... 10.81 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.82 c Sol. found (all assignments made)... 10.83 c Sol. found (all assignments made)... 10.84 c Sol. found (all assignments made)... 10.84 c Sol. found (all assignments made)... 10.84 c Sol. found (all assignments made)... 10.84 c Sol. found (all assignments made)... 10.85 c Sol. found (all assignments made)... 10.85 c Sol. found (all assignments made)... 10.85 c Sol. found (all assignments made)... 10.85 c Sol. found (all assignments made)... 10.86 c Sol. found (all assignments made)... 10.86 c Sol. found (all assignments made)... 10.86 c Sol. found (all assignments made)... 10.86 c Sol. found (all assignments made)... 10.87 c Sol. found (all assignments made)... 10.87 c Sol. found (all assignments made)... 10.88 c Sol. found (all assignments made)... 10.88 c Sol. found (all assignments made)... 10.88 c Sol. found (all assignments made)... 10.88 c Sol. found (all assignments made)... 10.89 c Sol. found (all assignments made)... 10.89 c Sol. found (all assignments made)... 10.89 c Sol. found (all assignments made)... 10.90 c Sol. found (all assignments made)... 10.90 c Sol. found (all assignments made)... 10.90 c Sol. found (all assignments made)... 10.91 c Sol. found (all assignments made)... 10.91 c Sol. found (all assignments made)... 10.91 c Sol. found (all assignments made)... 10.92 c Sol. found (all assignments made)... 10.92 c Sol. found (all assignments made)... 10.92 c Sol. found (all assignments made)... 10.93 c Sol. found (all assignments made)... 10.93 c Sol. found (all assignments made)... 10.93 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.95 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.96 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.98 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 10.99 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.00 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.02 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.03 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.06 c Sol. found (all assignments made)... 11.07 c Sol. found (all assignments made)... 11.07 c Sol. found (all assignments made)... 11.07 c Sol. found (all assignments made)... 11.07 c Sol. found (all assignments made)... 11.08 c Sol. found (all assignments made)... 11.08 c Sol. found (all assignments made)... 11.08 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.09 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.12 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.14 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.16 c Sol. found (all assignments made)... 11.16 c Sol. found (all assignments made)... 11.16 c Sol. found (all assignments made)... 11.17 c Sol. found (all assignments made)... 11.17 c Sol. found (all assignments made)... 11.17 c Sol. found (all assignments made)... 11.17 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.18 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.22 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.24 c Sol. found (all assignments made)... 11.24 c Sol. found (all assignments made)... 11.24 c Sol. found (all assignments made)... 11.24 c Sol. found (all assignments made)... 11.25 c Sol. found (all assignments made)... 11.25 c Sol. found (all assignments made)... 11.25 c Sol. found (all assignments made)... 11.26 c Sol. found (all assignments made)... 11.26 c Sol. found (all assignments made)... 11.27 c Sol. found (all assignments made)... 11.27 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.28 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.29 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.31 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.33 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.34 c Sol. found (all assignments made)... 11.35 c Sol. found (all assignments made)... 11.35 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.37 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.39 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.40 c Sol. found (all assignments made)... 11.41 c Sol. found (all assignments made)... 11.41 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.42 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.44 c Sol. found (all assignments made)... 11.44 c Sol. found (all assignments made)... 11.44 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.47 c Sol. found (all assignments made)... 11.47 c Sol. found (all assignments made)... 11.47 c Sol. found (all assignments made)... 11.48 c Sol. found (all assignments made)... 11.48 c Sol. found (all assignments made)... 11.48 c Sol. found (all assignments made)... 11.49 c Sol. found (all assignments made)... 11.50 c Sol. found (all assignments made)... 11.50 c Sol. found (all assignments made)... 11.50 c Sol. found (all assignments made)... 11.50 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.54 c Sol. found (all assignments made)... 11.54 c Sol. found (all assignments made)... 11.54 c Sol. found (all assignments made)... 11.54 c Sol. found (all assignments made)... 11.55 c Sol. found (all assignments made)... 11.55 c Sol. found (all assignments made)... 11.55 c Sol. found (all assignments made)... 11.56 c Sol. found (all assignments made)... 11.56 c Sol. found (all assignments made)... 11.56 c Sol. found (all assignments made)... 11.56 c Sol. found (all assignments made)... 11.57 c Sol. found (all assignments made)... 11.57 c Sol. found (all assignments made)... 11.57 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.58 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.60 c Sol. found (all assignments made)... 11.60 c Sol. found (all assignments made)... 11.60 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.61 c Sol. found (all assignments made)... 11.62 c Sol. found (all assignments made)... 11.62 c Sol. found (all assignments made)... 11.62 c Sol. found (all assignments made)... 11.66 c Restart #4 #Var: 4441 LB: -2124 @ 11.647 19.35 c Restart #5 #Var: 4441 LB: -2124 @ 19.334 22.03 c Restart #6 #Var: 4441 LB: -2124 @ 22.01 29.79 c Restart #7 #Var: 4441 LB: -2124 @ 29.771 55.71 c CHANGE to MIS mode... UB: 192 MIS: -1462 LPR: 2 (11.347) Diff: -731 55.71 c Restart #0 #Var: 4441 LB: -2124 @ 55.681 58.98 c Restart #1 #Var: 4441 LB: -1478 @ 58.954 61.02 c Restart #2 #Var: 4441 LB: -1487 @ 60.989 63.60 c Restart #3 #Var: 4441 LB: -1463 @ 63.575 66.79 c Restart #4 #Var: 4441 LB: -1458 @ 66.76 70.69 c Restart #5 #Var: 4441 LB: -1461 @ 70.657 75.15 c Restart #6 #Var: 4441 LB: -1481 @ 75.115 80.08 c Restart #7 #Var: 4441 LB: -1473 @ 80.052 85.26 c Restart #8 #Var: 4441 LB: -1480 @ 85.227 91.37 c Restart #9 #Var: 4441 LB: -1447 @ 91.337 97.76 c Restart #10 #Var: 4441 LB: -1494 @ 97.725 105.85 c Restart #11 #Var: 4441 LB: -1482 @ 105.81 114.55 c Restart #12 #Var: 4441 LB: -1485 @ 114.51 124.05 c Restart #13 #Var: 4441 LB: -1477 @ 124.01 133.70 c Restart #14 #Var: 4441 LB: -1476 @ 133.66 144.10 c Restart #15 #Var: 4441 LB: -1467 @ 144.05 156.04 c Restart #16 #Var: 4441 LB: -1489 @ 155.99 168.92 c Restart #17 #Var: 4441 LB: -1457 @ 168.87 182.33 c Restart #18 #Var: 4441 LB: -1490 @ 182.27 194.47 c Restart #19 #Var: 4441 LB: -1473 @ 194.41 208.33 c Restart #20 #Var: 4441 LB: -1478 @ 208.27 222.53 c Restart #21 #Var: 4441 LB: -1476 @ 222.46 236.63 c Restart #22 #Var: 4441 LB: -1470 @ 236.56 250.66 c Restart #23 #Var: 4441 LB: -1481 @ 250.58 265.36 c Restart #24 #Var: 4441 LB: -1489 @ 265.28 281.93 c Restart #25 #Var: 4441 LB: -1480 @ 281.85 299.06 c Restart #26 #Var: 4441 LB: -1493 @ 298.98 317.24 c Restart #27 #Var: 4441 LB: -1500 @ 317.14 334.57 c Restart #28 #Var: 4441 LB: -1490 @ 334.47 353.51 c Restart #29 #Var: 4441 LB: -1479 @ 353.41 374.53 c Restart #30 #Var: 4441 LB: -1463 @ 374.42 395.81 c Restart #31 #Var: 4441 LB: -1470 @ 395.7 419.21 c Restart #32 #Var: 4441 LB: -1456 @ 419.09 439.34 c Restart #33 #Var: 4441 LB: -1478 @ 439.21 461.61 c Restart #34 #Var: 4441 LB: -1498 @ 461.48 486.67 c Restart #35 #Var: 4441 LB: -1484 @ 486.53 509.28 c Restart #36 #Var: 4441 LB: -1455 @ 509.14 534.43 c Restart #37 #Var: 4441 LB: -1477 @ 534.28 561.26 c Restart #38 #Var: 4441 LB: -1465 @ 561.1 588.50 c Restart #39 #Var: 4441 LB: -1458 @ 588.34 612.08 c Restart #40 #Var: 4441 LB: -1456 @ 611.91 641.15 c Restart #41 #Var: 4441 LB: -1456 @ 640.97 668.07 c Restart #42 #Var: 4441 LB: -1452 @ 667.89 698.94 c Restart #43 #Var: 4441 LB: -1498 @ 698.75 725.86 c Restart #44 #Var: 4441 LB: -1466 @ 725.66 755.82 c Restart #45 #Var: 4441 LB: -1486 @ 755.61 782.50 c Restart #46 #Var: 4441 LB: -1490 @ 782.29 817.55 c Restart #47 #Var: 4441 LB: -1474 @ 817.33 847.91 c Restart #48 #Var: 4441 LB: -1470 @ 847.68 875.79 c Restart #49 #Var: 4441 LB: -1475 @ 875.55 904.79 c Restart #50 #Var: 4441 LB: -1480 @ 904.54 936.31 c Restart #51 #Var: 4441 LB: -1471 @ 936.06 964.22 c Restart #52 #Var: 4441 LB: -1474 @ 963.96 992.76 c Restart #53 #Var: 4441 LB: -1458 @ 992.49 1024.89 c Restart #54 #Var: 4441 LB: -1463 @ 1024.6 1063.44 c Restart #55 #Var: 4441 LB: -1471 @ 1063.2 1095.86 c Restart #56 #Var: 4441 LB: -1469 @ 1095.6 1131.15 c Restart #57 #Var: 4441 LB: -1471 @ 1130.8 1165.52 c Restart #58 #Var: 4441 LB: -1471 @ 1165.2 1198.74 c Restart #59 #Var: 4441 LB: -1481 @ 1198.4 1234.67 c Restart #60 #Var: 4441 LB: -1486 @ 1234.3 1273.07 c Restart #61 #Var: 4441 LB: -1458 @ 1272.7 1310.54 c Restart #62 #Var: 4441 LB: -1465 @ 1310.2 1344.53 c Restart #63 #Var: 4441 LB: -1470 @ 1344.2 1379.42 c Restart #64 #Var: 4441 LB: -1476 @ 1379 1415.68 c Restart #65 #Var: 4441 LB: -1457 @ 1415.3 1459.12 c Restart #66 #Var: 4441 LB: -1475 @ 1458.7 1495.22 c Restart #67 #Var: 4441 LB: -1486 @ 1494.8 1528.68 c Restart #68 #Var: 4441 LB: -1487 @ 1528.3 1568.22 c Restart #69 #Var: 4441 LB: -1472 @ 1567.8 1607.35 c Restart #70 #Var: 4441 LB: -1468 @ 1606.9 1644.88 c Restart #71 #Var: 4441 LB: -1468 @ 1644.4 1688.26 c Restart #72 #Var: 4441 LB: -1480 @ 1687.8 1727.36 c Restart #73 #Var: 4441 LB: -1469 @ 1726.9 1768.59 c Restart #74 #Var: 4441 LB: -1465 @ 1768.1 1800.48 s SATISFIABLE 1800.48 c Cost: 192 1800.48 v -x3897 -x3447 -x3327 x3227 x3143 -x1871 -x193 x171 -x3448 -x3331 -x1961 -x1872 -x3896 -x3452 -x3330 x3228 x3147 -x1960 1800.48 v -x192 x170 -x3451 -x3332 x3229 x3145 -x1962 -x1478 -x1437 -x196 x173 -x3902 -x3449 -x3336 x3232 -x2284 -x1963 -x1852 x1691 1800.48 v -x1477 -x1436 -x218 -x3900 -x3450 -x3335 x3230 -x3146 -x2288 -x1964 x1690 -x1483 -x1438 -x197 x174 -x3333 x3231 -x3150 1800.48 v -x2083 -x1971 -x1851 x1692 -x1482 -x1439 -x217 x176 -x3901 -x3334 -x2441 -x1965 x1695 -x1484 x1440 -x221 x177 -x4137 -x3905 1800.48 v -x3756 -x2440 -x1966 x1857 x1694 -x1488 x1447 -x1404 -x4136 -x2446 -x1967 x1855 -x1831 x1699 -x1487 x1441 -x222 -x4138 1800.48 v -x3759 -x3557 -x2445 -x1830 x1698 -x1485 x1442 x4334 -x4141 -x3760 -x3561 -x2577 -x2447 -x1856 -x1832 x1696 -x1486 x1443 1800.48 v -x578 x4333 -x4140 -x3731 -x3485 -x2576 -x2451 x1860 -x1833 -x1697 x577 x4339 -x4145 -x3484 -x2450 -x1834 x579 x243 x4338 1800.48 v -x4144 -x3734 -x3486 -x2578 -x2448 -x2396 -x1841 -x1571 x580 x242 x4340 -x4142 -x3735 -x3489 -x2580 -x2449 -x1835 -x1575 1800.48 v x581 x4344 -x4143 -x3488 -x2395 -x2379 -x1836 -x974 x588 x244 x4343 -x3493 -x2581 -x2399 -x2378 -x1837 x582 x246 x4341 -x4000 1800.48 v -x3492 -x2583 -x2380 x583 x4342 -x3776 -x3490 -x2584 -x2400 -x4439 x584 x247 -x3775 -x3491 x1200 x249 -x4440 x4441 x250 1800.48 v x3782 -x4442 -x2359 x2203 x3781 -x2943 -x2363 x3779 -x2942 x2202 x1090 x3780 -x3892 -x3446 x3224 x3142 -x2723 -x1873 x167 1800.48 v -x3445 -x3326 x3226 -x2727 -x3898 -x3456 -x3328 x3225 x3148 -x194 x172 -x3329 x3233 -x198 x175 -x3903 -x3340 -x3151 -x2283 1800.48 v -x2079 -x1974 -x1877 x1847 x179 -x3149 -x2287 -x1975 -x1479 x178 -x3906 -x2082 -x1970 x1898 -x1853 -x1480 -x1450 -x1400 1800.48 v -x219 -x200 -x3904 x1693 -x1481 x1451 -x223 -x201 -x3755 -x1968 x1858 x1707 -x1492 x1446 -x1403 -x2442 x1703 -x3761 -x3556 1800.48 v -x2443 x1861 x1702 x1444 -x225 -x4139 -x3560 -x2572 -x2444 x1859 -x226 -x4153 -x3730 -x3376 -x2571 -x2455 -x2183 -x1844 1800.48 v x4335 -x4149 -x3380 -x1845 x238 x4336 -x4148 -x3801 -x3764 -x3736 -x2579 -x1840 -x1570 -x1043 -x970 x591 x237 x4337 -x3487 1800.48 v -x2582 -x1574 -x1047 x592 x4348 -x3996 -x3501 -x2586 -x2397 -x1838 -x1379 -x973 x587 x245 -x3497 -x2585 -x2401 x248 -x3999 1800.48 v -x3739 -x3496 x1196 -x585 x252 -x2381 x251 -x4021 -x2403 x2389 x1199 x4025 -x3777 -x2404 -x2385 -x3778 -x2384 x3786 -x2466 1800.48 v x2358 x2199 -x1093 -x2939 -x2470 x2362 -x1094 -x2938 x2204 x1089 -x3290 x1087 -x3294 -x3459 x3140 -x2722 -x1874 -x189 -x3891 1800.48 v -x3460 x3223 x3144 -x2726 x166 -x4093 x4048 -x3893 -x3455 -x3343 -x3241 x3141 -x1973 -x1878 -x195 x168 -x4097 -x3899 -x3344 1800.48 v x3237 x3152 -x1972 -x1876 -x213 -x199 x169 -x3895 -x3453 -x3355 -x3339 -x3236 -x2285 -x2078 -x1894 -x1449 -x212 -x203 x183 1800.48 v -x3907 -x2289 x1846 -x1448 -x202 -x3751 -x3337 -x2084 x1897 x1848 x1704 -x1495 -x1399 -x220 -x1854 x1706 -x1496 -x224 -x3757 1800.48 v -x2291 x2011 -x1969 x1850 -x1491 -x1405 -x1171 -x228 -x2292 x1862 -x1175 -x227 -x4150 -x3762 -x3726 x3685 -x3558 -x2458 1800.48 v -x2179 -x2087 -x1843 x1700 -x1489 -x1445 -x50 -x4152 -x3562 -x2459 -x1842 -x54 -x3797 -x3765 -x3732 -x3375 -x2454 -x2182 1800.48 v -x1701 -x1408 x590 -x3763 -x3379 -x2573 -x2391 x589 x4351 -x4146 -x3800 -x3737 -x3564 -x3498 -x2574 -x2452 -x2390 -x1572 1800.48 v -x1375 -x1125 -x1042 -x969 x4352 -x3565 -x3500 -x2575 -x1576 -x1046 x239 x4347 -x4147 -x3995 -x3740 -x2590 -x2398 -x1839 1800.48 v -x1378 -x975 x240 -x3738 -x2402 x241 -x4345 -x4001 -x3494 x3426 -x2406 -x2386 -x1578 x1195 -x586 x256 -x3430 -x2405 -x2388 1800.48 v -x1579 x4020 -x3495 x1201 -x978 x4024 -x4004 -x3789 -x2382 -x1092 -x3790 -x1091 x3785 -x2465 -x2383 x2360 x1204 -x874 -x2469 1800.48 v x2364 x2198 -x3783 x2200 -x2940 x2205 -x3289 -x2941 x2796 -x2366 x1088 -x3293 -x2800 -x2367 x4443 x4044 -x3457 -x3342 -x3238 1800.48 v -x2724 -x1875 -x72 -x3341 -x3240 x3139 -x2728 -x2279 -x1879 -x188 -x76 -x4092 x4047 -x3351 x3160 -x2278 -x2074 -x190 x186 1800.48 v -x4096 -x3894 x3156 -x191 x187 -x3915 -x3454 -x3354 -x3234 x3155 -x2730 -x2491 -x2286 -x2080 -x1893 -x1494 -x1395 -x207 1800.48 v x182 -x3911 -x2731 -x2495 -x2290 x1705 -x1493 -x214 -x3910 -x3338 -x3235 -x2294 -x2085 -x2007 x1899 -x1401 -x215 x180 -x3750 1800.48 v -x3552 -x2293 x1849 -x216 -x3752 -x3681 -x3551 -x2457 -x2309 -x2088 x2010 -x1870 -x1406 -x1170 -x512 -x232 -x4151 -x3758 1800.48 v -x2456 -x2313 -x2086 x1866 -x1174 -x3754 x3684 -x3559 -x2178 -x1902 x1865 -x1490 -x1409 -x49 -x3766 -x3725 -x3563 -x1566 1800.48 v -x1407 -x53 x4350 -x3796 -x3727 -x3567 -x3377 -x2184 -x1565 -x1121 -x965 x4349 -x3733 -x3566 -x3499 -x3381 -x3991 -x3802 1800.48 v -x3729 -x2593 -x2453 -x1573 -x1374 -x1124 -x1044 -x971 -x3741 -x2594 -x2392 -x1577 -x1048 -x3997 -x3383 -x2589 -x2393 1800.48 v -x2187 -x1581 -x1380 x1191 -x976 x259 -x3384 -x2394 -x2387 -x1580 x260 -x4346 -x4002 -x3805 x3425 -x2587 -x2410 -x1675 1800.48 v x1197 -x1050 -x979 x255 -x3429 -x1051 -x977 x4022 -x4005 -x3788 -x2540 -x1383 x1202 x253 x4026 -x4003 -x3787 -x2544 -x2354 1800.48 v x2353 x1205 -x995 -x870 x1203 -x999 x4028 -x2467 x2361 -x873 -x334 x4029 -x2471 x2365 -x338 -x3784 -x2369 -x2368 x2201 -x3291 1800.48 v x2946 x2795 -x2473 x2213 -x3295 x2947 x2799 -x2474 x2209 x4043 -x3458 -x3239 x3157 -x2725 -x1887 x185 -x71 x3159 -x2729 1800.48 v -x1883 x184 -x75 -x4094 x4049 -x3912 -x3350 -x2733 -x1889 -x1882 -x210 -x4098 -x3914 -x2732 -x2280 -x2073 -x211 -x3356 1800.48 v x3153 -x2490 -x2281 -x2075 -x1895 -x674 -x206 -x2494 -x2282 -x2081 -x1394 -x678 -x4100 x4052 -x3908 x3154 -x2298 -x2077 1800.48 v -x2006 x1900 -x1867 -x1462 -x1396 -x508 -x235 -x204 x181 -x147 -x4101 -x2089 -x1869 -x1402 -x236 -x151 -x3909 x3680 -x3359 1800.48 v -x2308 -x2174 x2012 -x1903 -x1398 x1172 -x511 -x231 -x3753 -x3553 -x3371 -x2312 -x1901 -x1410 -x1176 -x3792 -x3774 x3686 1800.48 v -x3554 -x3370 -x2180 x1863 -x229 -x51 -x3770 -x3555 -x1038 -x55 -x4308 -x3798 -x3769 -x3706 -x3571 -x3378 -x2592 -x2185 1800.48 v -x2015 x1864 -x1370 x1178 -x1120 -x1037 -x3728 -x3710 -x3382 -x2591 -x1567 x1179 -x964 -x3803 -x3749 x3689 -x3386 -x2188 1800.48 v -x1568 -x1376 -x1126 -x1045 -x966 -x258 x57 -x3990 -x3745 -x3385 -x2186 -x1569 -x1049 -x972 -x257 x58 -x3992 -x3806 -x3744 1800.48 v -x2413 x1671 -x1646 -x1585 -x1381 -x1053 -x968 x4016 -x3998 -x3804 -x2414 -x1650 x1190 -x1052 -x980 x4015 -x3994 x3427 1800.48 v -x2588 -x2409 -x1674 -x1384 -x1271 x1192 -x1129 -x4006 -x3431 -x1382 -x1275 x1198 x4023 -x2539 -x2407 x1194 x254 x4027 1800.48 v -x2543 -x2461 x1206 x4031 -x3433 -x2460 -x994 -x869 x4030 -x3434 x2355 -x998 -x2468 x2356 -x875 -x409 -x333 -x3285 -x2472 1800.48 v x2357 -x413 -x337 -x3284 -x2945 -x2476 -x2373 x2210 x1020 x2944 -x2475 x2212 -x1024 -x3292 x2797 -x878 -x3296 x2801 x2208 1800.48 v -x4089 x4045 -x3346 x3158 -x2721 -x1886 -x287 -x209 x73 -x3913 -x2720 -x208 -x77 -x4095 x4050 -x3352 -x2737 -x1880 -x726 1800.48 v -x458 -x4099 x1888 -x462 -x4103 x4053 -x3357 -x2492 -x2301 -x2002 x1890 -x1881 -x1458 x826 -x673 -x234 -x79 -x4102 x4051 1800.48 v -x2496 -x2302 -x2076 -x1896 -x1868 -x1166 -x677 -x233 -x80 -x4069 x3676 -x3360 -x2297 -x2097 -x2008 x1892 -x1461 -x1165 1800.48 v -x507 -x205 -x146 -x4073 -x3358 -x2093 -x1904 -x1397 -x150 x45 -x3771 x3682 -x2498 -x2310 -x2295 -x2092 x2013 -x1418 x1173 1800.48 v -x513 x44 -x3773 -x2499 -x2314 -x2173 -x1414 -x1177 -x4304 x3687 -x3574 -x2175 -x2032 -x2016 -x1413 x1181 -x1116 -x230 1800.48 v -x52 -x3791 -x3575 -x3372 -x2181 -x2036 -x2014 x1180 -x56 -x4307 -x3793 -x3767 -x3746 -x3705 x3690 -x3570 -x3373 -x2316 1800.48 v -x2177 -x1122 -x1068 -x516 x60 -x3799 -x3748 -x3709 x3688 -x3374 -x2317 -x2189 -x1369 -x1072 -x1039 x59 -x3795 -x3768 -x3568 1800.48 v -x3390 -x2412 -x1588 -x1371 -x1127 -x1040 -x122 -x3807 x3421 -x2411 -x1589 -x1377 -x1041 -x967 -x126 -x3742 x3420 x1670 1800.48 v -x1645 -x1584 -x1373 -x1130 -x1057 -x988 -x3993 -x1649 -x1385 -x1128 -x984 -x4014 -x3743 x3428 -x1676 -x1582 -x1270 -x983 1800.48 v x4017 -x4010 -x3432 -x1274 x1193 x4018 -x4009 x3436 -x2541 -x2408 x1214 -x865 x4019 x3435 -x2545 x1210 x4035 x1679 x1209 1800.48 v -x996 -x871 -x2462 -x1000 -x3965 -x2547 -x2463 -x2376 -x876 -x408 -x335 x2791 -x2548 -x2464 -x2377 x2211 -x412 -x339 x2790 1800.48 v -x2480 -x2372 x1019 -x1002 -x879 -x3286 x1023 -x1003 -x877 -x3287 x2798 -x2370 -x1312 -x341 -x3288 x2802 x2206 -x342 x4041 1800.48 v -x3243 -x2740 -x1884 x722 -x286 x74 -x4088 x4046 -x3345 -x2741 -x2486 -x78 -x4090 x4042 -x3347 -x2736 -x2485 -x2300 x822 1800.48 v -x725 -x457 -x82 -x4091 x4054 -x3353 -x2299 -x461 -x81 -x4107 -x3826 -x3349 -x2734 -x2493 -x2094 -x1457 x825 -x675 -x503 1800.48 v -x3361 -x2497 -x2304 -x2096 -x2001 x1891 -x679 -x4068 -x3075 -x2501 -x2303 -x2003 x1912 -x1463 -x1415 -x509 -x148 -x4072 1800.48 v -x3772 x3675 -x3079 -x2500 -x2009 -x1908 -x1417 x1167 -x152 x3677 -x3573 -x3124 -x2311 -x2296 -x2090 x2005 -x1907 x1168 1800.48 v -x681 -x514 x3683 -x3572 -x2315 -x2017 x1169 -x682 x46 -x4303 x3679 -x2319 -x2091 -x2031 -x1466 -x1411 x1185 -x517 -x154 1800.48 v x47 -x3747 x3691 -x2318 -x2176 -x2035 -x1115 -x515 -x155 x48 -x4309 -x3707 -x3393 -x2197 -x1587 -x1412 -x1117 -x1067 x64 1800.48 v -x3794 -x3711 -x3394 -x2193 -x1586 -x1123 -x1071 -x3815 -x3569 -x3389 -x2192 x1666 -x1119 -x1060 -x985 -x121 -x3811 -x1372 1800.48 v -x1131 -x1061 -x987 -x125 -x4312 -x4011 -x3810 -x3713 -x3387 x1672 -x1647 -x1393 -x1056 -x4013 -x3714 x3422 -x2535 -x1651 1800.48 v -x1389 x3423 -x2534 -x1677 -x1583 -x1388 -x1272 x1211 -x1054 -x981 -x699 x3424 -x1276 x1213 -x990 -x703 -x4038 -x4007 x3440 1800.48 v -x2542 x1680 -x1653 -x989 -x982 -x388 -x4039 -x2546 x1678 -x1654 -x864 -x329 x4034 -x4008 -x3961 -x2550 -x2375 -x1278 x1207 1800.48 v -x997 -x866 -x328 -x2549 -x2374 -x1279 -x1001 -x872 x4032 -x3964 -x2813 -x2483 x1208 -x1005 -x868 -x410 -x336 -x2817 -x2484 1800.48 v -x1004 -x880 -x414 -x340 -x3661 -x2479 x1308 x1021 -x344 x2792 x1025 -x343 -x3299 x2793 -x2477 -x2371 x1334 x1311 -x416 1800.48 v -x3300 x2794 x2207 -x417 -x3242 -x2738 -x1885 -x1542 -x1420 x721 -x288 -x70 x4040 -x1546 -x669 x69 -x4110 x4062 -x3822 -x1453 1800.48 v x821 -x727 -x668 -x459 x86 -x4111 x4058 -x3348 -x2487 -x2095 -x463 -x142 -x4106 x4057 -x3825 -x3369 -x2735 -x2488 x1909 1800.48 v -x1459 x827 -x676 -x292 -x141 -x3365 -x2489 x1911 -x1416 -x680 -x502 -x4104 -x4070 -x3364 -x3120 -x3074 -x2505 -x1464 -x730 1800.48 v -x684 -x504 -x465 -x149 -x4074 -x3078 -x2305 -x2004 -x683 -x510 -x466 -x153 -x4299 -x3123 -x2306 x2025 -x1905 -x1467 x1188 1800.48 v x830 -x506 -x157 -x3701 x3678 -x2307 x2021 -x1465 x1189 -x518 -x156 -x4305 -x4076 -x3700 x3699 -x3392 -x2323 -x2194 -x2033 1800.48 v x2020 -x1906 x1184 -x67 -x4077 x3695 -x3391 -x2196 -x2037 x68 -x4310 -x3812 -x3708 x3694 x1182 -x1069 -x1059 x63 -x3814 1800.48 v -x3712 -x1641 -x1118 -x1073 -x1058 -x986 -x4313 -x3716 -x2190 -x2039 -x1743 -x1640 -x1390 -x1139 -x123 x61 -x4311 -x4012 1800.48 v -x3715 -x2040 x1665 -x1392 -x1266 -x1135 -x127 -x3808 -x3388 -x2191 x1667 -x1648 -x1600 -x1265 -x1134 -x1075 x747 x1673 1800.48 v -x1652 -x1212 -x1076 -x751 -x4037 -x3809 x3443 x1669 -x1656 -x1386 -x1273 x1146 -x1055 -x698 -x384 -x129 -x4036 x3444 -x2536 1800.48 v x1681 -x1655 -x1277 -x1150 -x702 -x130 x3439 -x2537 -x1387 -x1281 -x387 -x2538 -x1280 -x991 -x404 -x3960 x3437 -x2554 -x2482 1800.48 v -x992 -x403 -x2481 x1015 -x993 -x867 -x330 x4033 -x3966 -x3657 -x2812 x1014 -x1009 -x888 -x411 -x331 -x2816 -x884 -x415 1800.48 v -x332 -x3660 -x3298 -x3030 -x1330 x1307 x1022 -x883 -x419 -x348 -x3297 x1026 -x418 -x3969 x2805 -x2478 x1333 x1313 -x1027 1800.48 v x2806 -x1028 -x4109 -x4059 -x3244 -x2739 -x1916 -x1541 -x1419 x817 x723 -x454 -x289 x89 -x4108 x4061 -x1920 -x1545 x90 -x4117 1800.48 v -x3821 -x3366 -x1791 x823 -x728 -x460 -x293 x85 -x4121 -x4064 -x3368 x1910 -x1452 -x670 -x464 -x291 -x4063 x4055 -x3827 1800.48 v -x3248 -x2508 -x1454 x828 -x731 -x671 -x468 x83 -x2509 -x1460 -x729 -x672 -x467 -x143 -x4105 -x4071 x4056 -x3362 -x3119 1800.48 v -x3076 -x2977 -x2504 x2022 -x1456 x1187 x831 -x801 -x688 -x144 -x4075 -x3080 -x2981 -x2027 x2024 -x1468 x1186 x829 -x505 1800.48 v -x145 -x4079 -x3830 x3696 -x3363 -x3125 -x2502 -x2326 -x2026 -x649 -x526 -x161 -x66 -x4298 -x4078 x3698 -x2327 -x2195 -x1063 1800.48 v -x653 -x522 -x65 -x4300 -x3082 -x2322 -x2034 x2018 -x1062 -x521 -x4306 -x3813 -x3702 -x3083 -x2038 -x117 -x4302 -x3876 1800.48 v -x3703 x3692 x3128 -x2320 -x2042 -x2019 -x1739 x1183 -x1136 -x1070 -x116 -x4314 -x3704 -x2041 -x1391 -x1138 -x1074 -x3720 1800.48 v x3693 -x2338 -x1742 -x1596 -x1078 -x124 -x62 -x1642 -x1077 -x128 x3442 -x1643 -x1599 -x1132 x746 -x132 x3441 x1668 -x1644 1800.48 v -x1267 -x750 -x131 x1689 -x1660 -x1268 x1145 -x1133 -x700 -x383 x1685 -x1269 x1149 -x704 -x3956 -x2557 x1684 -x1285 -x389 1800.48 v -x2558 -x3962 x3438 -x2553 -x1012 -x885 -x706 -x533 -x1013 -x887 -x707 -x537 -x405 -x3967 -x3656 x3026 -x2814 -x2551 x1303 1800.48 v -x1008 -x406 -x392 -x351 -x2818 x1016 -x407 -x352 -x3970 -x3662 -x3029 x2804 -x1816 -x1329 x1309 x1017 -x1006 -x881 -x423 1800.48 v -x347 -x3968 x2803 x1018 -x2820 x1335 x1314 x1032 -x882 -x345 -x2821 -x4060 -x3817 -x3245 -x1915 -x1787 -x1543 -x1421 x719 1800.48 v -x290 x87 -x3367 -x1919 -x1547 x816 x724 -x453 -x294 -x4116 -x3823 -x3249 -x2515 -x2507 -x1790 -x1354 x818 x720 -x455 -x4120 1800.48 v -x3247 -x3070 -x2519 -x2506 x824 -x732 -x456 -x3828 x3115 -x3069 x1549 -x1425 x820 -x797 -x691 -x472 -x84 -x4065 x2023 x1550 1800.48 v -x1455 x832 -x692 -x4066 -x3831 -x3171 -x3121 -x3077 -x2976 -x2325 -x1476 -x800 -x687 -x523 -x434 -x164 -x4067 -x3829 x3697 1800.48 v -x3081 -x2980 -x2324 -x1472 -x525 -x438 -x165 -x4083 -x3126 -x3085 -x2503 -x1471 -x685 -x648 -x160 -x3084 -x2028 -x652 1800.48 v -x3872 x3129 -x2919 -x2029 -x519 -x158 -x4301 x3127 -x2923 -x2030 -x1137 -x1064 -x4363 -x4322 x3875 -x3723 -x2334 -x2321 1800.48 v -x2046 -x1738 -x1065 -x520 x483 -x4318 -x3724 -x1066 x487 -x118 -x4317 -x3719 -x2337 -x1744 -x1595 -x1082 -x119 -x694 -x120 1800.48 v -x3717 -x2752 x1686 -x1663 -x1601 x748 -x693 -x379 -x136 x1688 -x1664 -x752 -x3508 -x2556 -x1747 -x1659 -x1288 x1147 -x701 1800.48 v -x385 -x3512 -x2555 -x1289 x1151 -x705 x1682 -x1657 -x1604 -x1284 -x1011 -x754 -x709 -x390 -x3955 -x2808 -x1010 -x886 -x755 1800.48 v -x708 -x3957 -x3652 -x2807 x1683 -x1282 x1153 -x532 -x393 -x350 -x3963 x1154 -x536 -x391 -x349 -x3959 -x3658 x3025 -x2815 1800.48 v -x2552 -x1812 -x1325 -x1250 -x426 -x3971 -x2819 x1302 -x427 -x3663 -x3031 -x2954 -x2823 -x1815 x1331 x1304 x1035 -x1007 1800.48 v -x422 -x2958 -x2822 x1310 x1036 -x3664 x1336 x1306 x1031 -x420 -x346 -x3665 -x1315 -x3246 -x1917 -x1786 x1544 -x1422 -x1350 1800.48 v -x302 -x88 -x3816 -x3250 -x1921 -x1548 x718 -x298 x4269 -x4118 -x3818 -x2514 -x1792 x1552 -x1426 -x1353 x740 -x690 -x475 1800.48 v -x297 -x4122 -x3824 -x2518 x1551 -x1424 x819 -x736 -x689 -x476 -x3820 -x3167 -x1923 -x1473 x840 -x796 -x735 -x471 -x163 1800.48 v -x3832 x3114 -x3071 -x1924 -x1475 x836 -x524 -x162 -x4124 -x4086 -x3170 x3116 -x3072 -x2978 -x1795 x835 -x802 -x469 x433 1800.48 v -x4125 -x4087 x3122 -x3073 -x2982 -x437 -x4082 x3118 -x3089 -x1469 -x686 -x650 x3130 -x654 -x4359 -x4319 -x4080 x3871 -x3722 1800.48 v -x2984 -x2918 -x2049 -x1734 -x1470 -x805 -x159 -x4321 -x3721 -x2985 -x2922 -x2050 -x4362 x3877 -x2875 -x2333 -x2045 -x1740 1800.48 v -x1591 -x1085 -x656 x482 -x1086 x742 -x657 x486 -x4315 -x2748 -x2339 -x2043 -x1745 -x1662 -x1597 -x1081 -x772 x741 -x139 1800.48 v x1687 -x1661 -x1141 -x776 -x140 -x4420 -x4316 x3880 -x3718 -x2751 -x1748 -x1602 -x1287 x1140 -x1079 x749 -x271 -x135 -x4424 1800.48 v -x1746 -x1286 x753 -x695 -x378 -x3507 -x2342 -x1605 x1148 x757 -x696 -x380 -x133 -x3511 -x1603 x1152 -x756 -x697 -x386 -x1658 1800.48 v x1156 x920 -x713 -x382 x1155 x924 -x394 x3405 -x3021 -x1283 -x1246 -x534 -x425 -x3958 -x3651 -x2809 -x538 -x424 -x3979 -x3653 1800.48 v x3027 -x2810 -x2676 -x1811 -x1249 x1034 -x3975 -x3659 -x2811 -x2680 -x1324 x1033 -x3974 -x3655 -x3537 x3032 -x2953 -x2827 1800.48 v -x1817 -x1326 -x847 -x540 -x3666 -x2957 x1332 x1305 -x851 -x541 -x3033 x1328 x1323 x1029 -x421 -x3034 -x1337 x1319 -x4265 1800.48 v -x4113 -x3258 -x1918 -x1788 x1540 -x1423 -x1349 x737 -x474 -x301 -x3254 -x1922 x1539 -x1427 x739 -x473 x4268 -x4119 -x3253 1800.48 v -x2898 -x2516 -x1926 -x1793 x1556 -x1355 -x837 -x792 -x295 -x4123 -x3819 -x2972 -x2520 -x1925 -x1474 x839 -x4127 -x4085 1800.48 v -x3840 -x3166 -x2971 -x1796 x899 -x798 -x733 -x296 -x4126 -x4084 -x3836 -x1794 -x644 -x3835 -x3172 -x3092 -x2979 -x2522 1800.48 v -x1358 x833 -x803 -x734 -x643 -x470 x435 x3117 -x3093 -x2983 -x2523 x439 x3867 x3138 -x3088 -x2987 -x2108 -x2048 x834 -x806 1800.48 v -x651 -x25 -x4320 x3134 -x2986 -x2047 -x804 -x655 -x29 -x4358 -x4081 x3873 -x3175 x3133 -x3086 -x2920 -x2871 -x2329 -x1084 1800.48 v -x659 -x441 -x2924 -x1733 -x1083 -x658 -x442 -x4364 x3878 -x2874 -x2335 -x1735 x484 -x138 -x1741 -x1590 x488 -x137 x3881 1800.48 v -x3847 -x2926 -x2747 -x2340 -x2044 -x1737 -x1592 -x771 -x267 x3879 -x3851 -x2927 -x1749 -x1598 -x775 x743 -x4419 -x4367 1800.48 v -x2753 -x2605 -x2343 -x1594 -x1080 x744 -x490 -x270 -x4423 -x2341 -x1606 x1142 x745 -x491 -x3509 x1143 -x761 -x716 -x134 1800.48 v -x3513 x1144 -x717 -x528 -x381 x3401 -x2756 x1160 x919 -x712 -x603 -x527 -x402 x923 -x398 -x3976 -x3515 x3404 -x2630 -x1807 1800.48 v -x1245 -x710 -x535 -x397 -x3978 -x3516 -x3020 -x539 -x3632 -x3533 x3022 -x2830 -x2675 -x1813 -x1251 -x543 -x3654 -x3636 1800.48 v x3028 -x2831 -x2679 -x542 -x3972 -x3674 -x3536 x3024 -x2955 -x2826 -x1818 x1320 -x846 -x3670 -x3035 -x2959 x1327 x1322 1800.48 v -x850 -x3973 -x3669 -x2824 -x2245 -x1819 x1345 -x1254 x1030 -x2249 -x1820 x1341 x1318 x4264 -x3257 -x2894 -x2511 -x1914 1800.48 v -x1784 x1559 -x1498 -x1435 -x1351 x738 -x299 -x4112 -x1913 -x1789 x1560 -x1431 -x838 x4270 -x4114 -x3837 -x3251 -x3162 1800.48 v -x2897 -x2517 -x1930 -x1785 x1555 -x1430 -x1356 x895 -x4115 -x3839 -x2521 -x1797 -x791 -x429 -x4131 -x3252 -x3168 -x3091 1800.48 v -x2525 x1945 -x1553 -x1359 x898 -x793 -x428 -x3090 -x2973 -x2524 -x1357 -x799 -x4273 -x3833 -x3173 x3135 -x2974 -x2104 1800.48 v -x795 x436 x3137 -x2975 -x2914 -x807 -x645 x440 -x4354 -x3834 -x3176 -x2991 -x2913 -x2107 -x1621 -x646 x444 -x24 x3866 -x3174 1800.48 v -x1625 -x647 x478 -x443 -x28 -x4360 x4214 x3868 x3131 -x3087 -x2921 -x2870 -x663 x477 x3874 -x2925 -x2328 -x4365 x3870 -x3208 1800.48 v x3132 -x2929 -x2876 -x2743 -x2330 -x1714 x485 x3882 -x2928 -x2336 -x1736 -x1718 x489 -x4368 -x3846 -x2749 -x2601 -x2332 1800.48 v -x1757 -x773 x493 -x266 -x4366 -x3850 -x3503 -x2344 -x1753 -x1593 -x777 x492 -x4421 -x3502 -x2879 -x2754 -x2604 -x1752 1800.48 v -x1614 x764 -x715 -x272 -x4425 -x1610 x765 -x714 -x3510 -x2757 -x1609 x1163 -x779 -x760 -x599 -x399 -x3514 -x2755 x1164 1800.48 v -x780 -x401 -x4427 -x4164 -x3607 -x3518 x3400 -x2626 -x1241 x1159 x921 -x758 -x602 -x275 -x4428 -x3977 -x3611 -x3517 x925 1800.48 v -x529 x3406 -x2829 -x2629 -x1247 x1157 -x711 -x530 -x395 -x2949 -x2828 -x1806 -x531 -x3671 -x3631 -x3532 -x3311 -x2948 1800.48 v -x2677 -x1808 -x1252 x927 -x547 -x396 -x3673 -x3635 x3023 -x2681 -x1814 x1321 x928 -x3538 x3409 x3043 -x2956 -x1810 x1342 1800.48 v -x1255 -x848 x3039 -x2960 -x1821 x1344 -x1253 -x852 -x3667 x3038 -x2961 -x2825 -x2683 -x2244 -x2061 -x2962 -x2684 x2248 1800.48 v x1340 x1316 x4266 -x3917 -x3255 -x2893 -x1933 x1557 -x1497 -x1434 -x1347 -x300 -x3838 -x2510 -x1934 -x1783 -x1352 x4271 1800.48 v -x4134 -x2899 -x2512 x1941 -x1929 -x1805 -x1428 -x1348 x894 -x4135 -x3161 -x2513 -x1801 -x1360 x4274 -x4130 -x3163 -x2529 1800.48 v -x2425 x1944 -x1927 -x1800 -x1554 -x1429 x900 -x4272 -x3169 -x3136 -x794 x430 -x4128 -x3165 -x2994 -x2902 -x2701 -x2103 1800.48 v -x815 x431 -x3177 -x2995 -x2705 -x811 x432 -x4210 -x2990 -x2866 -x2109 -x1620 -x903 -x810 -x666 x448 -x309 -x26 -x4353 -x2915 1800.48 v -x1624 -x667 -x313 -x30 -x4355 x4213 -x3204 -x2988 -x2916 -x2872 -x949 -x662 -x4361 x3869 -x2917 -x767 x479 -x4357 x3890 1800.48 v -x3207 -x2933 -x2877 -x2112 -x1982 -x1754 -x1713 -x766 -x660 x480 -x262 -x32 -x4415 -x4369 x3886 -x2742 -x2331 -x1986 -x1756 1800.48 v -x1717 x481 -x33 -x4414 x3885 -x3848 -x2880 -x2744 -x2655 -x2600 -x2352 -x2154 -x1611 -x774 x763 x497 -x268 -x3852 -x2878 1800.48 v -x2750 -x2348 -x2158 -x1613 -x778 x762 -x4422 -x2746 -x2606 -x2347 -x1750 x1162 -x782 -x273 -x101 -x4426 -x3504 -x2758 1800.48 v x1161 x915 -x781 -x400 -x4430 -x4160 -x3854 -x3505 x3396 -x1751 -x1607 x914 -x598 -x363 -x276 -x4429 -x3855 -x3506 -x274 1800.48 v -x4163 -x3606 -x3522 x3402 -x2625 -x2609 -x1608 x922 -x759 -x604 -x3610 -x2671 -x1240 x926 -x3528 x3407 -x3307 -x3050 -x2670 1800.48 v -x2631 -x1242 x1158 x930 -x550 -x3672 -x3054 -x1248 x929 -x842 -x551 -x3633 -x3534 x3410 -x3310 x3040 -x2678 -x1244 -x841 1800.48 v x607 -x546 -x3637 x3408 x3042 -x2950 -x2682 -x1809 x1343 -x1256 -x3539 -x2951 -x2686 -x2634 -x2057 -x1829 -x849 -x544 -x2952 1800.48 v -x2685 -x1825 -x853 -x3943 -x3668 -x3639 -x3540 x3036 -x2966 x2246 -x2060 -x1824 -x854 -x3640 -x3541 x2250 x1338 -x1317 1800.48 v -x855 x4262 -x4133 -x3916 -x3256 -x2895 -x1931 -x1802 -x1558 -x1499 -x1432 x890 x4267 -x4132 -x1804 -x1346 x4263 -x3001 1800.48 v -x2900 -x2532 -x2421 x1940 -x1368 x896 x4275 -x3005 -x2533 -x1364 -x2993 -x2903 -x2528 -x2424 -x2099 x1946 -x1928 -x1798 1800.48 v -x1503 -x1363 x901 -x812 -x3164 -x2992 -x2901 -x814 -x20 -x4129 -x3185 -x2700 -x2526 -x2105 -x1799 x904 -x665 x451 -x19 1800.48 v -x3181 -x2704 x902 -x664 x452 -x4209 -x3180 -x2110 x1949 -x1622 -x1520 -x945 -x808 x447 -x308 -x27 -x2865 -x1626 -x1524 1800.48 v -x312 -x31 x4215 x3887 -x3203 -x2989 -x2936 -x2867 -x2113 -x948 -x809 x445 -x35 -x4356 x3889 -x3842 -x2937 -x2873 -x2111 1800.48 v -x1755 -x34 -x4377 -x3841 -x3209 -x2932 -x2869 -x2651 -x2596 -x2349 -x1981 -x1715 -x1628 -x1225 -x661 x500 -x4373 -x2881 1800.48 v -x2351 -x1985 -x1719 -x1629 -x1612 -x768 x501 -x261 -x4372 x4218 x3883 -x3849 -x2930 -x2654 -x2602 -x2153 -x769 x496 -x263 1800.48 v -x97 -x4416 -x3853 -x2745 -x2157 -x770 -x269 -x4417 x3884 -x3857 -x3212 -x2766 -x2607 -x2345 -x1721 -x786 x594 x494 x359 1800.48 v -x265 -x100 -x4418 -x3856 -x2762 -x1722 -x277 -x4434 -x4159 -x3525 x3265 -x2761 -x2621 -x2610 -x2346 -x600 -x362 -x3526 1800.48 v x3395 -x3269 -x2608 x916 -x4165 -x3608 -x3521 x3397 -x2627 x917 -x628 -x605 -x549 -x3627 -x3612 x3403 x918 -x548 -x3626 1800.48 v -x3519 x3399 -x3306 -x3049 -x2632 x934 x608 -x562 -x3527 x3411 -x3053 -x3041 -x2672 -x1243 x606 -x4168 -x3634 -x3614 -x3529 1800.48 v -x3312 -x2673 -x2635 -x1826 -x1264 -x3638 -x3615 -x3535 -x2674 -x2633 x2240 -x1828 -x1260 -x843 -x3939 -x3642 -x3531 -x2969 1800.48 v -x2690 x2239 -x2056 -x1259 -x844 -x545 -x3641 -x3542 -x2970 -x845 -x3942 -x3315 x3037 -x2965 x2266 x2247 -x2062 -x1822 1800.48 v -x859 -x8 x2251 -x1339 x12 -x3918 -x2891 -x2531 x1936 -x1932 -x1803 -x1500 -x1433 -x1365 x4261 -x2896 -x2530 -x1367 x889 1800.48 v x4283 -x3000 -x2892 -x2420 x1942 -x1504 x891 x4279 -x3004 -x2904 -x1502 x897 -x813 x4278 -x3922 -x3182 -x2426 -x2129 x1947 1800.48 v -x1361 x893 -x450 -x3184 -x2133 -x2098 -x1616 x905 x449 -x4205 -x2702 -x2527 -x2100 x1950 -x1615 -x1362 -x2706 -x2106 x1948 1800.48 v -x21 -x4211 x4189 -x3199 -x3178 -x2935 -x2429 -x2102 -x1623 -x1519 -x944 -x310 -x22 x3888 -x2934 -x2114 -x1709 -x1627 -x1523 1800.48 v -x314 -x23 -x4374 x4216 -x3205 -x3179 -x2708 -x1764 -x1708 -x1631 -x1221 -x950 x499 x446 -x39 -x4376 -x2868 -x2709 -x2350 1800.48 v -x1768 -x1630 x498 x4219 -x3210 -x2889 -x2650 -x2220 -x1983 -x1716 -x1224 -x316 x4217 -x3843 -x2885 -x2595 -x2224 -x1987 1800.48 v -x1720 -x317 -x4370 -x3844 -x3213 -x2931 -x2884 -x2763 -x2656 -x2597 -x2155 -x1724 -x953 -x789 -x96 -x3845 -x3211 -x2765 1800.48 v -x2603 -x2159 -x1723 -x790 -x264 -x4437 -x4371 -x4155 -x3861 -x3524 -x2599 -x1989 -x785 x495 x358 -x285 -x102 -x4438 -x3602 1800.48 v -x3523 -x2611 -x1990 x593 -x281 -x4433 -x4161 -x3601 x3264 -x2759 -x2659 -x2161 -x783 -x624 x595 -x364 -x280 -x3268 -x2620 1800.48 v -x2162 -x601 -x4431 -x4166 -x3609 -x3302 -x2838 -x2760 -x2622 x937 -x627 x597 -x558 -x105 -x3613 x3398 -x2842 -x2628 x938 1800.48 v x609 -x4169 -x3617 -x3520 x3419 -x3308 -x3051 -x2624 -x1261 x933 -x561 -x367 -x4167 -x3628 -x3616 x3415 -x3055 -x2636 -x1827 1800.48 v -x1263 -x3629 x3414 -x3313 -x2968 -x2693 -x2052 x931 -x3630 -x3530 -x2967 -x2694 -x3938 -x3646 -x3550 -x3316 -x3057 -x2689 1800.48 v x2262 -x2058 -x1257 -x862 -x3546 -x3314 -x3058 x2241 -x863 -x3944 -x3545 -x2963 -x2687 x2265 x2242 -x2063 -x1823 -x1258 1800.48 v -x858 x7 x2243 x11 x4280 -x3919 -x2416 -x1501 -x1366 x4282 -x2890 x1935 -x1505 -x3923 -x3002 -x2912 -x2422 x1937 -x3921 1800.48 v -x3183 -x3006 -x2908 -x2696 x1943 x892 x4276 -x3466 -x2907 -x2695 -x2427 -x2128 x1939 x913 -x2132 x1951 x909 -x304 x4277 1800.48 v -x4185 -x3008 -x2703 -x2430 -x940 x908 -x303 -x4204 -x3009 -x2707 -x2428 -x2101 -x1617 -x4387 -x4206 x4188 -x2711 -x2122 1800.48 v -x1618 -x1521 -x946 -x311 -x42 -x4375 x4212 -x3198 -x2710 -x2118 -x1977 -x1619 -x1525 -x315 -x43 x4208 -x3200 -x2886 -x2646 1800.48 v -x2117 -x1976 x1763 -x1635 -x1220 -x951 -x319 -x38 x4220 -x3206 -x2888 -x2149 x1767 -x1710 -x318 -x3202 -x2652 -x2219 -x2148 1800.48 v -x1984 -x1711 -x1527 -x1226 -x954 -x788 -x92 -x36 -x3214 -x2764 -x2223 -x1988 -x1712 -x1528 -x952 -x787 -x4436 -x3864 -x2882 1800.48 v -x2657 -x2156 -x1992 -x1728 x354 -x282 -x98 -x4435 -x3865 -x2598 -x2160 -x1991 -x284 -x3860 -x2883 -x2660 -x2619 -x2164 1800.48 v -x1229 x360 -x103 -x4154 -x2658 -x2615 -x2163 -x4156 -x3858 x3266 -x2614 x936 -x784 -x623 -x365 -x278 -x106 -x4162 -x3603 1800.48 v -x3270 -x3045 x935 x596 -x104 -x4432 -x4158 -x3604 -x3416 -x3044 -x2837 x1100 -x629 x617 -x557 -x368 -x279 -x4170 -x3605 1800.48 v x3418 -x3301 -x2841 -x2623 -x1262 x613 -x366 -x3621 -x3303 -x3272 -x3052 -x2692 -x2644 x612 -x563 -x3309 -x3273 -x3056 1800.48 v -x2691 -x2640 -x3934 -x3649 -x3547 x3412 -x3305 -x3060 -x2639 x932 -x861 -x632 -x3650 -x3549 -x3317 -x3059 -x2051 -x860 1800.48 v -x3940 -x3645 -x3413 x2261 -x2053 -x566 -x2059 -x3945 -x3643 -x3543 -x2964 -x2688 x2267 x2254 x2055 -x856 x9 x2255 -x2064 1800.48 v x13 -x4281 x3920 -x2997 -x2909 -x1513 -x1291 -x3924 -x2911 -x2415 -x1509 -x1295 x3462 -x3003 -x2417 -x1508 -x910 -x3007 1800.48 v -x2423 x1938 -x912 -x3465 -x3011 -x2905 -x2419 x2130 x1959 -x3010 -x2697 -x2431 -x2134 x1955 -x1515 -x4383 x4184 -x2906 1800.48 v -x2698 -x2119 x1954 -x1514 x906 -x41 -x2699 -x2121 -x939 -x305 -x40 -x4386 x4190 -x2715 x2136 -x1638 -x1522 -x1216 -x941 1800.48 v -x907 -x306 -x4207 -x2887 x2137 -x1639 -x1526 -x947 -x307 x4228 -x2115 x1765 -x1634 -x1530 -x1222 -x943 -x323 x4224 -x3201 1800.48 v -x2645 -x1978 x1769 -x1529 -x955 x4223 -x4193 -x3863 x3586 -x3222 -x2647 -x2221 -x2116 -x1979 -x1731 -x1632 -x1227 -x37 1800.48 v -x3862 -x3218 -x2653 -x2225 -x2150 -x1980 -x1732 -x283 -x91 -x3217 -x2649 -x2616 -x2151 -x1996 x1771 -x1727 -x1230 -x93 1800.48 v x3260 -x2661 -x2618 -x2152 x1772 -x1228 x353 -x99 x3259 -x2227 -x2168 -x1725 -x619 x355 -x95 -x2228 x361 -x107 -x3859 x3267 1800.48 v -x2612 x1096 -x625 -x614 -x553 x357 -x4157 -x3417 -x3271 x616 -x369 -x4178 -x3624 -x3275 -x2839 -x2641 -x2613 x1099 -x630 1800.48 v -x559 -x4174 -x3625 -x3274 -x3046 -x2843 -x2643 -x4173 -x3648 -x3620 -x3047 -x633 x610 -x564 -x3647 -x3548 -x3304 -x3048 1800.48 v -x631 -x3618 -x3325 -x3064 x2845 -x2637 x2257 x611 -x567 -x3933 -x3321 -x2846 -x565 x3 x4289 -x3935 -x3320 -x2638 x2263 1800.48 v -x2253 x2 -x4293 -x3941 x2252 -x2054 -x3937 -x3644 -x3544 x2268 x2072 -x857 x10 -x3946 -x2068 x14 x3932 -x2910 -x1512 -x1290 1800.48 v -x3928 -x2996 x2124 -x1294 -x911 -x3927 x3461 -x2998 x2123 x1956 -x1506 -x2999 -x2418 x1958 x4180 -x3467 -x3015 -x2439 1800.48 v x2131 -x1507 -x2435 -x2135 -x2120 -x4382 x4186 -x2718 -x2434 x2139 x1952 -x1637 -x2719 x2138 -x1759 -x1636 -x1516 -x4388 1800.48 v -x4225 x4191 -x3470 -x2714 -x1953 x1758 -x1517 -x326 x4227 -x2215 -x1518 -x1215 -x942 -x327 x4194 -x3582 -x3219 -x2712 1800.48 v -x2214 x1766 -x1730 -x1534 -x1217 -x963 -x322 x4192 -x3221 x1770 -x1729 -x1223 -x959 -x4391 x4221 x3585 -x3103 -x2222 -x1999 1800.48 v x1774 -x1633 -x1219 -x958 -x320 -x2648 -x2617 -x2226 -x2000 x1773 -x1231 x4222 -x3215 -x2669 -x2230 -x2171 -x1995 -x2665 1800.48 v -x2229 -x2172 -x94 -x3216 -x2664 -x2167 -x1993 -x1726 -x115 x3261 -x2833 -x618 -x615 x356 -x111 -x4175 -x3623 x3262 -x2832 1800.48 v -x2775 -x2165 x1095 -x620 x377 -x110 -x4177 -x3622 x3263 -x2642 -x626 -x552 x373 x3279 -x2840 x1101 -x622 -x554 x372 -x2844 1800.48 v -x634 -x560 -x4171 -x3322 -x3067 x2848 -x556 -x3324 -x3068 x2847 -x568 -x4172 -x3619 -x3063 -x1104 x2256 x4288 -x3318 -x3061 1800.48 v x2258 x2069 -x4292 -x3936 x2264 x2071 x4 -x3983 -x3954 -x3319 x2260 x5 x3987 -x3950 -x2269 -x2067 x6 x3931 -x1510 x1292 x1957 1800.48 v -x1296 -x3925 x3463 -x3018 -x2436 -x3019 -x2438 x2125 -x4379 -x3926 -x3468 -x3014 -x2717 x2126 -x1298 x4179 -x2716 x2127 1800.48 v -x1299 -x4384 x4181 x3471 -x3012 -x2432 x2143 -x325 -x4226 x4187 x3469 -x324 -x4389 x4183 -x2433 -x1537 -x960 x4195 -x3220 1800.48 v x1760 -x1538 -x962 x4392 -x3581 -x3099 -x2713 -x1998 x1761 -x1533 x4390 -x2216 -x1997 x1762 -x1218 x3587 x3102 -x2666 -x2217 1800.48 v -x2170 x1778 -x1531 -x1239 -x956 -x321 -x2668 -x2218 -x2169 -x1235 -x2234 -x1234 -x957 -x112 -x114 x3590 -x2772 -x2662 1800.48 v -x1994 x4444 x374 -x4176 x376 x3282 -x2774 -x2663 -x2166 x1097 -x108 x3283 -x2834 -x621 x3278 -x3066 -x2835 x1102 -x642 1800.48 v x370 -x109 -x3323 -x3065 x2836 -x638 -x555 x3276 x2852 x1105 -x637 -x576 x371 x1103 -x572 -x3481 -x571 x2070 x4290 -x3951 1800.48 v -x3062 -x4294 -x3953 x2259 -x3982 x2277 x17 x3986 -x3949 x2273 -x2065 x18 x3929 -x3017 -x1562 -x1511 x1293 -x3016 -x2437 1800.48 v x1564 -x1297 -x1301 x3464 -x1300 x2146 -x4378 x3472 x2147 -x4380 -x3013 x2142 -x1536 -x4385 x4182 -x1535 -x961 -x4326 x4203 1800.48 v x3577 x2140 x4393 x4199 x4198 -x3583 -x3098 x1781 -x1236 -x2667 x1782 -x1238 x3588 x3104 -x2237 x1777 -x1532 -x2238 -x113 1800.48 v x3591 -x2233 x1775 -x1232 x3589 x375 x3281 -x3107 x2771 -x2231 -x1233 x3280 -x2776 -x639 x1098 -x641 -x2855 -x573 -x2856 1800.48 v x1106 -x575 x4407 x3477 x3277 x2851 x2779 -x635 -x4285 x4284 -x3480 x2849 -x636 -x569 -x3952 x4291 x2274 -x570 x16 -x4295 1800.48 v x2276 x15 -x4296 -x3984 -x4297 x3988 -x3947 x2272 -x2066 x3930 x1561 -x4445 x1563 -x2145 x2144 -x4324 x4200 -x4381 x4202 1800.48 v -x4325 -x3095 -x2141 -x1780 x4397 x3576 -x1779 -x1237 x4396 x4196 x3578 -x3100 -x2236 -x3584 -x2235 -x4246 x4197 x3580 1800.48 v x3105 x4250 x3592 x3108 -x2768 -x1776 x3106 x2773 -x2232 -x640 -x2854 -x2777 -x2853 -x574 -x4403 x2780 x1114 x2778 -x1110 1800.48 v x4406 x3476 -x1109 -x3482 x2850 x4286 x3981 x2275 x4287 x3980 -x3985 x3989 -x3948 x2270 x4201 -x4323 -x4327 -x3094 x4394 1800.48 v -x3096 x3579 -x3101 x4395 -x4330 x4245 x3600 x4249 x3596 x3109 x3595 -x2767 -x3191 -x2769 x4238 x1111 x2781 x1113 x4402 1800.48 v -x3474 x4408 x3478 -x1107 x3483 -x1108 -x2271 -x4328 -x4331 x3597 -x4329 x3599 -x3097 x4247 x3113 x4251 x3593 -x3187 x4253 1800.48 v x4234 x3594 -x3190 x4254 -x2770 x1112 -x4399 x4237 x2789 x2564 -x2785 x4404 -x2784 x3473 x4409 x3475 -x2862 x3479 x4446 1800.48 v -x4447 -x4332 x3598 x3110 x3112 x4248 x4252 x4256 -x3186 x4255 x4233 -x3192 -x2786 -x2560 x2788 x4239 x2563 -x4398 -x4400 1800.48 v x3195 -x2782 x4405 x4242 -x2861 -x2783 -x3111 x4260 x4230 -x3188 -x2787 x4235 -x3193 x2559 x4240 x3196 x2565 x3194 x4243 1800.48 v -x4401 x4241 x4413 -x2863 -x2568 x4259 x4229 -x3189 -x4257 x4231 x2561 x4236 x3197 x2566 x4244 -x2858 x4410 -x2857 -x2569 1800.48 v x4412 -x2567 -x2864 -x4258 x4232 x2562 x4411 -x2570 x2859 x2860 x1 1800.48 c Exit Code: 10 1800.48 c Total time: 1800 s
OK 192
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/node63/watcher-40478-1149290428 -o ROOT/results/node63/solver-40478-1149290428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40478-1149290428/instance-40478-1149290428.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1804984/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=3364 CPUtime=0 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 194609961 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970404 0 0 4096 0 0 0 0 17 1 0 0 /proc/17738/statm: 841 43 32 55 0 40 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738304/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=9.98 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17020 0 0 0 990 8 0 0 25 0 1 0 194609961 73445376 16921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 16921 297 55 0 16823 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 71724 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738304/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=19.98 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17020 0 0 0 1989 9 0 0 25 0 1 0 194609961 73445376 16921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 16921 297 55 0 16823 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 71724 [startup+30.0144 s] /proc/loadavg: 0.95 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738368/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=29.99 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17020 0 0 0 2989 10 0 0 25 0 1 0 194609961 73445376 16921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 16921 297 55 0 16823 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 71724 [startup+40.0205 s] /proc/loadavg: 0.96 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738176/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=39.99 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17241 0 0 0 3989 10 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134678613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 71724 [startup+50.0266 s] /proc/loadavg: 0.96 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738176/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=49.99 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 4988 11 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134678453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 71724 [startup+60.0326 s] /proc/loadavg: 0.97 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738176/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=59.99 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 5987 12 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 71724 [startup+70.0387 s] /proc/loadavg: 0.97 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738176/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=70 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 6987 13 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 71724 [startup+80.0448 s] /proc/loadavg: 0.98 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=80 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 7987 13 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 71724 [startup+90.0508 s] /proc/loadavg: 0.98 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=90 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 8986 14 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 71724 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=100.01 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 9986 15 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 71724 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=110.01 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 10985 16 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 71724 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=120.01 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 11985 16 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 71724 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=130.02 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 12985 17 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 71724 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=140.03 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 13985 18 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 71724 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=150.03 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 14985 18 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 71724 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=160.03 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 15984 19 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 71724 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=170.04 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 16984 20 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 71724 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=180.04 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 17984 20 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 71724 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=190.05 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 18983 22 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 71724 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=71724 CPUtime=200.05 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 17408 0 0 0 19982 23 0 0 25 0 1 0 194609961 73445376 17060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 17931 17060 434 55 0 16823 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 71724 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1738240/2055920 swapFree=4182328/4192956 ################ # More data... # ################ /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1760.64 Current children cumulated vsize (Kb) 75412 [startup+1771.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1770.64 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 176935 129 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1770.64 Current children cumulated vsize (Kb) 75412 [startup+1781.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1780.65 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 177935 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3404178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1780.65 Current children cumulated vsize (Kb) 75412 [startup+1782.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1781.65 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178035 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (Kb) 75412 [startup+1783.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1782.65 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178135 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3087476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (Kb) 75412 [startup+1784.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1783.66 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178236 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1783.66 Current children cumulated vsize (Kb) 75412 [startup+1785.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1784.66 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178336 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1784.66 Current children cumulated vsize (Kb) 75412 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1785.67 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178437 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1785.67 Current children cumulated vsize (Kb) 75412 [startup+1787.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1786.67 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178537 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1786.67 Current children cumulated vsize (Kb) 75412 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1787.68 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178638 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1787.68 Current children cumulated vsize (Kb) 75412 [startup+1789.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1788.68 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178738 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1788.68 Current children cumulated vsize (Kb) 75412 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1789.68 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178838 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1789.68 Current children cumulated vsize (Kb) 75412 [startup+1791.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1790.69 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 178939 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134613790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1790.69 Current children cumulated vsize (Kb) 75412 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1791.69 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179039 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1791.69 Current children cumulated vsize (Kb) 75412 [startup+1793.19 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1792.7 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179140 130 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1792.7 Current children cumulated vsize (Kb) 75412 [startup+1794.19 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1793.71 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179240 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1793.71 Current children cumulated vsize (Kb) 75412 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1794.71 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179340 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (Kb) 75412 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1795.72 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179441 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1795.72 Current children cumulated vsize (Kb) 75412 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1796.72 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179541 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 75412 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1797.72 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179641 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3404432 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 75412 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1798.73 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179742 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 75412 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.93 2/64 17738 /proc/meminfo: memFree=1734272/2055920 swapFree=4182328/4192956 [pid=17738] ppid=17736 vsize=75412 CPUtime=1799.73 /proc/17738/stat : 17738 (bsolo) R 17736 17738 17692 0 -1 0 20079 0 0 0 179842 131 0 0 25 0 1 0 194609961 77221888 17995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3411688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17738/statm: 18853 17995 434 55 0 17745 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (Kb) 75412 Child status: 10 Real time (s): 1800.5 CPU time (s): 1800.02 CPU user time (s): 1798.69 CPU system time (s): 1.3288 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (Kb): 76192
Begin job on node63 on Fri Jun 2 23:20:28 UTC 2006 FILE ID= 40478-1149290428 PBS_JOBID= 306822 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40478-1149290428/instance-40478-1149290428.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-40478-1149290428 -o ROOT/results/node63/solver-40478-1149290428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node63/40478-1149290428/instance-40478-1149290428.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 19d2194cc03557fbd803cc33882ae5ce RANDOM SEED= 373343812 /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.228 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.228 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: 1805192 kB Buffers: 21480 kB Cached: 161696 kB SwapCached: 2328 kB Active: 40440 kB Inactive: 151372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805192 kB SwapTotal: 4192956 kB SwapFree: 4182328 kB Dirty: 184 kB Writeback: 0 kB Mapped: 15888 kB Slab: 44876 kB Committed_AS: 285240 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Fri Jun 2 23:50:29 UTC 2006