Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.06 | 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 | 12.2031 |
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/0.00 c Parsing PB file... 5.29/5.38 c Converting 118442 PB-constraints to clauses... 5.40/5.40 c -- Unit propagations: (none) 66.76/66.87 c -- Detecting intervals from adjacent constraints: # 66.86/66.90 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 67.06/67.11 c ---[ 0]---> Adder-cost: 58934 maxlim: 272004555165578002924218887772293462584450371919870121270692974816592215366477955184634 bits: 288/288 174.46/174.61 c ==================================[MINISAT+]================================== 174.46/174.61 c | Conflicts | Original | Learnt | Progress | 174.46/174.61 c | | Clauses Literals | Max Clauses Literals LPC | | 174.46/174.61 c ============================================================================== 174.46/174.61 c | 0 | 508917 1691798 | 169639 0 0 nan | 0.000 % | 175.16/175.38 c | 100 | 508331 1689722 | 186602 18 53 2.9 | 10.644 % | 175.26/175.40 c | 250 | 508331 1689722 | 205263 168 504 3.0 | 10.644 % | 176.06/176.29 c | 475 | 508331 1689722 | 225789 393 1266 3.2 | 10.644 % | 176.87/177.06 c | 813 | 508331 1689722 | 248368 731 24862 34.0 | 10.644 % | 178.96/179.19 c | 1321 | 508331 1689722 | 273205 1239 47917 38.7 | 10.644 % | 182.26/182.48 c | 2080 | 508331 1689722 | 300525 1998 134702 67.4 | 10.644 % | 189.95/190.13 c | 3220 | 508244 1689421 | 330578 3126 199994 64.0 | 10.661 % | 192.05/192.23 c | 4929 | 508244 1689421 | 363636 4835 443718 91.8 | 10.661 % | 208.14/208.38 c | 7491 | 508235 1689392 | 399999 7396 659242 89.1 | 10.663 % | 226.03/226.21 c | 11335 | 508235 1689392 | 439999 11240 1378804 122.7 | 10.663 % | 263.01/263.23 c | 17101 | 508235 1689392 | 483999 17006 2024724 119.1 | 10.663 % | 303.48/303.71 c | 25750 | 508235 1689392 | 532399 25655 2903981 113.2 | 10.663 % | 321.57/321.87 c | 38724 | 508226 1689361 | 585639 38545 5279531 137.0 | 10.664 % | 335.56/335.80 c | 58185 | 508226 1689361 | 644203 58006 7396335 127.5 | 10.664 % | 445.59/445.92 c | 87378 | 508226 1689361 | 708624 87199 11794640 135.3 | 10.664 % | 678.83/679.36 c | 131169 | 508100 1688927 | 779486 130879 16515235 126.2 | 10.685 % | 951.07/951.77 c | 196855 | 508075 1688842 | 857435 196385 32017602 163.0 | 10.688 % | 1201.80/1202.69 c | 295381 | 507980 1688501 | 943178 294888 46739850 158.5 | 10.704 % | 1800.01/1801.20 c 1800.01/1801.20 c *** TERMINATED *** 1800.01/1801.20 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/366947-1177068160/instance-366947-1177068160.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-366947-1177068160 -o ROOT/results/node35/solver-366947-1177068160 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366947-1177068160/minisat+ /tmp/evaluation/366947-1177068160/instance-366947-1177068160.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.00 1.00 3/77 646 /proc/meminfo: memFree=1765048/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=1048 CPUtime=0 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 119 0 0 0 0 0 0 0 18 0 1 0 154731494 1073152 104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005297 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 262 104 74 215 0 44 0 [startup+0.0962301 s] /proc/loadavg: 1.05 1.00 1.00 3/77 646 /proc/meminfo: memFree=1765048/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=2212 CPUtime=0.09 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 387 0 0 0 9 0 0 0 18 0 1 0 154731494 2265088 372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 553 372 74 215 0 335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2212 [startup+0.10123 s] /proc/loadavg: 1.05 1.00 1.00 3/77 646 /proc/meminfo: memFree=1765048/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=2212 CPUtime=0.1 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 395 0 0 0 10 0 0 0 18 0 1 0 154731494 2265088 380 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 553 381 74 215 0 335 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2212 [startup+0.301252 s] /proc/loadavg: 1.05 1.00 1.00 3/77 646 /proc/meminfo: memFree=1765048/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=4476 CPUtime=0.29 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 935 0 0 0 29 0 0 0 19 0 1 0 154731494 4583424 920 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006403 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 1119 920 74 215 0 901 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4476 [startup+0.7013 s] /proc/loadavg: 1.05 1.00 1.00 3/77 646 /proc/meminfo: memFree=1765048/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=8764 CPUtime=0.69 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 1995 0 0 0 68 1 0 0 23 0 1 0 154731494 8974336 1980 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 2191 1980 74 215 0 1973 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8764 [startup+1.50139 s] /proc/loadavg: 1.04 1.00 1.00 2/78 647 /proc/meminfo: memFree=1754160/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=17236 CPUtime=1.49 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 4106 0 0 0 147 2 0 0 25 0 1 0 154731494 17649664 4091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 4309 4091 74 215 0 4091 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17236 [startup+3.10158 s] /proc/loadavg: 1.04 1.00 1.00 2/78 647 /proc/meminfo: memFree=1742640/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=33924 CPUtime=3.09 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 8277 0 0 0 305 4 0 0 25 0 1 0 154731494 34738176 8212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134629209 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 8481 8212 74 215 0 8263 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33924 [startup+6.30195 s] /proc/loadavg: 1.04 1.00 1.00 2/78 647 /proc/meminfo: memFree=1713136/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=52528 CPUtime=6.29 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 13557 0 0 0 622 7 0 0 25 0 1 0 154731494 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52528 [startup+12.7017 s] /proc/loadavg: 1.04 1.00 1.00 2/78 647 /proc/meminfo: memFree=1713392/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=52528 CPUtime=12.69 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 13557 0 0 0 1262 7 0 0 25 0 1 0 154731494 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52528 [startup+25.5012 s] /proc/loadavg: 1.03 1.00 1.00 2/78 647 /proc/meminfo: memFree=1713712/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=52528 CPUtime=25.48 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 13557 0 0 0 2541 7 0 0 25 0 1 0 154731494 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005853 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52528 [startup+51.1012 s] /proc/loadavg: 1.02 1.00 1.00 2/78 647 /proc/meminfo: memFree=1713776/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=52528 CPUtime=51.06 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 13557 0 0 0 5099 7 0 0 25 0 1 0 154731494 53788672 12895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 13132 12895 83 215 0 12914 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 52528 [startup+102.305 s] /proc/loadavg: 1.01 1.00 1.00 2/78 647 /proc/meminfo: memFree=1500656/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=269628 CPUtime=102.23 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 67922 0 0 0 10183 40 0 0 25 0 1 0 154731494 276099072 66088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134833860 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 67407 66088 92 215 0 67189 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 269628 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1507056/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=260116 CPUtime=162.17 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 67922 0 0 0 16176 41 0 0 25 0 1 0 154731494 266358784 64436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 65029 64436 92 215 0 64811 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 260116 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501744/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=222.13 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70492 0 0 0 22170 43 0 0 25 0 1 0 154731494 272613376 65850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65850 123 215 0 66338 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 266224 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501744/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=282.09 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70495 0 0 0 28166 43 0 0 25 0 1 0 154731494 272613376 65853 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65853 123 215 0 66338 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 266224 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501744/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=342.05 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 34162 43 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 266224 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501744/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=402.01 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 40158 43 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 266224 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501744/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=461.97 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 46154 43 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 461.97 Current children cumulated vsize (KiB) 266224 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501680/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=521.94 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 52150 44 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 521.94 Current children cumulated vsize (KiB) 266224 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501680/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=581.9 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 58146 44 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 581.9 Current children cumulated vsize (KiB) 266224 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501680/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=641.86 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 64142 44 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 266224 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501552/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=821.75 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 82131 44 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 821.75 Current children cumulated vsize (KiB) 266224 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501552/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=881.7 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 88126 44 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580863 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 881.7 Current children cumulated vsize (KiB) 266224 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 647 /proc/meminfo: memFree=1501616/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=941.67 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70497 0 0 0 94123 44 0 0 25 0 1 0 154731494 272613376 65855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65855 123 215 0 66338 0 Current children cumulated CPU time (s) 941.67 Current children cumulated vsize (KiB) 266224 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1501616/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=266224 CPUtime=1001.63 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 70504 0 0 0 100119 44 0 0 25 0 1 0 154731494 272613376 65862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 66556 65862 123 215 0 66338 0 Current children cumulated CPU time (s) 1001.63 Current children cumulated vsize (KiB) 266224 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1498672/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=269520 CPUtime=1061.59 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 71299 0 0 0 106114 45 0 0 25 0 1 0 154731494 275988480 66657 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/646/statm: 67380 66657 123 215 0 67162 0 Current children cumulated CPU time (s) 1061.59 Current children cumulated vsize (KiB) 269520 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1493296/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=274796 CPUtime=1121.54 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 72637 0 0 0 112108 46 0 0 25 0 1 0 154731494 281391104 67995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572977 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 68699 67995 123 215 0 68481 0 Current children cumulated CPU time (s) 1121.54 Current children cumulated vsize (KiB) 274796 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1486704/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=281392 CPUtime=1181.52 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 74279 0 0 0 118104 48 0 0 25 0 1 0 154731494 288145408 69637 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 70348 69637 123 215 0 70130 0 Current children cumulated CPU time (s) 1181.52 Current children cumulated vsize (KiB) 281392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1480432/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=287420 CPUtime=1241.47 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 75802 0 0 0 124097 50 0 0 25 0 1 0 154731494 294318080 71160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/646/statm: 71855 71160 123 215 0 71637 0 Current children cumulated CPU time (s) 1241.47 Current children cumulated vsize (KiB) 287420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1478128/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=289784 CPUtime=1301.44 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 76365 0 0 0 130093 51 0 0 25 0 1 0 154731494 296738816 71723 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 72446 71723 123 215 0 72228 0 Current children cumulated CPU time (s) 1301.44 Current children cumulated vsize (KiB) 289784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1475312/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=293184 CPUtime=1361.41 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 77076 0 0 0 136089 52 0 0 25 0 1 0 154731494 300220416 72434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 73296 72434 123 215 0 73078 0 Current children cumulated CPU time (s) 1361.41 Current children cumulated vsize (KiB) 293184 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1472368/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=296064 CPUtime=1421.37 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 77818 0 0 0 142085 52 0 0 25 0 1 0 154731494 303169536 73176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 74016 73176 123 215 0 73798 0 Current children cumulated CPU time (s) 1421.37 Current children cumulated vsize (KiB) 296064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1469744/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=298828 CPUtime=1481.29 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 78499 0 0 0 148076 53 0 0 25 0 1 0 154731494 305999872 73857 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 74707 73857 123 215 0 74489 0 Current children cumulated CPU time (s) 1481.29 Current children cumulated vsize (KiB) 298828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1466352/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=302244 CPUtime=1541.27 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 79372 0 0 0 154072 55 0 0 25 0 1 0 154731494 309497856 74730 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580327 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 75561 74730 123 215 0 75343 0 Current children cumulated CPU time (s) 1541.27 Current children cumulated vsize (KiB) 302244 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1463344/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=305104 CPUtime=1601.22 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 80100 0 0 0 160066 56 0 0 25 0 1 0 154731494 312426496 75458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 76276 75458 123 215 0 76058 0 Current children cumulated CPU time (s) 1601.22 Current children cumulated vsize (KiB) 305104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1459056/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=309408 CPUtime=1661.18 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 81174 0 0 0 166061 57 0 0 25 0 1 0 154731494 316833792 76532 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 77352 76532 123 215 0 77134 0 Current children cumulated CPU time (s) 1661.18 Current children cumulated vsize (KiB) 309408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1454896/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=313504 CPUtime=1721.15 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 82218 0 0 0 172058 57 0 0 25 0 1 0 154731494 321028096 77576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 78376 77576 123 215 0 78158 0 Current children cumulated CPU time (s) 1721.15 Current children cumulated vsize (KiB) 313504 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1451120/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=317132 CPUtime=1781.11 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 83116 0 0 0 178053 58 0 0 25 0 1 0 154731494 324743168 78474 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 79283 78474 123 215 0 79065 0 Current children cumulated CPU time (s) 1781.11 Current children cumulated vsize (KiB) 317132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 649 /proc/meminfo: memFree=1449648/2055920 swapFree=4151144/4192956 [pid=646] ppid=644 vsize=318568 CPUtime=1800.01 /proc/646/stat : 646 (minisat+) R 644 646 31567 0 -1 4194304 83474 0 0 0 179942 59 0 0 25 0 1 0 154731494 326213632 78832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 0 0 0 /proc/646/statm: 79642 78832 123 215 0 79424 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 318568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.26 CPU time (s): 1800.06 CPU user time (s): 1799.42 CPU system time (s): 0.639902 CPU usage (%): 99.9336 Max. virtual memory (cumulated for all children) (KiB): 318568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.639902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83475 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 428 involuntary context switches= 42290 runsolver used 1.87871 second user time and 4.88726 second system time The end
Begin job on node35 on Fri Apr 20 11:22:41 UTC 2007 IDJOB= 366947 IDBENCH= 2964 IDSOLVER= 156 FILE ID= node35/366947-1177068160 PBS_JOBID= 4640217 Free space on /tmp= 66299 MiB SOLVER NAME= minisat+ 1.14 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= /tmp/evaluation/366947-1177068160/minisat+ /tmp/evaluation/366947-1177068160/instance-366947-1177068160.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-366947-1177068160 -o ROOT/results/node35/conversion-366947-1177068160 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/366947-1177068160/instance-366947-1177068160.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-366947-1177068160 -o ROOT/results/node35/solver-366947-1177068160 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366947-1177068160/minisat+ /tmp/evaluation/366947-1177068160/instance-366947-1177068160.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 18301f364ef74e26df74516365cf575f RANDOM SEED= 557310428 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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.232 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: 1765520 kB Buffers: 35764 kB Cached: 184472 kB SwapCached: 9060 kB Active: 124028 kB Inactive: 123812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765520 kB SwapTotal: 4192956 kB SwapFree: 4151144 kB Dirty: 8444 kB Writeback: 0 kB Mapped: 34512 kB Slab: 27892 kB Committed_AS: 2470512 kB PageTables: 2008 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66299 MiB End job on node35 on Fri Apr 20 11:52:44 UTC 2007