Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.59 | 1801.29 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb |
MD5SUM | df413fd91ea32ba4084c4b3fbb11e44d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 117.794 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 45751 |
Total number of constraints | 135901 |
Number of constraints which are clauses | 135900 |
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 | 45300 |
Number of terms in the objective function | 151 |
Biggest coefficient in the objective function | 1427247692705959881058285969449495136382746624 |
Number of bits for the biggest coefficient in the objective function | 151 |
Sum of the numbers in the objective function | 2854495385411919762116571938898990272765493247 |
Number of bits of the sum of numbers in the objective function | 151 |
Biggest number in a constraint | 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312 |
Number of bits of the biggest number in a constraint | 450 |
Biggest sum of numbers in a constraint | 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784 |
Number of bits of the biggest sum of numbers | 451 |
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... 6.24 c Converting 135902 PB-constraints to clauses... 6.27 c -- Unit propagations: (none) 91.79 c -- Detecting intervals from adjacent constraints: # 91.83 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 92.08 c ---[ 0]---> Adder-cost: 67342 maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482 bits: 307/307 232.84 c ==================================[MINISAT+]================================== 232.84 c | Conflicts | Original | Learnt | Progress | 232.84 c | | Clauses Literals | Max Clauses Literals LPC | | 232.84 c ============================================================================== 232.84 c | 0 | 581730 1933891 | 193910 0 0 nan | 0.000 % | 232.91 c | 100 | 581714 1933839 | 213301 98 301 3.1 | 10.669 % | 233.58 c | 250 | 580951 1931134 | 234631 142 449 3.2 | 10.781 % | 233.70 c | 475 | 580881 1930884 | 258094 357 1115 3.1 | 10.792 % | 235.75 c | 812 | 580881 1930884 | 283903 694 4980 7.2 | 10.792 % | 239.74 c | 1320 | 580841 1930742 | 312293 1196 29420 24.6 | 10.797 % | 244.74 c | 2080 | 580841 1930742 | 343523 1956 59108 30.2 | 10.797 % | 251.15 c | 3219 | 580841 1930742 | 377875 3095 332845 107.5 | 10.797 % | 263.39 c | 4927 | 580841 1930742 | 415663 4803 404077 84.1 | 10.797 % | 289.91 c | 7490 | 580841 1930742 | 457229 7366 2207804 299.7 | 10.797 % | 303.75 c | 11334 | 580841 1930742 | 502952 11210 2737682 244.2 | 10.797 % | 344.88 c | 17101 | 580841 1930742 | 553247 16977 4068889 239.7 | 10.797 % | 378.06 c | 25750 | 580841 1930742 | 608572 25626 4769808 186.1 | 10.797 % | 459.69 c | 38725 | 580792 1930579 | 669429 38594 6264041 162.3 | 10.805 % | 494.09 c | 58187 | 580792 1930579 | 736372 58056 10819628 186.4 | 10.805 % | 541.55 c | 87379 | 580792 1930579 | 810010 87248 16774294 192.3 | 10.805 % | 623.10 c | 131169 | 580792 1930579 | 891011 131038 25914935 197.8 | 10.805 % | 775.62 c | 196855 | 580734 1930379 | 980112 196714 37910343 192.7 | 10.814 % | 1123.99 c | 295382 | 580645 1930078 | 1078123 292609 62196124 212.6 | 10.826 % | 1442.00 c | 443171 | 580435 1929398 | 1185935 440373 88245163 200.4 | 10.853 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 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/node24/watcher-49832-1154121454 -o ROOT/results/node24/solver-49832-1154121454 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node24/49832-1154121454/instance-49832-1154121454.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 6867 /proc/meminfo: memFree=1418808/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=1048 CPUtime=0 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 114 0 0 0 0 0 0 0 19 0 1 0 159006129 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 262 98 74 215 0 44 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1359552/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=9.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 60700 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1359808/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=19.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 1990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 60700 [startup+30.014 s] /proc/loadavg: 0.95 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1359936/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=29.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 2990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 60700 [startup+40.0199 s] /proc/loadavg: 0.96 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1359936/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=39.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 3990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808977 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 60700 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=49.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 4990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621583 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 60700 [startup+60.0317 s] /proc/loadavg: 0.97 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=59.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 5990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621811 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 60700 [startup+70.0376 s] /proc/loadavg: 0.97 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=69.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 6990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812703 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 60700 [startup+80.0435 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=79.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 7990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621814 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 60700 [startup+90.0504 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=60700 CPUtime=89.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 8990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 60700 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1294976/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=127180 CPUtime=99.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 33245 0 0 0 9971 28 0 0 25 0 1 0 159006129 130232320 31151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 31795 31151 92 215 0 31577 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 127180 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1101056/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=325192 CPUtime=109.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 81625 0 0 0 10951 48 0 0 25 0 1 0 159006129 332996608 79531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 81298 79531 92 215 0 81080 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 325192 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1096192/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=329672 CPUtime=119.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83059 0 0 0 11950 49 0 0 25 0 1 0 159006129 337584128 80682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6867/statm: 82418 80682 92 215 0 82200 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 329672 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1096128/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=329672 CPUtime=129.99 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 12950 49 0 0 25 0 1 0 159006129 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 82418 80703 92 215 0 82200 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 329672 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1096128/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=329672 CPUtime=140 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 13951 49 0 0 25 0 1 0 159006129 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 82418 80703 92 215 0 82200 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 329672 [startup+150.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1096128/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=329672 CPUtime=150 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 14951 49 0 0 25 0 1 0 159006129 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 82418 80703 92 215 0 82200 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 329672 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1097600/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=327212 CPUtime=160 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 15951 49 0 0 25 0 1 0 159006129 335065088 80283 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 81803 80283 92 215 0 81585 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 327212 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1099712/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=324260 CPUtime=170 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 16951 49 0 0 25 0 1 0 159006129 332042240 79751 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 81065 79751 92 215 0 80847 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 324260 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1101952/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=321308 CPUtime=180 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 17951 49 0 0 25 0 1 0 159006129 329019392 79193 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 80327 79193 92 215 0 80109 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 321308 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1104000/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=318684 CPUtime=190 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 18951 49 0 0 25 0 1 0 159006129 326332416 78681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 79671 78681 92 215 0 79453 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 318684 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 /proc/meminfo: memFree=1106112/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=316060 CPUtime=200 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 19951 49 0 0 25 0 1 0 159006129 323645440 78154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 79015 78154 92 215 0 78797 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 316060 [startup+210.127 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6867 ################ # More data... # ################ /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 140942 0 0 0 178043 97 0 0 25 0 1 0 159006129 552423424 134053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 134869 134053 123 215 0 134651 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 539476 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=882248/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=539608 CPUtime=1782.4 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 140966 0 0 0 178143 97 0 0 25 0 1 0 159006129 552558592 134077 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 134902 134077 123 215 0 134684 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 539608 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=882120/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=539732 CPUtime=1783.41 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141001 0 0 0 178244 97 0 0 25 0 1 0 159006129 552685568 134112 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 134933 134112 123 215 0 134715 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 539732 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881928/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=539856 CPUtime=1784.41 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141043 0 0 0 178344 97 0 0 25 0 1 0 159006129 552812544 134154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 134964 134154 123 215 0 134746 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 539856 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881864/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=539988 CPUtime=1785.42 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141065 0 0 0 178445 97 0 0 25 0 1 0 159006129 552947712 134176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 134997 134176 123 215 0 134779 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 539988 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881736/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=540120 CPUtime=1786.42 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141096 0 0 0 178545 97 0 0 25 0 1 0 159006129 553082880 134207 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135030 134207 123 215 0 134812 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 540120 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881480/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=540384 CPUtime=1787.42 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141159 0 0 0 178645 97 0 0 25 0 1 0 159006129 553353216 134270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135096 134270 123 215 0 134878 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 540384 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881288/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=540516 CPUtime=1788.43 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141196 0 0 0 178746 97 0 0 25 0 1 0 159006129 553488384 134307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135129 134307 123 215 0 134911 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 540516 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881160/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=540644 CPUtime=1789.43 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141229 0 0 0 178846 97 0 0 25 0 1 0 159006129 553619456 134340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135161 134340 123 215 0 134943 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 540644 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=881032/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=540776 CPUtime=1790.44 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141271 0 0 0 178947 97 0 0 25 0 1 0 159006129 553754624 134382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135194 134382 123 215 0 134976 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 540776 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=880776/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541040 CPUtime=1791.44 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141324 0 0 0 179047 97 0 0 25 0 1 0 159006129 554024960 134435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135260 134435 123 215 0 135042 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 541040 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=880712/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541040 CPUtime=1792.44 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141339 0 0 0 179147 97 0 0 25 0 1 0 159006129 554024960 134450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135260 134450 123 215 0 135042 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 541040 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=880520/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541300 CPUtime=1793.45 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141400 0 0 0 179248 97 0 0 25 0 1 0 159006129 554291200 134511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135325 134511 123 215 0 135107 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 541300 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=880200/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541564 CPUtime=1794.45 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141466 0 0 0 179348 97 0 0 25 0 1 0 159006129 554561536 134577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135391 134577 123 215 0 135173 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 541564 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=880136/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541688 CPUtime=1795.46 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141495 0 0 0 179449 97 0 0 25 0 1 0 159006129 554688512 134606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135422 134606 123 215 0 135204 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 541688 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=879944/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541820 CPUtime=1796.46 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141535 0 0 0 179549 97 0 0 25 0 1 0 159006129 554823680 134646 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135455 134646 123 215 0 135237 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 541820 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=879816/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=541952 CPUtime=1797.46 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141573 0 0 0 179649 97 0 0 25 0 1 0 159006129 554958848 134684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135488 134684 123 215 0 135270 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 541952 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=879688/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=542084 CPUtime=1798.48 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141603 0 0 0 179750 98 0 0 25 0 1 0 159006129 555094016 134714 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135521 134714 123 215 0 135303 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 542084 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=879368/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=542480 CPUtime=1799.48 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141674 0 0 0 179850 98 0 0 25 0 1 0 159006129 555499520 134785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135620 134785 123 215 0 135402 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 542480 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=879368/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=542480 CPUtime=1800.49 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141688 0 0 0 179951 98 0 0 25 0 1 0 159006129 555499520 134799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135620 134799 123 215 0 135402 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 542480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6869 /proc/meminfo: memFree=879368/2055920 swapFree=4183196/4192956 [pid=6867] ppid=6865 vsize=542480 CPUtime=1800.49 /proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141688 0 0 0 179951 98 0 0 25 0 1 0 159006129 555499520 134799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6867/statm: 135620 134799 123 215 0 135402 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 542480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.29 CPU time (s): 1800.59 CPU user time (s): 1799.52 CPU system time (s): 1.07384 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (Kb): 542480 The end
Begin job on node24 on Fri Jul 28 21:17:34 UTC 2006 FILE ID= 49832-1154121454 PBS_JOBID= 886993 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node24/49832-1154121454/instance-49832-1154121454.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-49832-1154121454 -o ROOT/results/node24/solver-49832-1154121454 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node24/49832-1154121454/instance-49832-1154121454.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= df413fd91ea32ba4084c4b3fbb11e44d RANDOM SEED= 129833282 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.266 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.266 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: 1418952 kB Buffers: 36660 kB Cached: 540660 kB SwapCached: 3672 kB Active: 64228 kB Inactive: 521864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1418952 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14492 kB Slab: 36796 kB Committed_AS: 630660 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Fri Jul 28 21:47:36 UTC 2006