Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.77 | 1801.28 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb |
MD5SUM | 6f10a43564a9251299e57f9c0057d233 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 79.9219 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 34451 |
Total number of constraints | 102181 |
Number of constraints which are clauses | 102180 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 34060 |
Number of terms in the objective function | 131 |
Biggest coefficient in the objective function | 1361129467683753853853498429727072845824 |
Number of bits for the biggest coefficient in the objective function | 131 |
Sum of the numbers in the objective function | 2722258935367507707706996859454145691647 |
Number of bits of the sum of numbers in the objective function | 131 |
Biggest number in a constraint | 1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818112 |
Number of bits of the biggest number in a constraint | 390 |
Biggest sum of numbers in a constraint | 5043456793138493339171717132818382567048530064817703149238847471651876572267107280016735989126993020184591974005456899 |
Number of bits of the biggest sum of numbers | 391 |
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 Parsing PB file... 4.75 c Converting 102182 PB-constraints to clauses... 4.78 c -- Unit propagations: (none) 54.34 c -- Detecting intervals from adjacent constraints: # 54.37 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 54.57 c ---[ 0]---> Adder-cost: 50046 maxlim: 30161415754253808332732546403713039816434649954166935236567333510884130353856511 bits: 265/265 143.53 c ==================================[MINISAT+]================================== 143.53 c | Conflicts | Original | Learnt | Progress | 143.53 c | | Clauses Literals | Max Clauses Literals LPC | | 143.53 c ============================================================================== 143.53 c | 0 | 432922 1437866 | 144307 0 0 nan | 0.000 % | 143.53 c | 100 | 432922 1437866 | 158737 100 311 3.1 | 11.141 % | 144.05 c | 250 | 432038 1434742 | 174611 131 407 3.1 | 11.317 % | 144.26 c | 475 | 431972 1434528 | 192072 348 1115 3.2 | 11.332 % | 145.62 c | 812 | 431972 1434528 | 211279 685 2850 4.2 | 11.332 % | 146.28 c | 1318 | 431972 1434528 | 232407 1191 56667 47.6 | 11.332 % | 148.31 c | 2080 | 431972 1434528 | 255648 1953 88860 45.5 | 11.332 % | 154.97 c | 3222 | 431972 1434528 | 281213 3095 158723 51.3 | 11.332 % | 161.88 c | 4932 | 431972 1434528 | 309334 4805 238042 49.5 | 11.332 % | 170.60 c | 7497 | 431972 1434528 | 340268 7370 338654 46.0 | 11.332 % | 176.64 c | 11342 | 431972 1434528 | 374295 11215 841436 75.0 | 11.332 % | 188.18 c | 17108 | 431963 1434499 | 411724 16980 1357404 79.9 | 11.334 % | 222.06 c | 25757 | 431947 1434447 | 452897 25627 2804234 109.4 | 11.337 % | 247.92 c | 38731 | 431914 1434336 | 498186 38597 4510975 116.9 | 11.344 % | 292.51 c | 58192 | 431896 1434270 | 548005 58056 7067601 121.7 | 11.347 % | 430.02 c | 87386 | 431820 1434018 | 602806 87167 11297778 129.6 | 11.361 % | 504.35 c | 131176 | 431804 1433966 | 663086 130955 17691698 135.1 | 11.364 % | 640.54 c | 196863 | 431804 1433966 | 729395 196642 32953000 167.6 | 11.364 % | 1175.28 c | 295390 | 431784 1433892 | 802334 295163 50562264 171.3 | 11.367 % | 1801.21 c 1801.21 c *** TERMINATED *** 1801.21 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node51/watcher-49833-1154121512 -o ROOT/results/node51/solver-49833-1154121512 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/49833-1154121512/instance-49833-1154121512.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 6431 /proc/meminfo: memFree=1096368/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=1048 CPUtime=0 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 96 0 0 0 0 0 0 0 19 0 1 0 159021840 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 262 81 67 215 0 44 0 [startup+10.0017 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=1052536/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=45292 CPUtime=9.98 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 11678 0 0 0 993 5 0 0 25 0 1 0 159021840 46379008 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 11323 11003 83 215 0 11105 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 45292 [startup+20.0076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=1052792/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=45292 CPUtime=19.98 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 11678 0 0 0 1993 5 0 0 25 0 1 0 159021840 46379008 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812700 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 11323 11003 83 215 0 11105 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 45292 [startup+30.0135 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=1052856/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=45292 CPUtime=29.99 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 11678 0 0 0 2993 6 0 0 25 0 1 0 159021840 46379008 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 11323 11003 83 215 0 11105 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 45292 [startup+40.0194 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=1052920/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=45292 CPUtime=39.99 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 11678 0 0 0 3993 6 0 0 25 0 1 0 159021840 46379008 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809925 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 11323 11003 83 215 0 11105 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 45292 [startup+50.0253 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=1052920/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=45292 CPUtime=50 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 11678 0 0 0 4994 6 0 0 25 0 1 0 159021840 46379008 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 11323 11003 83 215 0 11105 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 45292 [startup+60.0312 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=1015352/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=83208 CPUtime=60 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 21501 0 0 0 5981 19 0 0 25 0 1 0 159021840 85204992 20411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 20802 20411 92 215 0 20584 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 83208 [startup+70.0371 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=70 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53028 0 0 0 6967 33 0 0 25 0 1 0 159021840 215334912 51697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005288 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51697 92 215 0 52354 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 210288 [startup+80.043 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=80 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53028 0 0 0 7967 33 0 0 25 0 1 0 159021840 215334912 51697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51697 92 215 0 52354 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 210288 [startup+90.0489 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=90 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53029 0 0 0 8967 33 0 0 25 0 1 0 159021840 215334912 51698 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839068 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51698 92 215 0 52354 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 210288 [startup+100.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=100 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53029 0 0 0 9967 33 0 0 25 0 1 0 159021840 215334912 51698 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838474 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51698 92 215 0 52354 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 210288 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=110.01 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53030 0 0 0 10968 33 0 0 25 0 1 0 159021840 215334912 51699 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51699 92 215 0 52354 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 210288 [startup+120.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=120.01 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53030 0 0 0 11968 33 0 0 25 0 1 0 159021840 215334912 51699 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51699 92 215 0 52354 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 210288 [startup+130.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=889656/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=210288 CPUtime=130.01 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 53030 0 0 0 12968 33 0 0 25 0 1 0 159021840 215334912 51699 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 52572 51699 92 215 0 52354 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 210288 [startup+140.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=883384/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=216748 CPUtime=140.02 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 54807 0 0 0 13968 34 0 0 25 0 1 0 159021840 221949952 53311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 54187 53311 105 215 0 53969 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 216748 [startup+150.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=888056/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=212280 CPUtime=150.03 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 55406 0 0 0 14968 35 0 0 25 0 1 0 159021840 217374720 52161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577059 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 53070 52161 123 215 0 52852 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 212280 [startup+160.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=888056/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=212280 CPUtime=160.03 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 55406 0 0 0 15968 35 0 0 25 0 1 0 159021840 217374720 52161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580418 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 53070 52161 123 215 0 52852 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 212280 [startup+170.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=888056/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=212280 CPUtime=170.05 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 55406 0 0 0 16970 35 0 0 25 0 1 0 159021840 217374720 52161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 53070 52161 123 215 0 52852 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 212280 [startup+180.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=888056/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=212280 CPUtime=180.05 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 55406 0 0 0 17970 35 0 0 25 0 1 0 159021840 217374720 52161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 53070 52161 123 215 0 52852 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 212280 [startup+190.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=888056/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=212280 CPUtime=190.06 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 55408 0 0 0 18971 35 0 0 25 0 1 0 159021840 217374720 52163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 53070 52163 123 215 0 52852 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 212280 [startup+200.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 /proc/meminfo: memFree=887992/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=212280 CPUtime=200.06 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 55422 0 0 0 19971 35 0 0 25 0 1 0 159021840 217374720 52177 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 53070 52177 123 215 0 52852 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 212280 [startup+210.136 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6431 ################ # More data... # ################ /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178091 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 331748 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1782.62 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178191 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 331748 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1783.63 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178292 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 331748 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1784.63 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178392 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 331748 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1785.64 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178493 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 331748 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1786.64 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178593 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 331748 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1787.64 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178693 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 331748 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1788.65 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178794 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 331748 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1789.65 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178894 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 331748 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1790.66 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 178995 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 331748 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1791.66 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 179095 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579567 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 331748 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1792.67 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 179196 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576769 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 331748 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1793.67 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85138 0 0 0 179296 71 0 0 25 0 1 0 159021840 339709952 81893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81893 123 215 0 82719 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 331748 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1794.68 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85139 0 0 0 179397 71 0 0 25 0 1 0 159021840 339709952 81894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81894 123 215 0 82719 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 331748 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1795.68 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85139 0 0 0 179497 71 0 0 25 0 1 0 159021840 339709952 81894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81894 123 215 0 82719 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 331748 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1796.68 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85139 0 0 0 179597 71 0 0 25 0 1 0 159021840 339709952 81894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81894 123 215 0 82719 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 331748 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1797.69 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85140 0 0 0 179698 71 0 0 25 0 1 0 159021840 339709952 81895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81895 123 215 0 82719 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 331748 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1798.69 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85140 0 0 0 179798 71 0 0 25 0 1 0 159021840 339709952 81895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81895 123 215 0 82719 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 331748 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1799.7 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85140 0 0 0 179899 71 0 0 25 0 1 0 159021840 339709952 81895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81895 123 215 0 82719 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 331748 [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1800.7 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85140 0 0 0 179999 71 0 0 25 0 1 0 159021840 339709952 81895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81895 123 215 0 82719 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 331748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6433 /proc/meminfo: memFree=768632/2055920 swapFree=4183068/4192956 [pid=6431] ppid=6429 vsize=331748 CPUtime=1800.71 /proc/6431/stat : 6431 (minisat+) R 6429 6431 6382 0 -1 4194304 85140 0 0 0 180000 71 0 0 25 0 1 0 159021840 339709952 81895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6431/statm: 82937 81895 123 215 0 82719 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 331748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.28 CPU time (s): 1800.77 CPU user time (s): 1800 CPU system time (s): 0.770882 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (Kb): 331748 The end
Begin job on node51 on Fri Jul 28 21:18:32 UTC 2006 FILE ID= 49833-1154121512 PBS_JOBID= 886997 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/49833-1154121512/instance-49833-1154121512.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-49833-1154121512 -o ROOT/results/node51/solver-49833-1154121512 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/49833-1154121512/instance-49833-1154121512.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 6f10a43564a9251299e57f9c0057d233 RANDOM SEED= 331936792 TIMEOUT= 1800 seconds /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.231 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.231 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: 1096512 kB Buffers: 27372 kB Cached: 873984 kB SwapCached: 3588 kB Active: 36512 kB Inactive: 873348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1096512 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14496 kB Slab: 35576 kB Committed_AS: 720388 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Fri Jul 28 21:48:34 UTC 2006