Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.84 | 1801.3 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb |
MD5SUM | 50ead5886965da8908c50d598d2024b3 |
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 | 39901 |
Total number of constraints | 118441 |
Number of constraints which are clauses | 118440 |
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 | 39480 |
Number of terms in the objective function | 141 |
Biggest coefficient in the objective function | 1393796574908163946345982392040522594123776 |
Number of bits for the biggest coefficient in the objective function | 141 |
Sum of the numbers in the objective function | 2787593149816327892691964784081045188247551 |
Number of bits of the sum of numbers in the objective function | 141 |
Biggest number in a constraint | 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 |
Number of bits of the biggest number in a constraint | 420 |
Biggest sum of numbers in a constraint | 5415370496329716522614090203404460358274290488264820097939793578523366423469831924776142526293328950606202579825495873831248858 |
Number of bits of the biggest sum of numbers | 421 |
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... 5.58 c Converting 118442 PB-constraints to clauses... 5.61 c -- Unit propagations: (none) 71.34 c -- Detecting intervals from adjacent constraints: # 71.37 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 71.59 c ---[ 0]---> Adder-cost: 58934 maxlim: 272648223483252509978077031521110984960557175699598862161260817244146115262116210465832 bits: 288/288 187.07 c ==================================[MINISAT+]================================== 187.07 c | Conflicts | Original | Learnt | Progress | 187.07 c | | Clauses Literals | Max Clauses Literals LPC | | 187.07 c ============================================================================== 187.07 c | 0 | 508917 1691798 | 169639 0 0 nan | 0.000 % | 187.93 c | 100 | 508340 1689751 | 186602 20 62 3.1 | 10.642 % | 189.43 c | 250 | 508195 1689242 | 205263 151 2501 16.6 | 10.668 % | 189.55 c | 477 | 508195 1689242 | 225789 378 16342 43.2 | 10.668 % | 190.87 c | 817 | 508195 1689242 | 248368 718 32798 45.7 | 10.668 % | 191.51 c | 1324 | 508160 1689117 | 273205 1221 66875 54.8 | 10.674 % | 192.10 c | 2084 | 508160 1689117 | 300525 1981 96860 48.9 | 10.674 % | 192.66 c | 3223 | 508160 1689117 | 330578 3120 162835 52.2 | 10.674 % | 201.40 c | 4931 | 508160 1689117 | 363636 4828 309684 64.1 | 10.674 % | 207.14 c | 7494 | 508142 1689057 | 399999 7380 497412 67.4 | 10.677 % | 226.54 c | 11340 | 508107 1688932 | 439999 11221 987747 88.0 | 10.683 % | 231.84 c | 17107 | 508107 1688932 | 483999 16988 2315638 136.3 | 10.683 % | 241.59 c | 25756 | 508107 1688932 | 532399 25637 2798049 109.1 | 10.683 % | 262.30 c | 38730 | 508107 1688932 | 585639 38611 3969722 102.8 | 10.683 % | 298.62 c | 58192 | 508107 1688932 | 644203 58073 6426901 110.7 | 10.683 % | 343.66 c | 87384 | 508107 1688932 | 708624 87265 9115155 104.5 | 10.683 % | 572.57 c | 131174 | 508107 1688932 | 779486 131055 14339185 109.4 | 10.683 % | 808.91 c | 196859 | 508107 1688932 | 857435 196740 19660622 99.9 | 10.683 % | 985.46 c | 295390 | 508064 1688781 | 943178 295266 31007913 105.0 | 10.689 % | 1574.26 c | 443180 | 508064 1688781 | 1037496 443056 45437184 102.6 | 10.689 % | 1801.24 c 1801.24 c *** TERMINATED *** 1801.24 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/node26/watcher-49871-1154124388 -o ROOT/results/node26/solver-49871-1154124388 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node26/49871-1154124388/instance-49871-1154124388.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1179544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=1048 CPUtime=0 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 100 0 0 0 0 0 0 0 18 0 1 0 159298921 1073152 84 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 262 85 67 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128280/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=9.98 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 990 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 52528 [startup+20.0095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128472/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=19.99 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 1991 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 52528 [startup+30.0165 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128536/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=29.99 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 2991 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805824 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 52528 [startup+40.0225 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128664/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=39.99 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 3991 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621290 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 52528 [startup+50.0285 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128728/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=50 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 4992 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 52528 [startup+60.0345 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128728/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=60 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 5992 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812626 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 52528 [startup+70.0405 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1128728/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=52528 CPUtime=70 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 13557 0 0 0 6992 8 0 0 25 0 1 0 159298921 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805854 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 52528 [startup+80.0465 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=1051864/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=131564 CPUtime=80 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 33679 0 0 0 7968 32 0 0 25 0 1 0 159298921 134721536 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 32891 32107 92 215 0 32673 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 131564 [startup+90.0525 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=915544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=269628 CPUtime=90.01 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67903 0 0 0 8956 45 0 0 25 0 1 0 159298921 276099072 66070 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012112 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 67407 66070 92 215 0 67189 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 269628 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=915544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=269628 CPUtime=100.02 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67918 0 0 0 9957 45 0 0 25 0 1 0 159298921 276099072 66085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 67407 66085 92 215 0 67189 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 269628 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=915544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=269628 CPUtime=110.02 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67919 0 0 0 10957 45 0 0 25 0 1 0 159298921 276099072 66086 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 67407 66086 92 215 0 67189 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 269628 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=915544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=269628 CPUtime=120.02 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67919 0 0 0 11957 45 0 0 25 0 1 0 159298921 276099072 66086 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 67407 66086 92 215 0 67189 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 269628 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=915544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=269628 CPUtime=130.03 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67920 0 0 0 12958 45 0 0 25 0 1 0 159298921 276099072 66087 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 67407 66087 92 215 0 67189 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 269628 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=915544/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=269628 CPUtime=140.03 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67920 0 0 0 13958 45 0 0 25 0 1 0 159298921 276099072 66087 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 67407 66087 92 215 0 67189 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 269628 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=917528/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=266512 CPUtime=150.03 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67920 0 0 0 14958 45 0 0 25 0 1 0 159298921 272908288 65560 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012162 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 66628 65560 92 215 0 66410 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 266512 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=919640/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=263396 CPUtime=160.04 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67920 0 0 0 15959 45 0 0 25 0 1 0 159298921 269717504 65015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 65849 65015 92 215 0 65631 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 263396 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=921624/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=260608 CPUtime=170.04 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 67920 0 0 0 16959 45 0 0 25 0 1 0 159298921 266862592 64522 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005773 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 65152 64522 92 215 0 64934 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 260608 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=922200/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=260144 CPUtime=180.05 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 68196 0 0 0 17959 46 0 0 25 0 1 0 159298921 266387456 64381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 65036 64381 92 215 0 64818 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 260144 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=916632/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=266228 CPUtime=190.05 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 70492 0 0 0 18958 47 0 0 25 0 1 0 159298921 272617472 65852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 66557 65852 123 215 0 66339 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 266228 [startup+200.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=916632/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=266228 CPUtime=200.05 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 70492 0 0 0 19958 47 0 0 25 0 1 0 159298921 272617472 65852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 66557 65852 123 215 0 66339 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 266228 [startup+210.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 ################ # More data... # ################ /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 92493 0 0 0 178098 69 0 0 25 0 1 0 159298921 363450368 87853 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 88733 87853 123 215 0 88515 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (Kb) 354932 [startup+1783.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=827992/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=355328 CPUtime=1782.68 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 92578 0 0 0 178199 69 0 0 25 0 1 0 159298921 363855872 87938 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 88832 87938 123 215 0 88614 0 Current children cumulated CPU time (s) 1782.68 Current children cumulated vsize (Kb) 355328 [startup+1784.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=827672/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=355588 CPUtime=1783.69 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 92659 0 0 0 178299 70 0 0 25 0 1 0 159298921 364122112 88019 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 88897 88019 123 215 0 88679 0 Current children cumulated CPU time (s) 1783.69 Current children cumulated vsize (Kb) 355588 [startup+1785.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=827288/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=355984 CPUtime=1784.69 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 92748 0 0 0 178399 70 0 0 25 0 1 0 159298921 364527616 88108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 88996 88108 123 215 0 88778 0 Current children cumulated CPU time (s) 1784.69 Current children cumulated vsize (Kb) 355984 [startup+1786.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=826904/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=356380 CPUtime=1785.7 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 92851 0 0 0 178500 70 0 0 25 0 1 0 159298921 364933120 88211 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573857 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89095 88211 123 215 0 88877 0 Current children cumulated CPU time (s) 1785.7 Current children cumulated vsize (Kb) 356380 [startup+1787.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=826520/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=356772 CPUtime=1786.7 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 92941 0 0 0 178600 70 0 0 25 0 1 0 159298921 365334528 88301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89193 88301 123 215 0 88975 0 Current children cumulated CPU time (s) 1786.7 Current children cumulated vsize (Kb) 356772 [startup+1788.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=826200/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=357168 CPUtime=1787.71 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93024 0 0 0 178701 70 0 0 25 0 1 0 159298921 365740032 88384 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89292 88384 123 215 0 89074 0 Current children cumulated CPU time (s) 1787.71 Current children cumulated vsize (Kb) 357168 [startup+1789.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=825880/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=357428 CPUtime=1788.71 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93103 0 0 0 178801 70 0 0 25 0 1 0 159298921 366006272 88463 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89357 88463 123 215 0 89139 0 Current children cumulated CPU time (s) 1788.71 Current children cumulated vsize (Kb) 357428 [startup+1790.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=825560/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=357824 CPUtime=1789.71 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93189 0 0 0 178901 70 0 0 25 0 1 0 159298921 366411776 88549 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89456 88549 123 215 0 89238 0 Current children cumulated CPU time (s) 1789.71 Current children cumulated vsize (Kb) 357824 [startup+1791.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=825048/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=358280 CPUtime=1790.71 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93318 0 0 0 179001 70 0 0 25 0 1 0 159298921 366878720 88678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89570 88678 123 215 0 89352 0 Current children cumulated CPU time (s) 1790.71 Current children cumulated vsize (Kb) 358280 [startup+1792.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=824728/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=358540 CPUtime=1791.72 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93394 0 0 0 179102 70 0 0 25 0 1 0 159298921 367144960 88754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89635 88754 123 215 0 89417 0 Current children cumulated CPU time (s) 1791.72 Current children cumulated vsize (Kb) 358540 [startup+1793.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=824408/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=358936 CPUtime=1792.72 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93478 0 0 0 179202 70 0 0 25 0 1 0 159298921 367550464 88838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89734 88838 123 215 0 89516 0 Current children cumulated CPU time (s) 1792.72 Current children cumulated vsize (Kb) 358936 [startup+1794.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=824024/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=359328 CPUtime=1793.74 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93562 0 0 0 179303 71 0 0 25 0 1 0 159298921 367951872 88922 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89832 88922 123 215 0 89614 0 Current children cumulated CPU time (s) 1793.74 Current children cumulated vsize (Kb) 359328 [startup+1795.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=823768/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=359592 CPUtime=1794.74 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93638 0 0 0 179403 71 0 0 25 0 1 0 159298921 368222208 88998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 89898 88998 123 215 0 89680 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (Kb) 359592 [startup+1796.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=823128/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=360248 CPUtime=1795.74 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93795 0 0 0 179503 71 0 0 25 0 1 0 159298921 368893952 89155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90062 89155 123 215 0 89844 0 Current children cumulated CPU time (s) 1795.74 Current children cumulated vsize (Kb) 360248 [startup+1797.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=822680/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=360640 CPUtime=1796.75 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93896 0 0 0 179604 71 0 0 25 0 1 0 159298921 369295360 89256 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580806 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90160 89256 123 215 0 89942 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (Kb) 360640 [startup+1798.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=822360/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=360904 CPUtime=1797.75 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 93984 0 0 0 179704 71 0 0 25 0 1 0 159298921 369565696 89344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90226 89344 123 215 0 90008 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (Kb) 360904 [startup+1799.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=822040/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=361168 CPUtime=1798.75 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 94055 0 0 0 179804 71 0 0 25 0 1 0 159298921 369836032 89415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90292 89415 123 215 0 90074 0 Current children cumulated CPU time (s) 1798.75 Current children cumulated vsize (Kb) 361168 [startup+1800.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=821784/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=361560 CPUtime=1799.76 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 94128 0 0 0 179905 71 0 0 25 0 1 0 159298921 370237440 89488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90390 89488 123 215 0 90172 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (Kb) 361560 [startup+1801.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=821400/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=361824 CPUtime=1800.76 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 94217 0 0 0 180005 71 0 0 25 0 1 0 159298921 370507776 89577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90456 89577 123 215 0 90238 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (Kb) 361824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29173 /proc/meminfo: memFree=821400/2055920 swapFree=4177816/4192956 [pid=29173] ppid=29171 vsize=361824 CPUtime=1800.77 /proc/29173/stat : 29173 (minisat+) R 29171 29173 29124 0 -1 4194304 94217 0 0 0 180006 71 0 0 25 0 1 0 159298921 370507776 89577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576165 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29173/statm: 90456 89577 123 215 0 90238 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (Kb) 361824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.84 CPU user time (s): 1800.06 CPU system time (s): 0.776881 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (Kb): 361824 The end
Begin job on node26 on Fri Jul 28 22:06:28 UTC 2006 FILE ID= 49871-1154124388 PBS_JOBID= 887149 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node26/49871-1154124388/instance-49871-1154124388.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-49871-1154124388 -o ROOT/results/node26/solver-49871-1154124388 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node26/49871-1154124388/instance-49871-1154124388.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 50ead5886965da8908c50d598d2024b3 RANDOM SEED= 547641584 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.225 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.225 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: 1179752 kB Buffers: 40356 kB Cached: 751948 kB SwapCached: 8804 kB Active: 148516 kB Inactive: 657840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1179752 kB SwapTotal: 4192956 kB SwapFree: 4177816 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14468 kB Slab: 55876 kB Committed_AS: 749780 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Fri Jul 28 22:36:30 UTC 2006