Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.64 | 1801.31 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb |
MD5SUM | 7e6b5d1bb2d5498810142d4e4cc2c6f4 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 45751 |
Total number of constraints | 135901 |
Number of constraints which are clauses | 135900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45300 |
Number of terms in the objective function | 151 |
Biggest coefficient in the objective function | 1427247692705959881058285969449495136382746624 |
Number of bits for the biggest coefficient in the objective function | 151 |
Sum of the numbers in the objective function | 2854495385411919762116571938898990272765493247 |
Number of bits of the sum of numbers in the objective function | 151 |
Biggest number in a constraint | 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312 |
Number of bits of the biggest number in a constraint | 450 |
Biggest sum of numbers in a constraint | 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784 |
Number of bits of the biggest sum of numbers | 451 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 6.42 c Converting 135902 PB-constraints to clauses... 6.45 c -- Unit propagations: (none) 96.01 c -- Detecting intervals from adjacent constraints: # 96.04 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 96.31 c ---[ 0]---> Adder-cost: 67342 maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482 bits: 307/307 238.61 c ==================================[MINISAT+]================================== 238.61 c | Conflicts | Original | Learnt | Progress | 238.61 c | | Clauses Literals | Max Clauses Literals LPC | | 238.61 c ============================================================================== 238.61 c | 0 | 581730 1933891 | 193910 0 0 nan | 0.000 % | 238.69 c | 100 | 581714 1933839 | 213301 98 302 3.1 | 10.669 % | 239.35 c | 250 | 580906 1930965 | 234631 135 435 3.2 | 10.788 % | 240.54 c | 475 | 580889 1930904 | 258094 349 1198 3.4 | 10.789 % | 240.64 c | 814 | 580889 1930904 | 283903 688 8554 12.4 | 10.789 % | 241.90 c | 1320 | 580889 1930904 | 312293 1194 27668 23.2 | 10.789 % | 242.65 c | 2080 | 580880 1930875 | 343523 1953 61254 31.4 | 10.791 % | 243.92 c | 3220 | 580880 1930875 | 377875 3093 112040 36.2 | 10.791 % | 252.80 c | 4928 | 580871 1930844 | 415663 4787 173752 36.3 | 10.792 % | 261.87 c | 7490 | 580871 1930844 | 457229 7349 291703 39.7 | 10.792 % | 264.55 c | 11336 | 580871 1930844 | 502952 11195 520246 46.5 | 10.792 % | 269.37 c | 17102 | 580871 1930844 | 553247 16961 1358809 80.1 | 10.792 % | 276.50 c | 25751 | 580871 1930844 | 608572 25610 2123987 82.9 | 10.792 % | 286.93 c | 38725 | 580871 1930844 | 669429 38584 3638062 94.3 | 10.792 % | 301.27 c | 58187 | 580871 1930844 | 736372 58046 5441223 93.7 | 10.792 % | 337.65 c | 87380 | 580871 1930844 | 810010 87239 12077585 138.4 | 10.792 % | 382.15 c | 131170 | 580871 1930844 | 891011 131029 15835365 120.9 | 10.792 % | 511.66 c | 196854 | 580863 1930818 | 980112 196712 22343097 113.6 | 10.793 % | 634.74 c | 295380 | 580826 1930697 | 1078123 295231 32343035 109.6 | 10.798 % | 1034.23 c | 443169 | 580818 1930671 | 1185935 443019 66385466 149.8 | 10.799 % | 1757.24 c | 664852 | 580802 1930619 | 1304529 664700 102941746 154.9 | 10.801 % | 1801.21 c 1801.21 c *** TERMINATED *** 1801.21 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node17/watcher-49829-1154121164 -o ROOT/results/node17/solver-49829-1154121164 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node17/49829-1154121164/instance-49829-1154121164.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.01 1.00 3/64 19646 /proc/meminfo: memFree=1580048/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=1048 CPUtime=0 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 99 0 0 0 0 0 0 0 19 0 1 0 158977057 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 262 83 67 215 0 44 0 [startup+10.0016 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1520544/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=61032 CPUtime=9.98 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 990 8 0 0 25 0 1 0 158977057 62496768 14954 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15258 14954 83 215 0 15040 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 61032 [startup+20.0074 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521008/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=19.98 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 1990 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 60696 [startup+30.0133 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521072/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=29.99 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 2991 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 60696 [startup+40.0192 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521136/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=39.99 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 3991 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 60696 [startup+50.026 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521136/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=49.99 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 4991 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 60696 [startup+60.0329 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521200/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=59.99 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 5991 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621832 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 60696 [startup+70.0397 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521200/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=70 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 6992 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 60696 [startup+80.0466 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521200/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=80 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 7992 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 60696 [startup+90.0524 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19646 /proc/meminfo: memFree=1521200/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=90 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16055 0 0 0 8992 8 0 0 25 0 1 0 158977057 62152704 14870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14870 83 215 0 14956 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 60696 [startup+100.058 s] /proc/loadavg: 1.08 1.02 1.01 2/64 19646 /proc/meminfo: memFree=1521200/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=60696 CPUtime=100 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 16060 0 0 0 9979 21 0 0 25 0 1 0 158977057 62152704 14875 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 15174 14875 88 215 0 14956 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 60696 [startup+110.065 s] /proc/loadavg: 1.07 1.02 1.00 2/64 19646 /proc/meminfo: memFree=1358832/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=227388 CPUtime=110 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 57552 0 0 0 10963 37 0 0 25 0 1 0 158977057 232845312 55457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 56847 55457 92 215 0 56629 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 227388 [startup+120.072 s] /proc/loadavg: 1.06 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1257520/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=329676 CPUtime=120 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83049 0 0 0 11951 49 0 0 25 0 1 0 158977057 337588224 80672 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134691055 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 82419 80672 92 215 0 82201 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 329676 [startup+130.078 s] /proc/loadavg: 1.05 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1257520/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=329676 CPUtime=130.01 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83080 0 0 0 12951 50 0 0 25 0 1 0 158977057 337588224 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 82419 80703 92 215 0 82201 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 329676 [startup+140.084 s] /proc/loadavg: 1.04 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1257456/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=329676 CPUtime=140.02 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 13952 50 0 0 25 0 1 0 158977057 337588224 80709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808989 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 82419 80709 92 215 0 82201 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 329676 [startup+150.091 s] /proc/loadavg: 1.03 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1257456/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=329676 CPUtime=150.02 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 14952 50 0 0 25 0 1 0 158977057 337588224 80709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 82419 80709 92 215 0 82201 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 329676 [startup+160.096 s] /proc/loadavg: 1.03 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1257584/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=329184 CPUtime=160.02 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 15952 50 0 0 25 0 1 0 158977057 337084416 80628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 82296 80628 92 215 0 82078 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 329184 [startup+170.102 s] /proc/loadavg: 1.02 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1259888/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=325904 CPUtime=170.02 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 16952 50 0 0 25 0 1 0 158977057 333725696 80057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 81476 80057 92 215 0 81258 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 325904 [startup+180.108 s] /proc/loadavg: 1.02 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1262064/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=322952 CPUtime=180.02 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 17952 50 0 0 25 0 1 0 158977057 330702848 79511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679813 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 80738 79511 92 215 0 80520 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 322952 [startup+190.114 s] /proc/loadavg: 1.02 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1264176/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=320164 CPUtime=190.03 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 18953 50 0 0 25 0 1 0 158977057 327847936 78975 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 80041 78975 92 215 0 79823 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 320164 [startup+200.12 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19646 /proc/meminfo: memFree=1266224/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=317540 CPUtime=200.03 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 83086 0 0 0 19953 50 0 0 25 0 1 0 158977057 325160960 78457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 79385 78457 92 215 0 79167 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 317540 [startup+210.126 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19646 ################ # More data... # ################ /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 140882 0 0 0 178038 106 0 0 25 0 1 0 158977057 551616512 133992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574427 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134672 133992 123 215 0 134454 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 538688 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1043504/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=538816 CPUtime=1782.45 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 140905 0 0 0 178139 106 0 0 25 0 1 0 158977057 551747584 134015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134704 134015 123 215 0 134486 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 538816 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1043440/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=538952 CPUtime=1783.45 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 140929 0 0 0 178239 106 0 0 25 0 1 0 158977057 551886848 134039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574311 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134738 134039 123 215 0 134520 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 538952 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1043312/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=538952 CPUtime=1784.46 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 140952 0 0 0 178340 106 0 0 25 0 1 0 158977057 551886848 134062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134738 134062 123 215 0 134520 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 538952 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1043184/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=539104 CPUtime=1785.47 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 140989 0 0 0 178440 107 0 0 25 0 1 0 158977057 552042496 134099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134776 134099 123 215 0 134558 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 539104 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1043056/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=539332 CPUtime=1786.47 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141025 0 0 0 178540 107 0 0 25 0 1 0 158977057 552275968 134135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134833 134135 123 215 0 134615 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 539332 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1042928/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=539464 CPUtime=1787.48 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141055 0 0 0 178641 107 0 0 25 0 1 0 158977057 552411136 134165 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134866 134165 123 215 0 134648 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 539464 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1042800/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=539596 CPUtime=1788.48 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141089 0 0 0 178741 107 0 0 25 0 1 0 158977057 552546304 134199 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574152 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134899 134199 123 215 0 134681 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 539596 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1042608/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=539724 CPUtime=1789.49 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141131 0 0 0 178842 107 0 0 25 0 1 0 158977057 552677376 134241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134931 134241 123 215 0 134713 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 539724 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1042480/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=539852 CPUtime=1790.49 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141169 0 0 0 178942 107 0 0 25 0 1 0 158977057 552808448 134279 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 134963 134279 123 215 0 134745 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 539852 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1042288/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=540112 CPUtime=1791.49 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141214 0 0 0 179042 107 0 0 25 0 1 0 158977057 553074688 134324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135028 134324 123 215 0 134810 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 540112 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1042160/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=540244 CPUtime=1792.5 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141248 0 0 0 179143 107 0 0 25 0 1 0 158977057 553209856 134358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135061 134358 123 215 0 134843 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 540244 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1041904/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=540376 CPUtime=1793.5 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141304 0 0 0 179243 107 0 0 25 0 1 0 158977057 553345024 134414 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135094 134414 123 215 0 134876 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 540376 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1041712/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=540636 CPUtime=1794.51 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141362 0 0 0 179344 107 0 0 25 0 1 0 158977057 553611264 134472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135159 134472 123 215 0 134941 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 540636 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1041456/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=540900 CPUtime=1795.51 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141412 0 0 0 179444 107 0 0 25 0 1 0 158977057 553881600 134522 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135225 134522 123 215 0 135007 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 540900 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1041328/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=541028 CPUtime=1796.52 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141452 0 0 0 179545 107 0 0 25 0 1 0 158977057 554012672 134562 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580262 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135257 134562 123 215 0 135039 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 541028 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1041136/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=541156 CPUtime=1797.52 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141496 0 0 0 179645 107 0 0 25 0 1 0 158977057 554143744 134606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135289 134606 123 215 0 135071 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 541156 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1040944/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=541420 CPUtime=1798.53 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141541 0 0 0 179746 107 0 0 25 0 1 0 158977057 554414080 134651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135355 134651 123 215 0 135137 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 541420 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1040816/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=541552 CPUtime=1799.53 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141582 0 0 0 179846 107 0 0 25 0 1 0 158977057 554549248 134692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135388 134692 123 215 0 135170 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 541552 [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1040624/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=541680 CPUtime=1800.54 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141624 0 0 0 179947 107 0 0 25 0 1 0 158977057 554680320 134734 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135420 134734 123 215 0 135202 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 541680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19648 /proc/meminfo: memFree=1040624/2055920 swapFree=4183520/4192956 [pid=19646] ppid=19644 vsize=541680 CPUtime=1800.54 /proc/19646/stat : 19646 (minisat+) R 19644 19646 19597 0 -1 4194304 141624 0 0 0 179947 107 0 0 25 0 1 0 158977057 554680320 134734 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19646/statm: 135420 134734 123 215 0 135202 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 541680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.31 CPU time (s): 1800.64 CPU user time (s): 1799.47 CPU system time (s): 1.16282 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 541680 The end
Begin job on node17 on Fri Jul 28 21:12:45 UTC 2006 FILE ID= 49829-1154121164 PBS_JOBID= 886981 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node17/49829-1154121164/instance-49829-1154121164.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-49829-1154121164 -o ROOT/results/node17/solver-49829-1154121164 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node17/49829-1154121164/instance-49829-1154121164.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7e6b5d1bb2d5498810142d4e4cc2c6f4 RANDOM SEED= 950459432 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 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.263 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: 1580456 kB Buffers: 30356 kB Cached: 371844 kB SwapCached: 3080 kB Active: 34944 kB Inactive: 375764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1580456 kB SwapTotal: 4192956 kB SwapFree: 4183520 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14460 kB Slab: 50696 kB Committed_AS: 714052 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Fri Jul 28 21:42:46 UTC 2006