Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.12 | 1800.7 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb |
MD5SUM | 55edb2dcebb1eef2ceca62dc17cce326 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 14.3608 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 45751 |
Total number of constraints | 135901 |
Number of constraints which are clauses | 135900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45300 |
Number of terms in the objective function | 151 |
Biggest coefficient in the objective function | 1427247692705959881058285969449495136382746624 |
Number of bits for the biggest coefficient in the objective function | 151 |
Sum of the numbers in the objective function | 2854495385411919762116571938898990272765493247 |
Number of bits of the sum of numbers in the objective function | 151 |
Biggest number in a constraint | 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312 |
Number of bits of the biggest number in a constraint | 450 |
Biggest sum of numbers in a constraint | 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820 |
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) 96.06/96.16 c -- Detecting intervals from adjacent constraints: # 96.06/96.19 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 96.36/96.44 c ---[ 0]---> Adder-cost: 67342 maxlim: 152815123171761988496734947402513736484426477842784718762724655243331752118086385027734013446 bits: 307/307 237.23/237.33 c ==================================[MINISAT+]================================== 237.23/237.33 c | Conflicts | Original | Learnt | Progress | 237.23/237.33 c | | Clauses Literals | Max Clauses Literals LPC | | 237.23/237.33 c ============================================================================== 237.23/237.33 c | 0 | 581730 1933891 | 193910 0 0 nan | 0.000 % | 237.32/237.41 c | 100 | 581714 1933839 | 213301 98 300 3.1 | 10.669 % | 237.72/237.80 c | 250 | 581085 1931592 | 234631 160 497 3.1 | 10.760 % | 237.82/237.92 c | 475 | 581005 1931332 | 258094 374 1172 3.1 | 10.773 % | 240.42/240.50 c | 812 | 580998 1931309 | 283903 709 5183 7.3 | 10.774 % | 243.82/243.99 c | 1319 | 580998 1931309 | 312293 1216 103388 85.0 | 10.774 % | 249.92/250.01 c | 2078 | 580998 1931309 | 343523 1975 133351 67.5 | 10.774 % | 257.92/258.06 c | 3217 | 580998 1931309 | 377875 3114 194308 62.4 | 10.774 % | 260.52/260.68 c | 4925 | 580998 1931309 | 415663 4822 486677 100.9 | 10.774 % | 277.82/277.95 c | 7489 | 580972 1931213 | 457229 7383 1035478 140.3 | 10.778 % | 289.42/289.56 c | 11334 | 580972 1931213 | 502952 11228 1492617 132.9 | 10.778 % | 323.40/323.56 c | 17100 | 580972 1931213 | 553247 16994 2584158 152.1 | 10.778 % | 333.70/333.83 c | 25749 | 580972 1931213 | 608572 25643 4039586 157.5 | 10.778 % | 384.59/384.72 c | 38724 | 580963 1931184 | 669429 38617 5684469 147.2 | 10.780 % | 473.17/473.39 c | 58186 | 580926 1931053 | 736372 58075 8500710 146.4 | 10.786 % | 581.24/581.42 c | 87379 | 580803 1930638 | 810010 87252 13322384 152.7 | 10.800 % | 689.61/689.83 c | 131168 | 580627 1930052 | 891011 130964 21809767 166.5 | 10.821 % | 821.78/822.06 c | 196853 | 580627 1930052 | 980112 196649 36484677 185.5 | 10.821 % | 1053.22/1053.57 c | 295379 | 580627 1930052 | 1078123 295175 51465061 174.4 | 10.821 % | 1365.83/1366.23 c | 443168 | 580616 1930009 | 1185935 442963 77957969 176.0 | 10.823 % | 1800.02/1800.61 c 1800.02/1800.61 c *** TERMINATED *** 1800.02/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-367103-1177068756 -o ROOT/results/node47/solver-367103-1177068756 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367103-1177068756/minisat+ /tmp/evaluation/367103-1177068756/instance-367103-1177068756.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: 0.94 0.97 0.99 3/77 4345 /proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=1048 CPUtime=0 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 61721089 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 262 100 74 215 0 44 0 [startup+0.0895971 s] /proc/loadavg: 0.94 0.97 0.99 3/77 4345 /proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=1916 CPUtime=0.08 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 339 0 0 0 8 0 0 0 18 0 1 0 61721089 1961984 324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 479 324 74 215 0 261 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1916 [startup+0.101598 s] /proc/loadavg: 0.94 0.97 0.99 3/77 4345 /proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=2056 CPUtime=0.09 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 61721089 2105344 362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 514 362 74 215 0 296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2056 [startup+0.30162 s] /proc/loadavg: 0.94 0.97 0.99 3/77 4345 /proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=4200 CPUtime=0.29 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 878 0 0 0 29 0 0 0 19 0 1 0 61721089 4300800 863 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 1050 863 74 215 0 832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4200 [startup+0.701663 s] /proc/loadavg: 0.94 0.97 0.99 3/77 4345 /proc/meminfo: memFree=1802992/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=8096 CPUtime=0.69 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 1867 0 0 0 69 0 0 0 22 0 1 0 61721089 8290304 1852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 2024 1852 74 215 0 1806 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8096 [startup+1.50175 s] /proc/loadavg: 0.94 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1792616/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=15960 CPUtime=1.49 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 3801 0 0 0 147 2 0 0 25 0 1 0 61721089 16343040 3786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 3990 3786 74 215 0 3772 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15960 [startup+3.10192 s] /proc/loadavg: 0.94 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1781992/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=31988 CPUtime=3.09 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 7729 0 0 0 304 5 0 0 25 0 1 0 61721089 32755712 7664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 7997 7664 74 215 0 7779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31988 [startup+6.30127 s] /proc/loadavg: 0.94 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1745776/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=62588 CPUtime=6.29 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 15882 0 0 0 621 8 0 0 25 0 1 0 61721089 64090112 15222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 15647 15222 74 215 0 15429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62588 [startup+12.702 s] /proc/loadavg: 0.95 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1743488/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=60700 CPUtime=12.69 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 16054 0 0 0 1261 8 0 0 25 0 1 0 61721089 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621371 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60700 [startup+25.5014 s] /proc/loadavg: 0.96 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1743488/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=60700 CPUtime=25.48 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 16054 0 0 0 2540 8 0 0 25 0 1 0 61721089 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60700 [startup+51.1011 s] /proc/loadavg: 0.97 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1743552/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=60700 CPUtime=51.07 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 16054 0 0 0 5099 8 0 0 25 0 1 0 61721089 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60700 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1718784/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=84984 CPUtime=102.27 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 22911 0 0 0 10204 23 0 0 25 0 1 0 61721089 87023616 20818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 21246 20818 90 215 0 21028 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84984 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1480448/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=328200 CPUtime=162.25 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 83084 0 0 0 16178 47 0 0 25 0 1 0 61721089 336076800 80460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648425 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82050 80460 92 215 0 81832 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 328200 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1492544/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=312620 CPUtime=222.24 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 83084 0 0 0 22176 48 0 0 25 0 1 0 61721089 320122880 77467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 78155 77467 92 215 0 77937 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 312620 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475520/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=282.22 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88671 0 0 0 28171 51 0 0 25 0 1 0 61721089 337526784 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81785 123 215 0 82186 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 329616 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475520/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=342.2 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88671 0 0 0 34169 51 0 0 25 0 1 0 61721089 337526784 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81785 123 215 0 82186 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 329616 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475520/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=402.19 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88672 0 0 0 40167 52 0 0 25 0 1 0 61721089 337526784 81786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81786 123 215 0 82186 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 329616 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475456/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=462.17 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88672 0 0 0 46165 52 0 0 25 0 1 0 61721089 337526784 81786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81786 123 215 0 82186 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 329616 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475328/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=522.16 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88672 0 0 0 52163 53 0 0 25 0 1 0 61721089 337526784 81786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573331 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81786 123 215 0 82186 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 329616 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475328/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=582.14 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88684 0 0 0 58161 53 0 0 25 0 1 0 61721089 337526784 81798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580417 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81798 123 215 0 82186 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 329616 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475328/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=642.12 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88684 0 0 0 64159 53 0 0 25 0 1 0 61721089 337526784 81798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81798 123 215 0 82186 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 329616 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=822.08 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 82153 55 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81801 123 215 0 82186 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 329616 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=882.06 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 88151 55 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81801 123 215 0 82186 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 329616 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=942.05 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 94149 56 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81801 123 215 0 82186 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 329616 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=1002.03 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 100147 56 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81801 123 215 0 82186 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 329616 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1475200/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=329616 CPUtime=1062.02 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 88687 0 0 0 106145 57 0 0 25 0 1 0 61721089 337526784 81801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 82404 81801 123 215 0 82186 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 329616 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1462400/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=343256 CPUtime=1122 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 91938 0 0 0 112139 61 0 0 25 0 1 0 61721089 351494144 85052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 85814 85052 123 215 0 85596 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 343256 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1445376/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=360484 CPUtime=1181.98 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 96262 0 0 0 118133 65 0 0 25 0 1 0 61721089 369135616 89376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583964 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 90121 89376 123 215 0 89903 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 360484 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1418368/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=386800 CPUtime=1241.96 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 102884 0 0 0 124123 73 0 0 25 0 1 0 61721089 396083200 95998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 96700 95998 123 215 0 96482 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 386800 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1399936/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=404968 CPUtime=1301.95 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 107452 0 0 0 130117 78 0 0 25 0 1 0 61721089 414687232 100566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 101242 100566 123 215 0 101024 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 404968 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1376768/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=428224 CPUtime=1361.94 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 113289 0 0 0 136109 85 0 0 25 0 1 0 61721089 438501376 106403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 107056 106403 123 215 0 106838 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 428224 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1372096/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=432564 CPUtime=1421.93 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 114386 0 0 0 142106 87 0 0 25 0 1 0 61721089 442945536 107500 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 108141 107500 123 215 0 107923 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 432564 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1355904/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=449992 CPUtime=1481.9 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 118529 0 0 0 148099 91 0 0 25 0 1 0 61721089 460791808 111643 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 112498 111643 123 215 0 112280 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 449992 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1321472/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=483860 CPUtime=1541.89 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 127032 0 0 0 154090 99 0 0 25 0 1 0 61721089 495472640 120146 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 120965 120146 123 215 0 120747 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 483860 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1292480/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=513244 CPUtime=1601.88 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 134372 0 0 0 160081 107 0 0 25 0 1 0 61721089 525561856 127486 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 128311 127486 123 215 0 128093 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 513244 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4346 /proc/meminfo: memFree=1267264/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=537904 CPUtime=1661.85 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 140553 0 0 0 166073 112 0 0 25 0 1 0 61721089 550813696 133667 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574460 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 134476 133667 123 215 0 134258 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 537904 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 4454 /proc/meminfo: memFree=1244928/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=558988 CPUtime=1721.78 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 145823 0 0 0 172060 118 0 0 25 0 1 0 61721089 572403712 138937 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 139747 138937 123 215 0 139529 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 558988 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4544 /proc/meminfo: memFree=1224640/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=580140 CPUtime=1781.72 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 151127 0 0 0 178049 123 0 0 25 0 1 0 61721089 594063360 144241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 145035 144241 123 215 0 144817 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 580140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/78 4544 /proc/meminfo: memFree=1216832/2055920 swapFree=4157972/4192956 [pid=4345] ppid=4343 vsize=587816 CPUtime=1800.02 /proc/4345/stat : 4345 (minisat+) R 4343 4345 4161 0 -1 4194304 153056 0 0 0 179877 125 0 0 25 0 1 0 61721089 601923584 146170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4345/statm: 146954 146170 123 215 0 146736 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 587816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.12 CPU user time (s): 1798.78 CPU system time (s): 1.3428 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 587816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.78 system time used= 1.34279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 153057 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= 531 involuntary context switches= 16015 runsolver used 2.00869 second user time and 4.80427 second system time The end
Begin job on node47 on Fri Apr 20 11:32:37 UTC 2007 IDJOB= 367103 IDBENCH= 3017 IDSOLVER= 156 FILE ID= node47/367103-1177068756 PBS_JOBID= 4640276 Free space on /tmp= 66419 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-346995195.opb COMMAND LINE= /tmp/evaluation/367103-1177068756/minisat+ /tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-367103-1177068756 -o ROOT/results/node47/conversion-367103-1177068756 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-367103-1177068756 -o ROOT/results/node47/solver-367103-1177068756 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367103-1177068756/minisat+ /tmp/evaluation/367103-1177068756/instance-367103-1177068756.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 55edb2dcebb1eef2ceca62dc17cce326 RANDOM SEED= 12278422 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1803400 kB Buffers: 58164 kB Cached: 105544 kB SwapCached: 3300 kB Active: 122540 kB Inactive: 82512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803400 kB SwapTotal: 4192956 kB SwapFree: 4157972 kB Dirty: 9552 kB Writeback: 0 kB Mapped: 35424 kB Slab: 33008 kB Committed_AS: 3843088 kB PageTables: 1788 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= 66419 MiB End job on node47 on Fri Apr 20 12:02:40 UTC 2007