Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.76 | 1801.26 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb |
MD5SUM | 18301f364ef74e26df74516365cf575f |
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 | 99.7978 |
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 | 39901 |
Total number of constraints | 118441 |
Number of constraints which are clauses | 118440 |
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 | 39480 |
Number of terms in the objective function | 141 |
Biggest coefficient in the objective function | 1393796574908163946345982392040522594123776 |
Number of bits for the biggest coefficient in the objective function | 141 |
Sum of the numbers in the objective function | 2787593149816327892691964784081045188247551 |
Number of bits of the sum of numbers in the objective function | 141 |
Biggest number in a constraint | 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 |
Number of bits of the biggest number in a constraint | 420 |
Biggest sum of numbers in a constraint | 5415370496329716522614090203404460358274291131933137772446847436667115240992208031579922255034219518448630133725391512086530056 |
Number of bits of the biggest sum of numbers | 421 |
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... 5.39 c Converting 118442 PB-constraints to clauses... 5.42 c -- Unit propagations: (none) 67.05 c -- Detecting intervals from adjacent constraints: # 67.08 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 67.29 c ---[ 0]---> Adder-cost: 58934 maxlim: 272004555165578002924218887772293462584450371919870121270692974816592215366477955184634 bits: 288/288 174.65 c ==================================[MINISAT+]================================== 174.65 c | Conflicts | Original | Learnt | Progress | 174.65 c | | Clauses Literals | Max Clauses Literals LPC | | 174.65 c ============================================================================== 174.65 c | 0 | 508917 1691798 | 169639 0 0 nan | 0.000 % | 175.42 c | 100 | 508331 1689722 | 186602 18 53 2.9 | 10.644 % | 175.44 c | 250 | 508331 1689722 | 205263 168 504 3.0 | 10.644 % | 176.33 c | 475 | 508331 1689722 | 225789 393 1266 3.2 | 10.644 % | 177.11 c | 813 | 508331 1689722 | 248368 731 24862 34.0 | 10.644 % | 179.24 c | 1321 | 508331 1689722 | 273205 1239 47917 38.7 | 10.644 % | 182.58 c | 2080 | 508331 1689722 | 300525 1998 134702 67.4 | 10.644 % | 190.21 c | 3220 | 508244 1689421 | 330578 3126 199994 64.0 | 10.661 % | 192.31 c | 4929 | 508244 1689421 | 363636 4835 443718 91.8 | 10.661 % | 208.53 c | 7491 | 508235 1689392 | 399999 7396 659242 89.1 | 10.663 % | 226.44 c | 11335 | 508235 1689392 | 439999 11240 1378804 122.7 | 10.663 % | 263.55 c | 17101 | 508235 1689392 | 483999 17006 2024724 119.1 | 10.663 % | 304.20 c | 25750 | 508235 1689392 | 532399 25655 2903981 113.2 | 10.663 % | 322.43 c | 38724 | 508226 1689361 | 585639 38545 5279531 137.0 | 10.664 % | 336.30 c | 58185 | 508226 1689361 | 644203 58006 7396335 127.5 | 10.664 % | 446.77 c | 87378 | 508226 1689361 | 708624 87199 11794640 135.3 | 10.664 % | 680.64 c | 131169 | 508100 1688927 | 779486 130879 16515235 126.2 | 10.685 % | 953.66 c | 196855 | 508075 1688842 | 857435 196385 32017602 163.0 | 10.688 % | 1205.11 c | 295381 | 507980 1688501 | 943178 294888 46739850 158.5 | 10.704 % | 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/node57/watcher-49781-1154117459 -o ROOT/results/node57/solver-49781-1154117459 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node57/49781-1154117459/instance-49781-1154117459.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 3/64 17152 /proc/meminfo: memFree=921348/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=1048 CPUtime=0 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 158616328 1073152 101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 262 101 74 215 0 44 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.97 2/64 17152 /proc/meminfo: memFree=870020/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=9.99 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13557 0 0 0 992 7 0 0 25 0 1 0 158616328 53788672 12894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12894 83 215 0 12914 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 52528 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.97 2/64 17152 /proc/meminfo: memFree=870212/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=19.99 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13557 0 0 0 1992 7 0 0 25 0 1 0 158616328 53788672 12894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808961 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12894 83 215 0 12914 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 52528 [startup+30.0141 s] /proc/loadavg: 0.95 0.96 0.97 2/64 17152 /proc/meminfo: memFree=870340/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=30 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13557 0 0 0 2993 7 0 0 25 0 1 0 158616328 53788672 12894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531117 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12894 83 215 0 12914 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 52528 [startup+40.02 s] /proc/loadavg: 0.95 0.96 0.97 2/64 17152 /proc/meminfo: memFree=870404/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=40 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13557 0 0 0 3993 7 0 0 25 0 1 0 158616328 53788672 12894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012176 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12894 83 215 0 12914 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 52528 [startup+50.0258 s] /proc/loadavg: 0.96 0.96 0.97 2/64 17152 /proc/meminfo: memFree=870404/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=50 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13557 0 0 0 4993 7 0 0 25 0 1 0 158616328 53788672 12894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12894 83 215 0 12914 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 52528 [startup+60.0317 s] /proc/loadavg: 0.97 0.96 0.97 2/64 17152 /proc/meminfo: memFree=870404/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=60.01 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13557 0 0 0 5994 7 0 0 25 0 1 0 158616328 53788672 12894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12894 83 215 0 12914 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 52528 [startup+70.0386 s] /proc/loadavg: 0.97 0.96 0.97 2/64 17152 /proc/meminfo: memFree=870276/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=52528 CPUtime=70.01 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 13562 0 0 0 6985 16 0 0 25 0 1 0 158616328 53788672 12899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 13132 12899 88 215 0 12914 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 52528 [startup+80.0445 s] /proc/loadavg: 0.98 0.96 0.97 2/64 17152 /proc/meminfo: memFree=698372/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=228432 CPUtime=80.01 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 57445 0 0 0 7966 35 0 0 25 0 1 0 158616328 233914368 55872 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 57108 55877 92 215 0 56890 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 228432 [startup+90.0503 s] /proc/loadavg: 0.98 0.96 0.97 2/64 17152 /proc/meminfo: memFree=657220/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=269628 CPUtime=90.02 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67913 0 0 0 8961 41 0 0 25 0 1 0 158616328 276099072 66078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 67407 66078 92 215 0 67189 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 269628 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.97 2/64 17152 /proc/meminfo: memFree=657220/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=269628 CPUtime=100.02 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 9961 41 0 0 25 0 1 0 158616328 276099072 66089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 67407 66089 92 215 0 67189 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 269628 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.97 2/64 17152 /proc/meminfo: memFree=657156/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=269628 CPUtime=110.03 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 10962 41 0 0 25 0 1 0 158616328 276099072 66089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 67407 66089 92 215 0 67189 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 269628 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=657156/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=269628 CPUtime=120.03 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 11962 41 0 0 25 0 1 0 158616328 276099072 66089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 67407 66089 92 215 0 67189 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 269628 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=657156/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=269628 CPUtime=130.03 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 12962 41 0 0 25 0 1 0 158616328 276099072 66089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003218 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 67407 66089 92 215 0 67189 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 269628 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=659268/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=266512 CPUtime=140.04 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 13963 41 0 0 25 0 1 0 158616328 272908288 65562 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531237 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 66628 65562 92 215 0 66410 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 266512 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=661572/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=263232 CPUtime=150.04 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 14963 41 0 0 25 0 1 0 158616328 269549568 64988 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 65808 64988 92 215 0 65590 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 263232 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=663748/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=260116 CPUtime=160.04 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 67924 0 0 0 15963 41 0 0 25 0 1 0 158616328 266358784 64437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003230 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 65029 64437 92 215 0 64811 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 260116 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=658244/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=265916 CPUtime=170.05 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 69669 0 0 0 16963 42 0 0 25 0 1 0 158616328 272297984 65852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 66479 65852 92 215 0 66261 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 265916 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=658436/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=266224 CPUtime=180.05 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 70480 0 0 0 17963 42 0 0 25 0 1 0 158616328 272613376 65839 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 66556 65839 123 215 0 66338 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 266224 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=658436/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=266224 CPUtime=190.05 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 70486 0 0 0 18963 42 0 0 25 0 1 0 158616328 272613376 65845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 66556 65845 123 215 0 66338 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 266224 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 /proc/meminfo: memFree=658436/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=266224 CPUtime=200.06 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 70487 0 0 0 19964 42 0 0 25 0 1 0 158616328 272613376 65846 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 66556 65846 123 215 0 66338 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 266224 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17152 ################ # More data... # ################ /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83027 0 0 0 178102 58 0 0 25 0 1 0 158616328 324345856 78386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79186 78386 123 215 0 78968 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 316744 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607876/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=316744 CPUtime=1782.61 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83035 0 0 0 178203 58 0 0 25 0 1 0 158616328 324345856 78394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79186 78394 123 215 0 78968 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 316744 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607812/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=316876 CPUtime=1783.61 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83048 0 0 0 178303 58 0 0 25 0 1 0 158616328 324481024 78407 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79219 78407 123 215 0 79001 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 316876 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607684/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317008 CPUtime=1784.61 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83084 0 0 0 178403 58 0 0 25 0 1 0 158616328 324616192 78443 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79252 78443 123 215 0 79034 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 317008 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607556/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317140 CPUtime=1785.62 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83118 0 0 0 178504 58 0 0 25 0 1 0 158616328 324751360 78477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79285 78477 123 215 0 79067 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 317140 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607428/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317272 CPUtime=1786.62 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83141 0 0 0 178604 58 0 0 25 0 1 0 158616328 324886528 78500 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79318 78500 123 215 0 79100 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 317272 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607364/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317272 CPUtime=1787.63 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83162 0 0 0 178705 58 0 0 25 0 1 0 158616328 324886528 78521 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79318 78521 123 215 0 79100 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 317272 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607236/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317404 CPUtime=1788.63 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83200 0 0 0 178805 58 0 0 25 0 1 0 158616328 325021696 78559 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79351 78559 123 215 0 79133 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 317404 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=607108/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317536 CPUtime=1789.64 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83227 0 0 0 178906 58 0 0 25 0 1 0 158616328 325156864 78586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79384 78586 123 215 0 79166 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 317536 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606980/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317668 CPUtime=1790.64 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83249 0 0 0 179006 58 0 0 25 0 1 0 158616328 325292032 78608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79417 78608 123 215 0 79199 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 317668 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606916/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317668 CPUtime=1791.65 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83267 0 0 0 179107 58 0 0 25 0 1 0 158616328 325292032 78626 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79417 78626 123 215 0 79199 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 317668 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606852/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317800 CPUtime=1792.65 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83285 0 0 0 179207 58 0 0 25 0 1 0 158616328 325427200 78644 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79450 78644 123 215 0 79232 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 317800 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606788/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317800 CPUtime=1793.66 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83299 0 0 0 179308 58 0 0 25 0 1 0 158616328 325427200 78658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79450 78658 123 215 0 79232 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 317800 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606788/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317932 CPUtime=1794.66 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83307 0 0 0 179408 58 0 0 25 0 1 0 158616328 325562368 78666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581139 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79483 78666 123 215 0 79265 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 317932 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606724/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317932 CPUtime=1795.67 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83322 0 0 0 179509 58 0 0 25 0 1 0 158616328 325562368 78681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79483 78681 123 215 0 79265 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 317932 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606660/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=317932 CPUtime=1796.67 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83335 0 0 0 179609 58 0 0 25 0 1 0 158616328 325562368 78694 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79483 78694 123 215 0 79265 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 317932 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606468/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=318188 CPUtime=1797.68 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83375 0 0 0 179710 58 0 0 25 0 1 0 158616328 325824512 78734 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79547 78734 123 215 0 79329 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 318188 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606404/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=318188 CPUtime=1798.68 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83392 0 0 0 179810 58 0 0 25 0 1 0 158616328 325824512 78751 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79547 78751 123 215 0 79329 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 318188 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606404/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=318312 CPUtime=1799.69 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83402 0 0 0 179911 58 0 0 25 0 1 0 158616328 325951488 78761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576108 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79578 78761 123 215 0 79360 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 318312 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606340/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=318312 CPUtime=1800.69 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83412 0 0 0 180011 58 0 0 25 0 1 0 158616328 325951488 78771 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79578 78771 123 215 0 79360 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 318312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 17154 /proc/meminfo: memFree=606340/2055920 swapFree=4183068/4192956 [pid=17152] ppid=17150 vsize=318312 CPUtime=1800.7 /proc/17152/stat : 17152 (minisat+) R 17150 17152 17103 0 -1 4194304 83412 0 0 0 180012 58 0 0 25 0 1 0 158616328 325951488 78771 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/17152/statm: 79578 78771 123 215 0 79360 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 318312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.26 CPU time (s): 1800.76 CPU user time (s): 1800.12 CPU system time (s): 0.637903 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (Kb): 318312 The end
Begin job on node57 on Fri Jul 28 20:10:59 UTC 2006 FILE ID= 49781-1154117459 PBS_JOBID= 886789 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node57/49781-1154117459/instance-49781-1154117459.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-49781-1154117459 -o ROOT/results/node57/solver-49781-1154117459 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node57/49781-1154117459/instance-49781-1154117459.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 18301f364ef74e26df74516365cf575f RANDOM SEED= 868446440 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.235 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.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 921556 kB Buffers: 38616 kB Cached: 1010684 kB SwapCached: 3884 kB Active: 28012 kB Inactive: 1030112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 921556 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14724 kB Slab: 62192 kB Committed_AS: 604920 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node57 on Fri Jul 28 20:41:01 UTC 2006