Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.68 | 1801.24 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb |
MD5SUM | 91a5420b80ffdfe2edd36883df6730be |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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.73 c Converting 102182 PB-constraints to clauses... 4.76 c -- Unit propagations: (none) 54.14 c -- Detecting intervals from adjacent constraints: # 54.16 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 54.37 c ---[ 0]---> Adder-cost: 50046 maxlim: 30161415754253808332732546403713039816434649954166935236567333510884130353856511 bits: 265/265 143.52 c ==================================[MINISAT+]================================== 143.52 c | Conflicts | Original | Learnt | Progress | 143.52 c | | Clauses Literals | Max Clauses Literals LPC | | 143.52 c ============================================================================== 143.52 c | 0 | 432922 1437866 | 144307 0 0 nan | 0.000 % | 143.53 c | 100 | 432922 1437866 | 158737 100 311 3.1 | 11.141 % | 143.91 c | 250 | 432110 1434988 | 174611 144 1303 9.0 | 11.302 % | 144.01 c | 475 | 432110 1434988 | 192072 369 5044 13.7 | 11.303 % | 144.18 c | 813 | 432110 1434988 | 211279 707 13425 19.0 | 11.303 % | 144.42 c | 1320 | 432110 1434988 | 232407 1214 25386 20.9 | 11.303 % | 144.85 c | 2079 | 432110 1434988 | 255648 1973 42965 21.8 | 11.303 % | 145.19 c | 3218 | 432110 1434988 | 281213 3112 98482 31.6 | 11.303 % | 146.17 c | 4926 | 432110 1434988 | 309334 4820 147004 30.5 | 11.303 % | 156.78 c | 7493 | 432092 1434930 | 340268 7385 200754 27.2 | 11.307 % | 165.88 c | 11339 | 432092 1434930 | 374295 11231 564732 50.3 | 11.307 % | 177.12 c | 17107 | 432092 1434930 | 411724 16999 1247922 73.4 | 11.307 % | 197.51 c | 25757 | 432092 1434930 | 452897 25649 1742428 67.9 | 11.307 % | 205.59 c | 38731 | 432092 1434930 | 498186 38623 3120746 80.8 | 11.307 % | 230.28 c | 58192 | 432092 1434930 | 548005 58084 4744319 81.7 | 11.307 % | 286.96 c | 87384 | 432092 1434930 | 602806 87276 8224279 94.2 | 11.307 % | 332.58 c | 131173 | 432040 1434750 | 663086 131056 14770821 112.7 | 11.318 % | 465.23 c | 196860 | 432040 1434750 | 729395 196743 27706978 140.8 | 11.318 % | 647.99 c | 295387 | 432032 1434724 | 802334 295269 49685775 168.3 | 11.319 % | 999.05 c | 443177 | 432016 1434672 | 882568 443057 61967484 139.9 | 11.321 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 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/node14/watcher-49843-1154122304 -o ROOT/results/node14/solver-49843-1154122304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node14/49843-1154122304/instance-49843-1154122304.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 4/64 2744 /proc/meminfo: memFree=1288808/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=1048 CPUtime=0 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 159091334 1073152 95 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134571941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 262 95 74 215 0 44 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1245048/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=45296 CPUtime=9.99 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 992 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 45296 [startup+20.0093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1245312/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=45296 CPUtime=19.99 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 1992 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621528 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 45296 [startup+30.0152 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1245376/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=45296 CPUtime=30 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 2993 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809928 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 45296 [startup+40.0212 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1245440/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=45296 CPUtime=40 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 3993 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 45296 [startup+50.0271 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1245440/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=45296 CPUtime=50 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 11678 0 0 0 4993 7 0 0 25 0 1 0 159091334 46383104 11004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 45296 [startup+60.0331 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1206528/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=84572 CPUtime=60 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 21822 0 0 0 5978 22 0 0 25 0 1 0 159091334 86601728 20733 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808937 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 21143 20733 92 215 0 20925 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 84572 [startup+70.039 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=70.01 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53017 0 0 0 6966 35 0 0 25 0 1 0 159091334 215339008 51687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51687 92 215 0 52355 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 210292 [startup+80.046 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=80.01 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53020 0 0 0 7966 35 0 0 25 0 1 0 159091334 215339008 51690 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51690 92 215 0 52355 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 210292 [startup+90.0509 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=90.02 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53022 0 0 0 8967 35 0 0 25 0 1 0 159091334 215339008 51692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51692 92 215 0 52355 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 210292 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=100.02 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53022 0 0 0 9967 35 0 0 25 0 1 0 159091334 215339008 51692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134833880 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51692 92 215 0 52355 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 210292 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=110.02 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53023 0 0 0 10967 35 0 0 25 0 1 0 159091334 215339008 51693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51693 92 215 0 52355 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 210292 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=120.02 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53023 0 0 0 11967 35 0 0 25 0 1 0 159091334 215339008 51693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51693 92 215 0 52355 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 210292 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1082240/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=210292 CPUtime=130.03 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 53023 0 0 0 12968 35 0 0 25 0 1 0 159091334 215339008 51693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530490 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 52573 51693 92 215 0 52355 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 210292 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1075904/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=216752 CPUtime=140.03 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 54810 0 0 0 13967 36 0 0 25 0 1 0 159091334 221954048 53315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 54188 53315 105 215 0 53970 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 216752 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=212284 CPUtime=150.03 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55396 0 0 0 14967 36 0 0 25 0 1 0 159091334 217378816 52149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 53071 52149 123 215 0 52853 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 212284 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1080640/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=212284 CPUtime=160.04 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55407 0 0 0 15968 36 0 0 25 0 1 0 159091334 217378816 52160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 53071 52160 123 215 0 52853 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 212284 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1080640/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=212284 CPUtime=170.04 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55407 0 0 0 16968 36 0 0 25 0 1 0 159091334 217378816 52160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 53071 52160 123 215 0 52853 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 212284 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=212284 CPUtime=180.04 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55409 0 0 0 17968 36 0 0 25 0 1 0 159091334 217378816 52162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 53071 52162 123 215 0 52853 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 212284 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=212284 CPUtime=190.04 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55409 0 0 0 18968 36 0 0 25 0 1 0 159091334 217378816 52162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 53071 52162 123 215 0 52853 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 212284 [startup+200.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 /proc/meminfo: memFree=1080576/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=212284 CPUtime=200.05 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 55411 0 0 0 19969 36 0 0 25 0 1 0 159091334 217378816 52164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 53071 52164 123 215 0 52853 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 212284 [startup+210.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2744 ################ # More data... # ################ /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105079 0 0 0 178056 96 0 0 25 0 1 0 159091334 421396480 101832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 102880 101832 123 215 0 102662 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 411520 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/70 2928 /proc/meminfo: memFree=880064/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=411652 CPUtime=1782.53 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105095 0 0 0 178156 97 0 0 25 0 1 0 159091334 421531648 101848 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 102913 101848 123 215 0 102695 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 411652 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880944/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=411652 CPUtime=1783.52 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105115 0 0 0 178255 97 0 0 25 0 1 0 159091334 421531648 101868 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 102913 101868 123 215 0 102695 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 411652 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880944/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=411780 CPUtime=1784.52 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105130 0 0 0 178355 97 0 0 25 0 1 0 159091334 421662720 101883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574256 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 102945 101883 123 215 0 102727 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 411780 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880944/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=411780 CPUtime=1785.53 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105148 0 0 0 178456 97 0 0 25 0 1 0 159091334 421662720 101901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 102945 101901 123 215 0 102727 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 411780 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880872/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=411908 CPUtime=1786.53 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105169 0 0 0 178556 97 0 0 25 0 1 0 159091334 421793792 101922 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 102977 101922 123 215 0 102759 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 411908 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880808/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412040 CPUtime=1787.54 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105194 0 0 0 178657 97 0 0 25 0 1 0 159091334 421928960 101947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574403 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103010 101947 123 215 0 102792 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 412040 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880744/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412040 CPUtime=1788.54 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105209 0 0 0 178757 97 0 0 25 0 1 0 159091334 421928960 101962 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103010 101962 123 215 0 102792 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 412040 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880624/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412168 CPUtime=1789.55 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105229 0 0 0 178858 97 0 0 25 0 1 0 159091334 422060032 101982 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103042 101982 123 215 0 102824 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 412168 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880560/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412168 CPUtime=1790.55 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105249 0 0 0 178958 97 0 0 25 0 1 0 159091334 422060032 102002 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103042 102002 123 215 0 102824 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 412168 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880560/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412300 CPUtime=1791.56 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105258 0 0 0 179059 97 0 0 25 0 1 0 159091334 422195200 102011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103075 102011 123 215 0 102857 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 412300 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880496/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412300 CPUtime=1792.56 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105271 0 0 0 179159 97 0 0 25 0 1 0 159091334 422195200 102024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103075 102024 123 215 0 102857 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 412300 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880448/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412428 CPUtime=1793.57 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105283 0 0 0 179260 97 0 0 25 0 1 0 159091334 422326272 102036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103107 102036 123 215 0 102889 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 412428 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880384/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412428 CPUtime=1794.57 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105296 0 0 0 179360 97 0 0 25 0 1 0 159091334 422326272 102049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103107 102049 123 215 0 102889 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 412428 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880320/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412428 CPUtime=1795.58 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105312 0 0 0 179461 97 0 0 25 0 1 0 159091334 422326272 102065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103107 102065 123 215 0 102889 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 412428 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880256/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412556 CPUtime=1796.58 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105330 0 0 0 179561 97 0 0 25 0 1 0 159091334 422457344 102083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103139 102083 123 215 0 102921 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 412556 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880192/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412688 CPUtime=1797.58 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105352 0 0 0 179661 97 0 0 25 0 1 0 159091334 422592512 102105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103172 102105 123 215 0 102954 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 412688 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880128/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412688 CPUtime=1798.59 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105369 0 0 0 179762 97 0 0 25 0 1 0 159091334 422592512 102122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103172 102122 123 215 0 102954 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 412688 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=880000/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412820 CPUtime=1799.59 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105394 0 0 0 179862 97 0 0 25 0 1 0 159091334 422727680 102147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103205 102147 123 215 0 102987 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 412820 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=879936/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412948 CPUtime=1800.6 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105409 0 0 0 179963 97 0 0 25 0 1 0 159091334 422858752 102162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103237 102162 123 215 0 103019 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 412948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2944 /proc/meminfo: memFree=879936/2055920 swapFree=4183052/4192956 [pid=2744] ppid=2742 vsize=412948 CPUtime=1800.6 /proc/2744/stat : 2744 (minisat+) R 2742 2744 2695 0 -1 4194304 105409 0 0 0 179963 97 0 0 25 0 1 0 159091334 422858752 102162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2744/statm: 103237 102162 123 215 0 103019 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 412948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.68 CPU user time (s): 1799.64 CPU system time (s): 1.04284 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 412948 The end
Begin job on node14 on Fri Jul 28 21:31:44 UTC 2006 FILE ID= 49843-1154122304 PBS_JOBID= 887037 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node14/49843-1154122304/instance-49843-1154122304.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-49843-1154122304 -o ROOT/results/node14/solver-49843-1154122304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node14/49843-1154122304/instance-49843-1154122304.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 91a5420b80ffdfe2edd36883df6730be RANDOM SEED= 196519174 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.235 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.235 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: 1289080 kB Buffers: 42440 kB Cached: 643124 kB SwapCached: 3956 kB Active: 111356 kB Inactive: 583036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1289080 kB SwapTotal: 4192956 kB SwapFree: 4183052 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14784 kB Slab: 58456 kB Committed_AS: 661108 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Fri Jul 28 22:01:46 UTC 2006