Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.13 | 1800.59 |
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/0.00 c Parsing PB file... 6.69/6.71 c Converting 135902 PB-constraints to clauses... 6.69/6.75 c -- Unit propagations: (none) 97.06/97.15 c -- Detecting intervals from adjacent constraints: # 97.06/97.18 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 97.36/97.43 c ---[ 0]---> Adder-cost: 67342 maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482 bits: 307/307 237.92/238.09 c ==================================[MINISAT+]================================== 237.92/238.09 c | Conflicts | Original | Learnt | Progress | 237.92/238.09 c | | Clauses Literals | Max Clauses Literals LPC | | 237.92/238.09 c ============================================================================== 237.92/238.09 c | 0 | 581730 1933891 | 193910 0 0 nan | 0.000 % | 238.02/238.16 c | 100 | 581714 1933839 | 213301 98 302 3.1 | 10.669 % | 238.72/238.82 c | 250 | 580906 1930965 | 234631 135 435 3.2 | 10.788 % | 239.83/239.99 c | 475 | 580889 1930904 | 258094 349 1198 3.4 | 10.789 % | 239.93/240.09 c | 814 | 580889 1930904 | 283903 688 8554 12.4 | 10.789 % | 241.23/241.35 c | 1320 | 580889 1930904 | 312293 1194 27668 23.2 | 10.789 % | 241.93/242.09 c | 2080 | 580880 1930875 | 343523 1953 61254 31.4 | 10.791 % | 243.23/243.35 c | 3220 | 580880 1930875 | 377875 3093 112040 36.2 | 10.791 % | 252.13/252.27 c | 4928 | 580871 1930844 | 415663 4787 173752 36.3 | 10.792 % | 261.22/261.32 c | 7490 | 580871 1930844 | 457229 7349 291703 39.7 | 10.792 % | 263.82/263.97 c | 11336 | 580871 1930844 | 502952 11195 520246 46.5 | 10.792 % | 268.72/268.84 c | 17102 | 580871 1930844 | 553247 16961 1358809 80.1 | 10.792 % | 275.82/275.96 c | 25751 | 580871 1930844 | 608572 25610 2123987 82.9 | 10.792 % | 286.21/286.39 c | 38725 | 580871 1930844 | 669429 38584 3638062 94.3 | 10.792 % | 300.61/300.75 c | 58187 | 580871 1930844 | 736372 58046 5441223 93.7 | 10.792 % | 337.90/338.02 c | 87380 | 580871 1930844 | 810010 87239 12077585 138.4 | 10.792 % | 383.19/383.34 c | 131170 | 580871 1930844 | 891011 131029 15835365 120.9 | 10.792 % | 515.76/516.00 c | 196854 | 580863 1930818 | 980112 196712 22343097 113.6 | 10.793 % | 643.22/643.41 c | 295380 | 580826 1930697 | 1078123 295231 32343035 109.6 | 10.798 % | 1077.11/1077.46 c | 443169 | 580818 1930671 | 1185935 443019 66385466 149.8 | 10.799 % | 1800.03/1800.50 c 1800.03/1800.50 c *** TERMINATED *** 1800.03/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350173-1176800719/instance-350173-1176800719.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-350173-1176800719 -o ROOT/results/node17/solver-350173-1176800719 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350173-1176800719/minisat+ /tmp/evaluation/350173-1176800719/instance-350173-1176800719.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14105 /proc/meminfo: memFree=1405440/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=1048 CPUtime=0 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 127989445 1073152 100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 262 100 74 215 0 44 0 [startup+0.0771499 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14105 /proc/meminfo: memFree=1405440/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=1916 CPUtime=0.07 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 313 0 0 0 7 0 0 0 18 0 1 0 127989445 1961984 298 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 479 298 74 215 0 261 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1916 [startup+0.101151 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14105 /proc/meminfo: memFree=1405440/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=2056 CPUtime=0.09 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 378 0 0 0 9 0 0 0 18 0 1 0 127989445 2105344 363 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 514 363 74 215 0 296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2056 [startup+0.301173 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14105 /proc/meminfo: memFree=1405440/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=4200 CPUtime=0.29 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 881 0 0 0 29 0 0 0 20 0 1 0 127989445 4300800 866 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 1050 866 74 215 0 832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4200 [startup+0.701214 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14105 /proc/meminfo: memFree=1405440/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=8240 CPUtime=0.69 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 1873 0 0 0 69 0 0 0 24 0 1 0 127989445 8437760 1858 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 2060 1858 74 215 0 1842 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8240 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1395256/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=15960 CPUtime=1.49 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 3803 0 0 0 148 1 0 0 25 0 1 0 127989445 16343040 3788 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 3990 3789 74 215 0 3772 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15960 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1384632/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=31844 CPUtime=3.09 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 7722 0 0 0 305 4 0 0 25 0 1 0 127989445 32608256 7657 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 7961 7657 74 215 0 7743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31844 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1348472/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=62588 CPUtime=6.29 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 15882 0 0 0 621 8 0 0 25 0 1 0 127989445 64090112 15222 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005850 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 15647 15222 74 215 0 15429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62588 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1345848/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=60700 CPUtime=12.69 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 16054 0 0 0 1260 9 0 0 25 0 1 0 127989445 62156800 14871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621675 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60700 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1345976/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=60700 CPUtime=25.49 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 16054 0 0 0 2540 9 0 0 25 0 1 0 127989445 62156800 14871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60700 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1345976/2055920 swapFree=4074280/4192956 [pid=14105] ppid=14103 vsize=60700 CPUtime=51.08 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 16054 0 0 0 5099 9 0 0 25 0 1 0 127989445 62156800 14871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60700 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1329784/2055920 swapFree=4074344/4192956 [pid=14105] ppid=14103 vsize=77684 CPUtime=102.26 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 20252 0 0 0 10204 22 0 0 25 0 1 0 127989445 79548416 19069 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 19421 19069 89 215 0 19203 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 77684 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1082752/2055920 swapFree=4074344/4192956 [pid=14105] ppid=14103 vsize=328524 CPUtime=162.25 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 83079 0 0 0 16175 50 0 0 25 0 1 0 127989445 336408576 80510 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82131 80510 92 215 0 81913 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 328524 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1095040/2055920 swapFree=4074344/4192956 [pid=14105] ppid=14103 vsize=312616 CPUtime=222.23 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 83079 0 0 0 22173 50 0 0 25 0 1 0 127989445 320118784 77461 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 78154 77461 92 215 0 77936 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 312616 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1078080/2055920 swapFree=4074408/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=282.22 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88657 0 0 0 28169 53 0 0 25 0 1 0 127989445 337518592 81769 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81769 123 215 0 82184 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 329608 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1078016/2055920 swapFree=4074408/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=342.2 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88657 0 0 0 34167 53 0 0 25 0 1 0 127989445 337518592 81769 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81769 123 215 0 82184 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 329608 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1078016/2055920 swapFree=4074472/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=402.18 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88659 0 0 0 40164 54 0 0 25 0 1 0 127989445 337518592 81771 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81771 123 215 0 82184 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 329608 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1077952/2055920 swapFree=4074472/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=462.17 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88659 0 0 0 46162 55 0 0 25 0 1 0 127989445 337518592 81771 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574586 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81771 123 215 0 82184 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 329608 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1077824/2055920 swapFree=4074472/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=522.15 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88673 0 0 0 52160 55 0 0 25 0 1 0 127989445 337518592 81785 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81785 123 215 0 82184 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 329608 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1077760/2055920 swapFree=4074536/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=582.14 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88674 0 0 0 58158 56 0 0 25 0 1 0 127989445 337518592 81786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81786 123 215 0 82184 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 329608 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1077760/2055920 swapFree=4074536/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=642.12 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88674 0 0 0 64156 56 0 0 25 0 1 0 127989445 337518592 81786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81786 123 215 0 82184 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 329608 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1077696/2055920 swapFree=4074664/4192956 [pid=14105] ppid=14103 vsize=329608 CPUtime=882.06 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 88683 0 0 0 88148 58 0 0 25 0 1 0 127989445 337518592 81795 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 82402 81795 123 215 0 82184 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 329608 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=1068928/2055920 swapFree=4074664/4192956 [pid=14105] ppid=14103 vsize=338560 CPUtime=942.05 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 90913 0 0 0 94144 61 0 0 25 0 1 0 127989445 346685440 84025 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 84640 84025 123 215 0 84422 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 338560 [startup+1002.3 s] /proc/loadavg: 1.11 1.03 1.01 2/78 14106 /proc/meminfo: memFree=1049728/2055920 swapFree=4074664/4192956 [pid=14105] ppid=14103 vsize=357580 CPUtime=1002.03 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 95657 0 0 0 100137 66 0 0 25 0 1 0 127989445 366161920 88769 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 89395 88769 123 215 0 89177 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 357580 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 1.00 2/78 14106 /proc/meminfo: memFree=1029952/2055920 swapFree=4074720/4192956 [pid=14105] ppid=14103 vsize=377584 CPUtime=1062.01 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 100668 0 0 0 106131 70 0 0 25 0 1 0 127989445 386646016 93780 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 94396 93780 123 215 0 94178 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 377584 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 14106 /proc/meminfo: memFree=1009472/2055920 swapFree=4074720/4192956 [pid=14105] ppid=14103 vsize=398756 CPUtime=1122 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 105716 0 0 0 112123 77 0 0 25 0 1 0 127989445 408326144 98828 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 99689 98828 123 215 0 99471 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 398756 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14106 /proc/meminfo: memFree=997440/2055920 swapFree=4074720/4192956 [pid=14105] ppid=14103 vsize=410712 CPUtime=1181.99 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 108728 0 0 0 118118 81 0 0 25 0 1 0 127989445 420569088 101840 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 102678 101840 123 215 0 102460 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 410712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=985024/2055920 swapFree=4074776/4192956 [pid=14105] ppid=14103 vsize=423056 CPUtime=1241.97 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 111821 0 0 0 124113 84 0 0 25 0 1 0 127989445 433209344 104933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 105764 104933 123 215 0 105546 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 423056 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=971584/2055920 swapFree=4074776/4192956 [pid=14105] ppid=14103 vsize=436188 CPUtime=1301.96 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 115141 0 0 0 130108 88 0 0 25 0 1 0 127989445 446656512 108253 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 109047 108253 123 215 0 108829 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 436188 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 14106 /proc/meminfo: memFree=956864/2055920 swapFree=4074776/4192956 [pid=14105] ppid=14103 vsize=451020 CPUtime=1361.94 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 118854 0 0 0 136103 91 0 0 25 0 1 0 127989445 461844480 111966 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 112755 111966 123 215 0 112537 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 451020 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/78 14106 /proc/meminfo: memFree=945216/2055920 swapFree=4074832/4192956 [pid=14105] ppid=14103 vsize=462436 CPUtime=1421.92 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 121708 0 0 0 142098 94 0 0 25 0 1 0 127989445 473534464 114820 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 115609 114820 123 215 0 115391 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 462436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=935360/2055920 swapFree=4074832/4192956 [pid=14105] ppid=14103 vsize=472268 CPUtime=1481.91 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 124189 0 0 0 148093 98 0 0 25 0 1 0 127989445 483602432 117301 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 118067 117301 123 215 0 117849 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 472268 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=925312/2055920 swapFree=4074888/4192956 [pid=14105] ppid=14103 vsize=482280 CPUtime=1541.9 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 126688 0 0 0 154089 101 0 0 25 0 1 0 127989445 493854720 119800 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134575431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 120570 119800 123 215 0 120352 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 482280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=913984/2055920 swapFree=4074888/4192956 [pid=14105] ppid=14103 vsize=493704 CPUtime=1601.87 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 129542 0 0 0 160083 104 0 0 25 0 1 0 127989445 505552896 122654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 123426 122654 123 215 0 123208 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 493704 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=903552/2055920 swapFree=4074888/4192956 [pid=14105] ppid=14103 vsize=503804 CPUtime=1661.86 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 132103 0 0 0 166079 107 0 0 25 0 1 0 127989445 515895296 125215 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 125951 125215 123 215 0 125733 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 503804 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=893760/2055920 swapFree=4074944/4192956 [pid=14105] ppid=14103 vsize=513688 CPUtime=1721.85 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 134578 0 0 0 172073 112 0 0 25 0 1 0 127989445 526016512 127690 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 128422 127690 123 215 0 128204 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 513688 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=886336/2055920 swapFree=4074944/4192956 [pid=14105] ppid=14103 vsize=520992 CPUtime=1781.83 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 136413 0 0 0 178069 114 0 0 25 0 1 0 127989445 533495808 129525 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 130248 129525 123 215 0 130030 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 520992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=884416/2055920 swapFree=4074944/4192956 [pid=14105] ppid=14103 vsize=522840 CPUtime=1800.03 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 136878 0 0 0 179888 115 0 0 25 0 1 0 127989445 535388160 129990 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 130710 129990 123 215 0 130492 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 522840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14106 /proc/meminfo: memFree=884416/2055920 swapFree=4074944/4192956 [pid=14105] ppid=14103 vsize=522840 CPUtime=1800.03 /proc/14105/stat : 14105 (minisat+) R 14103 14105 13306 0 -1 4194304 136878 0 0 0 179888 115 0 0 25 0 1 0 127989445 535388160 129990 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14105/statm: 130710 129990 123 215 0 130492 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 522840 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.13 CPU user time (s): 1798.89 CPU system time (s): 1.23681 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 522840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.89 system time used= 1.23681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136879 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 300 involuntary context switches= 15255 runsolver used 2.21766 second user time and 4.46632 second system time The end
Begin job on node17 on Tue Apr 17 09:05:19 UTC 2007 IDJOB= 350173 IDBENCH= 3012 IDSOLVER= 156 FILE ID= node17/350173-1176800719 PBS_JOBID= 4586218 Free space on /tmp= 66496 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb COMMAND LINE= /tmp/evaluation/350173-1176800719/minisat+ /tmp/evaluation/350173-1176800719/instance-350173-1176800719.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-350173-1176800719 -o ROOT/results/node17/conversion-350173-1176800719 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350173-1176800719/instance-350173-1176800719.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-350173-1176800719 -o ROOT/results/node17/solver-350173-1176800719 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350173-1176800719/minisat+ /tmp/evaluation/350173-1176800719/instance-350173-1176800719.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 7e6b5d1bb2d5498810142d4e4cc2c6f4 RANDOM SEED= 746394475 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 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.240 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: 1406040 kB Buffers: 43464 kB Cached: 347504 kB SwapCached: 79456 kB Active: 316960 kB Inactive: 264380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1406040 kB SwapTotal: 4192956 kB SwapFree: 4074280 kB Dirty: 9380 kB Writeback: 0 kB Mapped: 139536 kB Slab: 53796 kB Committed_AS: 7134552 kB PageTables: 2036 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66496 MiB End job on node17 on Tue Apr 17 09:35:22 UTC 2007