Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.66 | 1801.3 |
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 | 123.444 |
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 c Parsing PB file... 6.46 c Converting 135902 PB-constraints to clauses... 6.50 c -- Unit propagations: (none) 96.21 c -- Detecting intervals from adjacent constraints: # 96.24 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 96.51 c ---[ 0]---> Adder-cost: 67342 maxlim: 152815123171761988496734947402513736484426477842784718762724655243331752118086385027734013446 bits: 307/307 238.31 c ==================================[MINISAT+]================================== 238.31 c | Conflicts | Original | Learnt | Progress | 238.31 c | | Clauses Literals | Max Clauses Literals LPC | | 238.31 c ============================================================================== 238.31 c | 0 | 581730 1933891 | 193910 0 0 nan | 0.000 % | 238.38 c | 100 | 581714 1933839 | 213301 98 300 3.1 | 10.669 % | 238.78 c | 250 | 581085 1931592 | 234631 160 497 3.1 | 10.760 % | 238.89 c | 475 | 581005 1931332 | 258094 374 1172 3.1 | 10.773 % | 241.46 c | 812 | 580998 1931309 | 283903 709 5183 7.3 | 10.774 % | 244.96 c | 1319 | 580998 1931309 | 312293 1216 103388 85.0 | 10.774 % | 250.98 c | 2078 | 580998 1931309 | 343523 1975 133351 67.5 | 10.774 % | 259.03 c | 3217 | 580998 1931309 | 377875 3114 194308 62.4 | 10.774 % | 261.64 c | 4925 | 580998 1931309 | 415663 4822 486677 100.9 | 10.774 % | 278.90 c | 7489 | 580972 1931213 | 457229 7383 1035478 140.3 | 10.778 % | 290.49 c | 11334 | 580972 1931213 | 502952 11228 1492617 132.9 | 10.778 % | 324.45 c | 17100 | 580972 1931213 | 553247 16994 2584158 152.1 | 10.778 % | 334.67 c | 25749 | 580972 1931213 | 608572 25643 4039586 157.5 | 10.778 % | 385.47 c | 38724 | 580963 1931184 | 669429 38617 5684469 147.2 | 10.780 % | 474.09 c | 58186 | 580926 1931053 | 736372 58075 8500710 146.4 | 10.786 % | 582.04 c | 87379 | 580803 1930638 | 810010 87252 13322384 152.7 | 10.800 % | 690.56 c | 131168 | 580627 1930052 | 891011 130964 21809767 166.5 | 10.821 % | 822.73 c | 196853 | 580627 1930052 | 980112 196649 36484677 185.5 | 10.821 % | 1054.68 c | 295379 | 580627 1930052 | 1078123 295175 51465061 174.4 | 10.821 % | 1368.03 c | 443168 | 580616 1930009 | 1185935 442963 77957969 176.0 | 10.823 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node6/watcher-49834-1154121566 -o ROOT/results/node6/solver-49834-1154121566 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node6/49834-1154121566/instance-49834-1154121566.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=820632/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=1048 CPUtime=0 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 86 0 0 0 0 0 0 0 19 0 1 0 159018019 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 262 77 64 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761304/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=9.98 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 990 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 60700 [startup+20.0079 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761624/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=19.99 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 1991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 60700 [startup+30.0139 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=29.99 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 2991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 60700 [startup+40.0198 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761816/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=39.99 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 3991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 60700 [startup+50.0258 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761816/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=49.99 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 4991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621528 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 60700 [startup+60.0318 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761816/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=59.99 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 5991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 60700 [startup+70.0378 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=70 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 6992 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005773 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 60700 [startup+80.0447 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=80 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 7992 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812703 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 60700 [startup+90.0507 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=90 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 8992 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14871 83 215 0 14957 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 60700 [startup+100.057 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=60700 CPUtime=100 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16060 0 0 0 9979 21 0 0 25 0 1 0 159018019 62156800 14876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 15175 14876 88 215 0 14957 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 60700 [startup+110.064 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=603160/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=223320 CPUtime=110.01 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 56587 0 0 0 10963 38 0 0 25 0 1 0 159018019 228679680 54493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 55830 54493 92 215 0 55612 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 223320 [startup+120.071 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=329672 CPUtime=120.01 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83043 0 0 0 11950 51 0 0 25 0 1 0 159018019 337584128 80666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 82418 80666 92 215 0 82200 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 329672 [startup+130.077 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=329672 CPUtime=130.01 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83074 0 0 0 12950 51 0 0 25 0 1 0 159018019 337584128 80697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 82418 80697 92 215 0 82200 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 329672 [startup+140.083 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=329672 CPUtime=140.01 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 13950 51 0 0 25 0 1 0 159018019 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 82418 80703 92 215 0 82200 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 329672 [startup+150.09 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=329672 CPUtime=150.01 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 14950 51 0 0 25 0 1 0 159018019 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 82418 80703 92 215 0 82200 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 329672 [startup+160.096 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=498072/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=329180 CPUtime=160.02 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 15951 51 0 0 25 0 1 0 159018019 337080320 80622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 82295 80622 92 215 0 82077 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 329180 [startup+170.101 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=500312/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=325900 CPUtime=170.02 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 16951 51 0 0 25 0 1 0 159018019 333721600 80051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 81475 80051 92 215 0 81257 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 325900 [startup+180.107 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=502488/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=322948 CPUtime=180.02 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 17951 51 0 0 25 0 1 0 159018019 330698752 79505 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809124 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 80737 79505 92 215 0 80519 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 322948 [startup+190.113 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=504600/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=320160 CPUtime=190.03 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 18951 52 0 0 25 0 1 0 159018019 327843840 78969 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 80040 78969 92 215 0 79822 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 320160 [startup+200.119 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 /proc/meminfo: memFree=506712/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=317536 CPUtime=200.03 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 19951 52 0 0 25 0 1 0 159018019 325156864 78451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 79384 78451 92 215 0 79166 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 317536 [startup+210.125 s] /proc/loadavg: 0.99 0.99 0.99 2/63 950 ################ # More data... # ################ /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 150933 0 0 0 178028 119 0 0 25 0 1 0 159018019 593240064 144047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 144834 144047 123 215 0 144616 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 579336 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=243672/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=579728 CPUtime=1782.47 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151024 0 0 0 178128 119 0 0 25 0 1 0 159018019 593641472 144138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 144932 144138 123 215 0 144714 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 579728 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=243416/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=579992 CPUtime=1783.48 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151095 0 0 0 178229 119 0 0 25 0 1 0 159018019 593911808 144209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 144998 144209 123 215 0 144780 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 579992 [startup+1785.12 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=243160/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=580256 CPUtime=1784.48 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151163 0 0 0 178329 119 0 0 25 0 1 0 159018019 594182144 144277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145064 144277 123 215 0 144846 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 580256 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=242904/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=580520 CPUtime=1785.48 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151219 0 0 0 178429 119 0 0 25 0 1 0 159018019 594452480 144333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145130 144333 123 215 0 144912 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 580520 [startup+1787.13 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=242648/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=580788 CPUtime=1786.49 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151288 0 0 0 178530 119 0 0 25 0 1 0 159018019 594726912 144402 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145197 144402 123 215 0 144979 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 580788 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=242264/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=581184 CPUtime=1787.49 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151387 0 0 0 178630 119 0 0 25 0 1 0 159018019 595132416 144501 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580789 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145296 144501 123 215 0 145078 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 581184 [startup+1789.14 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=241752/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=581708 CPUtime=1788.5 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151519 0 0 0 178731 119 0 0 25 0 1 0 159018019 595668992 144633 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145427 144633 123 215 0 145209 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 581708 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=241432/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=581968 CPUtime=1789.5 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151596 0 0 0 178831 119 0 0 25 0 1 0 159018019 595935232 144710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145492 144710 123 215 0 145274 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 581968 [startup+1791.15 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=240856/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=582504 CPUtime=1790.5 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151732 0 0 0 178931 119 0 0 25 0 1 0 159018019 596484096 144846 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145626 144846 123 215 0 145408 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 582504 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=240344/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=583024 CPUtime=1791.51 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151862 0 0 0 179032 119 0 0 25 0 1 0 159018019 597016576 144976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145756 144976 123 215 0 145538 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 583024 [startup+1793.16 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=239768/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=583684 CPUtime=1792.51 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152004 0 0 0 179132 119 0 0 25 0 1 0 159018019 597692416 145118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 145921 145118 123 215 0 145703 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 583684 [startup+1794.16 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=239256/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=584220 CPUtime=1793.52 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152139 0 0 0 179233 119 0 0 25 0 1 0 159018019 598241280 145253 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574157 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146055 145253 123 215 0 145837 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 584220 [startup+1795.17 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=238744/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=584616 CPUtime=1794.52 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152259 0 0 0 179333 119 0 0 25 0 1 0 159018019 598646784 145373 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146154 145373 123 215 0 145936 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 584616 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=238360/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=585012 CPUtime=1795.53 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152351 0 0 0 179434 119 0 0 25 0 1 0 159018019 599052288 145465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146253 145465 123 215 0 146035 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 585012 [startup+1797.18 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=237848/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=585540 CPUtime=1796.53 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152476 0 0 0 179534 119 0 0 25 0 1 0 159018019 599592960 145590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146385 145590 123 215 0 146167 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 585540 [startup+1798.18 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=237592/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=585804 CPUtime=1797.54 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152551 0 0 0 179634 120 0 0 25 0 1 0 159018019 599863296 145665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146451 145665 123 215 0 146233 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 585804 [startup+1799.19 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=237208/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=586204 CPUtime=1798.55 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152650 0 0 0 179735 120 0 0 25 0 1 0 159018019 600272896 145764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146551 145764 123 215 0 146333 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 586204 [startup+1800.19 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=236824/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=586592 CPUtime=1799.55 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152744 0 0 0 179835 120 0 0 25 0 1 0 159018019 600670208 145858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146648 145858 123 215 0 146430 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 586592 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=236376/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=586988 CPUtime=1800.55 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152851 0 0 0 179935 120 0 0 25 0 1 0 159018019 601075712 145965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146747 145965 123 215 0 146529 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 586988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/63 952 /proc/meminfo: memFree=236376/2055924 swapFree=4183204/4192956 [pid=950] ppid=948 vsize=586988 CPUtime=1800.56 /proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152851 0 0 0 179936 120 0 0 25 0 1 0 159018019 601075712 145965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/950/statm: 146747 145965 123 215 0 146529 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 586988 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.66 CPU user time (s): 1799.36 CPU system time (s): 1.2978 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (Kb): 586988 The end
Begin job on node6 on Fri Jul 28 21:19:26 UTC 2006 FILE ID= 49834-1154121566 PBS_JOBID= 887001 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node6/49834-1154121566/instance-49834-1154121566.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-49834-1154121566 -o ROOT/results/node6/solver-49834-1154121566 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node6/49834-1154121566/instance-49834-1154121566.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 55edb2dcebb1eef2ceca62dc17cce326 RANDOM SEED= 250062154 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 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.255 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: 2055924 kB MemFree: 820840 kB Buffers: 43984 kB Cached: 1104756 kB SwapCached: 3792 kB Active: 59052 kB Inactive: 1098480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 820840 kB SwapTotal: 4192956 kB SwapFree: 4183204 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14828 kB Slab: 63576 kB Committed_AS: 676524 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Fri Jul 28 21:49:28 UTC 2006