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 | 373 | 1800.04 | 1800.68 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
| MD5SUM | 9711add7b63200e6cedabbc5764a3737 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 343 |
| Best CPU time to get the best result obtained on this benchmark | 1782.74 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 343 |
| Optimality of the best value was proved | NO |
| Number of variables | 1040 |
| Total number of constraints | 3656 |
| Number of constraints which are clauses | 3656 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 1040 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1040 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.07 c Initial problem consists of 1040 variables and 3656 constraints. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.082 0.09 c After prepocess the problem consists of 1030 variables and 3646 constraints. 0.09 c Initial Lower Bound: 0 0.10 c Sol. found (all assignments made)... 0.10 o 520 0.10 c NEW SOLUTION FOUND: 520 @ 0.092 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 519 0.10 c NEW SOLUTION FOUND: 519 @ 0.093 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 o 518 0.10 c NEW SOLUTION FOUND: 518 @ 0.097 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 517 0.11 c NEW SOLUTION FOUND: 517 @ 0.104 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 o 516 0.11 c NEW SOLUTION FOUND: 516 @ 0.108 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 o 515 0.12 c NEW SOLUTION FOUND: 515 @ 0.115 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 o 514 0.13 c NEW SOLUTION FOUND: 514 @ 0.126 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 o 513 0.15 c NEW SOLUTION FOUND: 513 @ 0.142 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 o 512 0.17 c NEW SOLUTION FOUND: 512 @ 0.167 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 o 511 0.21 c NEW SOLUTION FOUND: 511 @ 0.204 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.26 c Restart #1 #Var: 1030 LB: 0 @ 0.251 0.26 c Sol. found (all assignments made)... 0.26 o 451 0.26 c NEW SOLUTION FOUND: 451 @ 0.255 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 o 450 0.27 c NEW SOLUTION FOUND: 450 @ 0.264 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 o 449 0.27 c NEW SOLUTION FOUND: 449 @ 0.268 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 o 448 0.28 c NEW SOLUTION FOUND: 448 @ 0.271 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 o 447 0.28 c NEW SOLUTION FOUND: 447 @ 0.275 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 o 446 0.28 c NEW SOLUTION FOUND: 446 @ 0.278 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 445 0.29 c NEW SOLUTION FOUND: 445 @ 0.282 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 444 0.29 c NEW SOLUTION FOUND: 444 @ 0.285 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 443 0.29 c NEW SOLUTION FOUND: 443 @ 0.289 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 442 0.30 c NEW SOLUTION FOUND: 442 @ 0.294 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 441 0.30 c NEW SOLUTION FOUND: 441 @ 0.298 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o 440 0.31 c NEW SOLUTION FOUND: 440 @ 0.303 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 o 439 0.31 c NEW SOLUTION FOUND: 439 @ 0.309 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 o 438 0.33 c NEW SOLUTION FOUND: 438 @ 0.32 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 o 437 0.33 c NEW SOLUTION FOUND: 437 @ 0.328 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 o 436 0.36 c NEW SOLUTION FOUND: 436 @ 0.358 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.38 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.40 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 o 435 0.41 c NEW SOLUTION FOUND: 435 @ 0.405 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 o 434 0.46 c NEW SOLUTION FOUND: 434 @ 0.452 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 o 433 0.52 c NEW SOLUTION FOUND: 433 @ 0.513 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.52 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.58 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.59 c Sol. found (all assignments made)... 0.60 c Restart #2 #Var: 1030 LB: 0 @ 0.593 0.74 c Restart #3 #Var: 1030 LB: 0 @ 0.73 0.90 c Restart #4 #Var: 1030 LB: 0 @ 0.894 1.09 c Restart #5 #Var: 1030 LB: 0 @ 1.085 2.16 c CHANGE to LPR mode... UB: 433 MIS: 198 LPR: 240 (0.4125) Diff: 0.825 2.16 c Restart #0 #Var: 1030 LB: 0 @ 2.159 21.73 c Restart #1 #Var: 1030 LB: 240 @ 21.715 35.05 c Restart #2 #Var: 1030 LB: 241 @ 35.023 45.61 o 404 45.61 c NEW SOLUTION FOUND: 404 @ 45.588 45.68 o 400 45.68 c NEW SOLUTION FOUND: 400 @ 45.655 47.05 o 398 47.05 c NEW SOLUTION FOUND: 398 @ 47.023 47.14 o 391 47.14 c NEW SOLUTION FOUND: 391 @ 47.116 51.93 o 390 51.93 c NEW SOLUTION FOUND: 390 @ 51.901 64.74 o 384 64.74 c NEW SOLUTION FOUND: 384 @ 64.705 82.43 o 381 82.43 c NEW SOLUTION FOUND: 381 @ 82.395 91.11 o 374 91.11 c NEW SOLUTION FOUND: 374 @ 91.07 135.99 c Restart #3 #Var: 1030 LB: 241 @ 135.94 216.90 c Restart #4 #Var: 1030 LB: 241 @ 216.81 309.38 c Restart #5 #Var: 1030 LB: 241 @ 309.26 405.85 c Restart #6 #Var: 1030 LB: 241 @ 405.7 520.48 c Restart #7 #Var: 1030 LB: 241 @ 520.29 649.59 c Restart #8 #Var: 1030 LB: 241 @ 649.36 827.69 c Restart #9 #Var: 1030 LB: 241 @ 827.39 929.00 o 373 929.00 c NEW SOLUTION FOUND: 373 @ 928.67 1073.68 c Restart #10 #Var: 1030 LB: 241 @ 1073.3 1274.68 c Restart #11 #Var: 1030 LB: 241 @ 1274.2 1450.41 c Restart #12 #Var: 1030 LB: 241 @ 1449.9 1667.50 c Restart #13 #Var: 1030 LB: 241 @ 1666.9 1800.67 s SATISFIABLE 1800.67 c Cost: 373 1800.67 v x1 -x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 x31 -x32 1800.67 v x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 x45 -x46 x47 -x48 -x49 x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 1800.67 v -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 1800.67 v x91 -x92 -x93 x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 1800.67 v -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 1800.67 v x139 -x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 1800.67 v -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 1800.67 v x185 -x186 x187 -x188 -x189 x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 1800.67 v -x208 -x209 x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 x230 1800.67 v x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 1800.67 v -x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 1800.67 v x277 -x278 x279 -x280 x281 -x282 x283 -x284 -x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 x299 1800.67 v -x300 x301 -x302 x303 -x304 -x305 x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 -x321 x322 1800.67 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 1800.67 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 x364 1800.67 v x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 x376 -x377 -x378 -x379 x380 -x381 x382 -x383 x384 -x385 x386 1800.67 v -x387 x388 x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 1800.67 v -x409 x410 -x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 -x423 x424 -x425 x426 -x427 x428 -x429 -x430 1800.67 v -x431 x432 -x433 -x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 1800.67 v -x453 x454 -x455 x456 -x457 -x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 -x474 1800.67 v -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 1800.67 v -x497 x498 -x499 x500 -x501 x502 -x503 x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 x514 -x515 x516 -x517 -x518 1800.67 v -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 x534 -x535 x536 x537 -x538 -x539 x540 1800.67 v -x541 x542 -x543 x544 x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 x560 x561 -x562 1800.67 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 x574 -x575 x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 1800.67 v x584 -x585 -x586 -x587 -x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 1800.67 v -x606 -x607 -x608 -x609 x610 x611 -x612 -x613 x614 -x615 x616 -x617 -x618 -x619 x620 -x621 x622 -x623 x624 -x625 x626 -x627 1800.67 v x628 -x629 -x630 -x631 x632 x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 1800.67 v x650 -x651 -x652 -x653 x654 -x655 x656 -x657 -x658 -x659 x660 -x661 x662 x663 -x664 -x665 x666 -x667 x668 -x669 -x670 -x671 1800.67 v x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 1800.67 v -x693 x694 -x695 x696 x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 1800.67 v -x715 x716 x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 x727 -x728 -x729 x730 -x731 -x732 -x733 x734 -x735 x736 1800.67 v -x737 -x738 -x739 x740 -x741 x742 -x743 x744 -x745 x746 -x747 x748 x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 x758 1800.67 v -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 x774 -x775 x776 -x777 -x778 -x779 x780 1800.67 v -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.67 v x802 x803 -x804 -x805 x806 -x807 x808 -x809 x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 x821 -x822 -x823 -x824 1800.67 v -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 x836 -x837 -x838 -x839 x840 -x841 x842 -x843 x844 -x845 -x846 1800.67 v -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.67 v -x868 -x869 x870 -x871 -x872 -x873 x874 -x875 x876 x877 -x878 -x879 x880 -x881 x882 -x883 x884 -x885 x886 -x887 x888 x889 -x890 1800.67 v -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 1800.67 v -x913 x914 -x915 x916 -x917 -x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 -x927 x928 -x929 -x930 -x931 x932 -x933 -x934 1800.67 v x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1800.67 v -x957 -x958 -x959 -x960 -x961 x962 -x963 x964 -x965 x966 -x967 x968 -x969 -x970 -x971 x972 -x973 -x974 x975 -x976 -x977 x978 1800.67 v -x979 -x980 -x981 x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 1800.67 v -x1000 -x1001 x1002 x1003 -x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 1800.67 v x1018 -x1019 -x1020 -x1021 x1022 x1023 -x1024 -x1025 x1026 -x1027 x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 1800.67 v -x1037 x1038 -x1039 x1040 1800.67 c Exit Code: 10 1800.67 c Total time: 1800 s
OK 373
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/node38/watcher-40367-1149416780 -o ROOT/results/node38/solver-40367-1149416780 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40367-1149416780/instance-40367-1149416780.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 0.97 0.94 3/64 24755 /proc/meminfo: memFree=1842576/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=3364 CPUtime=0 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 207344302 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8606267 0 0 4096 0 0 0 0 17 1 0 0 /proc/24755/statm: 859 47 34 55 0 42 0 [startup+10.0021 s] /proc/loadavg: 0.98 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837464/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10852 CPUtime=9.98 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 14233 0 0 0 990 8 0 0 25 0 1 0 207344302 11112448 1724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159002321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2713 1724 443 55 0 1605 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10852 [startup+20.0081 s] /proc/loadavg: 0.98 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10852 CPUtime=19.98 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 27854 0 0 0 1984 14 0 0 25 0 1 0 207344302 11112448 1714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159779421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2713 1714 444 55 0 1605 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10852 [startup+30.014 s] /proc/loadavg: 0.98 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10344 CPUtime=29.98 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 52718 0 0 0 2974 24 0 0 25 0 1 0 207344302 10592256 1743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045711 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2586 1743 444 55 0 1478 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 10344 [startup+40.02 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9628 CPUtime=39.99 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 83228 0 0 0 3962 37 0 0 25 0 1 0 207344302 9859072 1679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160201663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2407 1679 444 55 0 1299 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 9628 [startup+50.0259 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10852 CPUtime=49.99 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 97175 0 0 0 4956 43 0 0 25 0 1 0 207344302 11112448 1701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159002253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2713 1701 444 55 0 1605 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 10852 [startup+60.0319 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9324 CPUtime=59.99 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 110507 0 0 0 5951 48 0 0 25 0 1 0 207344302 9547776 1669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2331 1669 444 55 0 1223 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 9324 [startup+70.0378 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9324 CPUtime=70 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 123354 0 0 0 6945 55 0 0 25 0 1 0 207344302 9547776 1669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2331 1669 444 55 0 1223 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 9324 [startup+80.0438 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9324 CPUtime=80 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 136009 0 0 0 7939 61 0 0 25 0 1 0 207344302 9547776 1669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2331 1669 444 55 0 1223 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 9324 [startup+90.0497 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837528/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10852 CPUtime=90 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 148650 0 0 0 8934 66 0 0 25 0 1 0 207344302 11112448 1693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2713 1693 444 55 0 1605 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 10852 [startup+100.056 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837400/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11096 CPUtime=100.01 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 163710 0 0 0 9927 74 0 0 25 0 1 0 207344302 11362304 1738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159352456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2774 1738 444 55 0 1666 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 11096 [startup+110.062 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837400/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9400 CPUtime=110 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 176369 0 0 0 10922 78 0 0 25 0 1 0 207344302 9625600 1688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2350 1688 444 55 0 1242 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 9400 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837336/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11060 CPUtime=120 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 188921 0 0 0 11916 84 0 0 25 0 1 0 207344302 11325440 1751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2765 1751 444 55 0 1657 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 11060 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837336/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11008 CPUtime=130.01 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 202293 0 0 0 12910 91 0 0 25 0 1 0 207344302 11272192 1763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2752 1763 444 55 0 1644 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 11008 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837400/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9400 CPUtime=140.02 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 217855 0 0 0 13903 99 0 0 25 0 1 0 207344302 9625600 1688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2350 1688 444 55 0 1242 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 9400 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837400/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9460 CPUtime=150.01 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 234757 0 0 0 14895 106 0 0 25 0 1 0 207344302 9687040 1696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2365 1696 444 55 0 1257 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 9460 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837144/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11180 CPUtime=160.01 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 252032 0 0 0 15889 112 0 0 25 0 1 0 207344302 11448320 1804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2795 1804 444 55 0 1687 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 11180 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837144/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11292 CPUtime=170.02 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 269184 0 0 0 16882 120 0 0 25 0 1 0 207344302 11563008 1810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2823 1810 444 55 0 1715 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 11292 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837400/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9400 CPUtime=180.02 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 287147 0 0 0 17874 128 0 0 25 0 1 0 207344302 9625600 1688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2350 1688 444 55 0 1242 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 9400 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837400/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=9400 CPUtime=190.03 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 305204 0 0 0 18865 138 0 0 25 0 1 0 207344302 9625600 1688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2350 1688 444 55 0 1242 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 9400 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837272/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11168 CPUtime=200.03 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 323461 0 0 0 19857 146 0 0 25 0 1 0 207344302 11436032 1768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159943308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2792 1768 444 55 0 1684 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 11168 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24755 /proc/meminfo: memFree=1837336/2055920 swapFree=4181196/4192956 ################ # More data... # ################ /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1760.47 Current children cumulated vsize (Kb) 10512 [startup+1771.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1770.48 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2055493 0 0 0 176122 926 0 0 25 0 1 0 207344302 12066816 2003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160242023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2003 445 55 0 1838 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 11784 [startup+1781.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1780.48 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2065248 0 0 0 177118 930 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 10512 [startup+1782.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1781.48 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2066246 0 0 0 177218 930 0 0 25 0 1 0 207344302 12066816 2017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2017 445 55 0 1838 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 11784 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1782.49 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2067198 0 0 0 177318 931 0 0 25 0 1 0 207344302 12066816 2012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159216554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2012 445 55 0 1838 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 11784 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1783.49 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2068179 0 0 0 177418 931 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 10512 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1784.5 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2069127 0 0 0 177519 931 0 0 25 0 1 0 207344302 12066816 2012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159265747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2012 445 55 0 1838 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 11784 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1785.5 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2070081 0 0 0 177618 932 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 10512 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1786.5 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2071064 0 0 0 177718 932 0 0 25 0 1 0 207344302 12066816 2006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160349986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2006 445 55 0 1838 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 11784 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1787.51 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2072031 0 0 0 177818 933 0 0 25 0 1 0 207344302 12066816 2015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2015 445 55 0 1838 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 11784 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1788.52 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2073001 0 0 0 177919 933 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 10512 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1789.52 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2074001 0 0 0 178018 934 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158525088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 10512 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836000/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=12040 CPUtime=1790.52 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2074970 0 0 0 178118 934 0 0 25 0 1 0 207344302 12328960 2029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159495710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 3010 2029 445 55 0 1902 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 12040 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1791.53 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2075958 0 0 0 178218 935 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 10512 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1792.53 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2076914 0 0 0 178318 935 0 0 25 0 1 0 207344302 12066816 2016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159003335 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2016 445 55 0 1838 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 11784 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1793.54 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2077901 0 0 0 178418 936 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 10512 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1794.55 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2078907 0 0 0 178518 937 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 10512 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1795.55 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2079850 0 0 0 178617 938 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 10512 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836064/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1796.55 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2080824 0 0 0 178717 938 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 10512 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836000/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1797.56 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2081825 0 0 0 178818 938 0 0 25 0 1 0 207344302 12066816 2021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159984958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2021 445 55 0 1838 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 11784 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836000/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=10512 CPUtime=1798.57 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2082808 0 0 0 178918 939 0 0 25 0 1 0 207344302 10764288 1967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2628 1967 445 55 0 1520 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 10512 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.94 2/64 24757 /proc/meminfo: memFree=1836000/2055920 swapFree=4181196/4192956 [pid=24755] ppid=24753 vsize=11784 CPUtime=1799.57 /proc/24755/stat : 24755 (bsolo) R 24753 24755 24709 0 -1 0 2083778 0 0 0 179018 939 0 0 25 0 1 0 207344302 12066816 2004 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24755/statm: 2946 2004 445 55 0 1838 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 11784 Child status: 10 Real time (s): 1800.68 CPU time (s): 1800.04 CPU user time (s): 1790.64 CPU system time (s): 9.40157 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (Kb): 12040
Begin job on node38 on Sun Jun 4 10:26:20 UTC 2006 FILE ID= 40367-1149416780 PBS_JOBID= 315382 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40367-1149416780/instance-40367-1149416780.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-40367-1149416780 -o ROOT/results/node38/solver-40367-1149416780 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40367-1149416780/instance-40367-1149416780.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737 RANDOM SEED= 480930602 /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.267 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.267 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: 1842784 kB Buffers: 18048 kB Cached: 131692 kB SwapCached: 3464 kB Active: 44128 kB Inactive: 114340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842784 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14948 kB Slab: 40672 kB Committed_AS: 391524 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Sun Jun 4 10:56:21 UTC 2006