Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.14 | 1800.8 |
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 | 14.3308 |
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/0.00 c Parsing PB file... 6.69/6.71 c Converting 135902 PB-constraints to clauses... 6.69/6.74 c -- Unit propagations: (none) 95.86/95.92 c -- Detecting intervals from adjacent constraints: # 95.86/95.95 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 96.16/96.20 c ---[ 0]---> Adder-cost: 67342 maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482 bits: 307/307 238.11/238.26 c ==================================[MINISAT+]================================== 238.11/238.26 c | Conflicts | Original | Learnt | Progress | 238.11/238.26 c | | Clauses Literals | Max Clauses Literals LPC | | 238.11/238.26 c ============================================================================== 238.11/238.26 c | 0 | 581730 1933891 | 193910 0 0 nan | 0.000 % | 238.21/238.33 c | 100 | 581714 1933839 | 213301 98 301 3.1 | 10.669 % | 238.81/238.98 c | 250 | 580951 1931134 | 234631 142 449 3.2 | 10.781 % | 239.01/239.10 c | 475 | 580881 1930884 | 258094 357 1115 3.1 | 10.792 % | 241.01/241.17 c | 812 | 580881 1930884 | 283903 694 4980 7.2 | 10.792 % | 245.01/245.16 c | 1320 | 580841 1930742 | 312293 1196 29420 24.6 | 10.797 % | 250.00/250.16 c | 2080 | 580841 1930742 | 343523 1956 59108 30.2 | 10.797 % | 256.40/256.56 c | 3219 | 580841 1930742 | 377875 3095 332845 107.5 | 10.797 % | 268.70/268.81 c | 4927 | 580841 1930742 | 415663 4803 404077 84.1 | 10.797 % | 295.19/295.33 c | 7490 | 580841 1930742 | 457229 7366 2207804 299.7 | 10.797 % | 308.99/309.18 c | 11334 | 580841 1930742 | 502952 11210 2737682 244.2 | 10.797 % | 350.17/350.30 c | 17101 | 580841 1930742 | 553247 16977 4068889 239.7 | 10.797 % | 383.36/383.51 c | 25750 | 580841 1930742 | 608572 25626 4769808 186.1 | 10.797 % | 464.93/465.20 c | 38725 | 580792 1930579 | 669429 38594 6264041 162.3 | 10.805 % | 499.43/499.61 c | 58187 | 580792 1930579 | 736372 58056 10819628 186.4 | 10.805 % | 546.92/547.16 c | 87379 | 580792 1930579 | 810010 87248 16774294 192.3 | 10.805 % | 628.29/628.56 c | 131169 | 580792 1930579 | 891011 131038 25914935 197.8 | 10.805 % | 780.54/780.88 c | 196855 | 580734 1930379 | 980112 196714 37910343 192.7 | 10.814 % | 1128.44/1128.80 c | 295382 | 580645 1930078 | 1078123 292609 62196124 212.6 | 10.826 % | 1446.05/1446.54 c | 443171 | 580435 1929398 | 1185935 440373 88245163 200.4 | 10.853 % | 1800.05/1800.70 c 1800.05/1800.71 c *** TERMINATED *** 1800.05/1800.71 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-367091-1177068721 -o ROOT/results/node74/solver-367091-1177068721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367091-1177068721/minisat+ /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.02 0.98 3/66 8321 /proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=1048 CPUtime=0 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 154786898 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 262 101 74 215 0 44 0 [startup+0.0283979 s] /proc/loadavg: 1.00 1.02 0.98 3/66 8321 /proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=1344 CPUtime=0.02 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 185 0 0 0 2 0 0 0 18 0 1 0 154786898 1376256 170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 336 171 74 215 0 118 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1344 [startup+0.101406 s] /proc/loadavg: 1.00 1.02 0.98 3/66 8321 /proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=2056 CPUtime=0.09 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 378 0 0 0 9 0 0 0 18 0 1 0 154786898 2105344 363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 514 363 74 215 0 296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2056 [startup+0.301429 s] /proc/loadavg: 1.00 1.02 0.98 3/66 8321 /proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=4200 CPUtime=0.29 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 879 0 0 0 29 0 0 0 19 0 1 0 154786898 4300800 864 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 1050 864 74 215 0 832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4200 [startup+0.701476 s] /proc/loadavg: 1.00 1.02 0.98 3/66 8321 /proc/meminfo: memFree=1680232/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=8096 CPUtime=0.69 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 1867 0 0 0 68 1 0 0 23 0 1 0 154786898 8290304 1852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 2024 1852 74 215 0 1806 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8096 [startup+1.50157 s] /proc/loadavg: 1.00 1.02 0.98 2/67 8322 /proc/meminfo: memFree=1669856/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=15960 CPUtime=1.49 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 3801 0 0 0 147 2 0 0 25 0 1 0 154786898 16343040 3786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 3990 3786 74 215 0 3772 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15960 [startup+3.10175 s] /proc/loadavg: 1.00 1.02 0.98 2/67 8322 /proc/meminfo: memFree=1659232/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=31988 CPUtime=3.09 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 7729 0 0 0 305 4 0 0 25 0 1 0 154786898 32755712 7664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 7997 7664 74 215 0 7779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31988 [startup+6.30112 s] /proc/loadavg: 1.00 1.02 0.98 2/67 8322 /proc/meminfo: memFree=1623008/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=62588 CPUtime=6.29 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 15882 0 0 0 621 8 0 0 25 0 1 0 154786898 64090112 15222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 15647 15222 74 215 0 15429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62588 [startup+12.7019 s] /proc/loadavg: 1.00 1.02 0.98 2/67 8322 /proc/meminfo: memFree=1620512/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=60700 CPUtime=12.68 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 16054 0 0 0 1260 8 0 0 25 0 1 0 154786898 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60700 [startup+25.5013 s] /proc/loadavg: 1.00 1.02 0.98 2/67 8322 /proc/meminfo: memFree=1620768/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=60700 CPUtime=25.48 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 16054 0 0 0 2540 8 0 0 25 0 1 0 154786898 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60700 [startup+51.1013 s] /proc/loadavg: 1.00 1.01 0.98 2/67 8322 /proc/meminfo: memFree=1620832/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=60700 CPUtime=51.07 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 16054 0 0 0 5099 8 0 0 25 0 1 0 154786898 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60700 [startup+102.305 s] /proc/loadavg: 1.00 1.01 0.98 2/67 8322 /proc/meminfo: memFree=1597088/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=84984 CPUtime=102.25 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 22914 0 0 0 10201 24 0 0 25 0 1 0 154786898 87023616 20821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680234 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 21246 20821 92 215 0 21028 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 84984 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8322 /proc/meminfo: memFree=1357728/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=328364 CPUtime=162.23 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 83084 0 0 0 16173 50 0 0 25 0 1 0 154786898 336244736 80488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82091 80488 92 215 0 81873 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 328364 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8322 /proc/meminfo: memFree=1369888/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=312620 CPUtime=222.21 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 83084 0 0 0 22170 51 0 0 25 0 1 0 154786898 320122880 77467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013402 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 78155 77467 92 215 0 77937 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 312620 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8322 /proc/meminfo: memFree=1352864/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=282.19 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88669 0 0 0 28165 54 0 0 25 0 1 0 154786898 337534976 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81785 123 215 0 82188 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 329624 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8322 /proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=342.17 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88672 0 0 0 34163 54 0 0 25 0 1 0 154786898 337534976 81788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81788 123 215 0 82188 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 329624 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8322 /proc/meminfo: memFree=1352800/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=402.15 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88672 0 0 0 40161 54 0 0 25 0 1 0 154786898 337534976 81788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81788 123 215 0 82188 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 329624 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=462.13 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88672 0 0 0 46159 54 0 0 25 0 1 0 154786898 337534976 81788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581116 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81788 123 215 0 82188 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 329624 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=522.13 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88673 0 0 0 52158 55 0 0 25 0 1 0 154786898 337534976 81789 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81789 123 215 0 82188 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 329624 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352800/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=582.11 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88673 0 0 0 58156 55 0 0 25 0 1 0 154786898 337534976 81789 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576863 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81789 123 215 0 82188 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 329624 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352800/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=642.09 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88677 0 0 0 64154 55 0 0 25 0 1 0 154786898 337534976 81793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81793 123 215 0 82188 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 329624 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=882.01 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88677 0 0 0 88146 55 0 0 25 0 1 0 154786898 337534976 81793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81793 123 215 0 82188 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 329624 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=941.99 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88677 0 0 0 94144 55 0 0 25 0 1 0 154786898 337534976 81793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81793 123 215 0 82188 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 329624 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1352736/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=329624 CPUtime=1001.98 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 88680 0 0 0 100143 55 0 0 25 0 1 0 154786898 337534976 81796 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 82406 81796 123 215 0 82188 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 329624 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1338656/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=343740 CPUtime=1061.97 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 92193 0 0 0 106138 59 0 0 25 0 1 0 154786898 351989760 85309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 85935 85309 123 215 0 85717 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 343740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1325792/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=356864 CPUtime=1121.94 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 95456 0 0 0 112133 61 0 0 25 0 1 0 154786898 365428736 88572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 89216 88572 123 215 0 88998 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 356864 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1312800/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=369516 CPUtime=1181.92 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 98641 0 0 0 118128 64 0 0 25 0 1 0 154786898 378384384 91757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 92379 91757 123 215 0 92161 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 369516 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1302944/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=379972 CPUtime=1241.91 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 101103 0 0 0 124125 66 0 0 25 0 1 0 154786898 389091328 94219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 94993 94219 123 215 0 94775 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 379972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1271392/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=411156 CPUtime=1301.9 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 108967 0 0 0 130117 73 0 0 25 0 1 0 154786898 421023744 102083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 102789 102083 123 215 0 102571 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 411156 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1257056/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=425468 CPUtime=1361.87 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 112556 0 0 0 136111 76 0 0 25 0 1 0 154786898 435679232 105672 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 106367 105672 123 215 0 106149 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 425468 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1224480/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=457940 CPUtime=1421.86 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 120701 0 0 0 142101 85 0 0 25 0 1 0 154786898 468930560 113817 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 114485 113817 123 215 0 114267 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 457940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1206368/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=476080 CPUtime=1481.84 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 125255 0 0 0 148095 89 0 0 25 0 1 0 154786898 487505920 118371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 119020 118371 123 215 0 118802 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 476080 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1193184/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=488948 CPUtime=1541.82 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 128487 0 0 0 154089 93 0 0 25 0 1 0 154786898 500682752 121603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 122237 121603 123 215 0 122019 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 488948 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1177952/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=505032 CPUtime=1601.8 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 132296 0 0 0 160084 96 0 0 25 0 1 0 154786898 517152768 125412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 126258 125412 123 215 0 126040 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 505032 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1165664/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=517236 CPUtime=1661.78 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 135361 0 0 0 166079 99 0 0 25 0 1 0 154786898 529649664 128477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 129309 128477 123 215 0 129091 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 517236 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/67 8324 /proc/meminfo: memFree=1153312/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=529544 CPUtime=1721.77 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 138447 0 0 0 172074 103 0 0 25 0 1 0 154786898 542253056 131563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 132386 131563 123 215 0 132168 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 529544 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/73 8494 /proc/meminfo: memFree=1142488/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=538996 CPUtime=1781.66 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 140810 0 0 0 178060 106 0 0 25 0 1 0 154786898 551931904 133926 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572734 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 134749 133926 123 215 0 134531 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 538996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.07 1.02 0.99 2/67 8522 /proc/meminfo: memFree=1140944/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=541724 CPUtime=1800.05 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 141479 0 0 0 179898 107 0 0 25 0 1 0 154786898 554725376 134595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 135431 134595 123 215 0 135213 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 541724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.07 1.02 0.99 2/67 8522 /proc/meminfo: memFree=1140944/2055920 swapFree=4183056/4192956 [pid=8321] ppid=8319 vsize=541724 CPUtime=1800.05 /proc/8321/stat : 8321 (minisat+) R 8319 8321 7007 0 -1 4194304 141479 0 0 0 179898 107 0 0 25 0 1 0 154786898 554725376 134595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8321/statm: 135431 134595 123 215 0 135213 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 541724 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.14 CPU user time (s): 1798.98 CPU system time (s): 1.15782 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 541724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.15782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141480 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 257 involuntary context switches= 3386 runsolver used 2.08768 second user time and 4.16537 second system time The end
Begin job on node74 on Fri Apr 20 11:32:01 UTC 2007 IDJOB= 367091 IDBENCH= 3015 IDSOLVER= 156 FILE ID= node74/367091-1177068721 PBS_JOBID= 4640229 Free space on /tmp= 103196 MiB SOLVER NAME= minisat+ 1.14 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= /tmp/evaluation/367091-1177068721/minisat+ /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-367091-1177068721 -o ROOT/results/node74/conversion-367091-1177068721 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-367091-1177068721 -o ROOT/results/node74/solver-367091-1177068721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367091-1177068721/minisat+ /tmp/evaluation/367091-1177068721/instance-367091-1177068721.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= df413fd91ea32ba4084c4b3fbb11e44d RANDOM SEED= 977891665 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 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.213 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: 1680576 kB Buffers: 53916 kB Cached: 241476 kB SwapCached: 2992 kB Active: 144496 kB Inactive: 167340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1680576 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 9476 kB Writeback: 0 kB Mapped: 21288 kB Slab: 49224 kB Committed_AS: 3889412 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103196 MiB End job on node74 on Fri Apr 20 12:02:04 UTC 2007