Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.85 | 1801.35 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb |
MD5SUM | 731d8a8b62f1165d7f7ff2eb0e8bed96 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 52001 |
Total number of constraints | 154561 |
Number of constraints which are clauses | 154560 |
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 | 51520 |
Number of terms in the objective function | 161 |
Biggest coefficient in the objective function | 1461501637330902918203684832716283019655932542976 |
Number of bits for the biggest coefficient in the objective function | 161 |
Sum of the numbers in the objective function | 2923003274661805836407369665432566039311865085951 |
Number of bits of the sum of numbers in the objective function | 161 |
Biggest number in a constraint | 1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088 |
Number of bits of the biggest number in a constraint | 480 |
Biggest sum of numbers in a constraint | 6243497100631984462763194459586332611497196285329458171408770520629035540670020835398097850925707779467176054569131054629458594384801759081011045 |
Number of bits of the biggest sum of numbers | 481 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 7.38 c Converting 154562 PB-constraints to clauses... 7.41 c -- Unit propagations: (none) 124.28 c -- Detecting intervals from adjacent constraints: # 124.32 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 124.63 c ---[ 0]---> Adder-cost: 76956 maxlim: 342242056056889011804911409956638743178947078778334760037455141313564532547008979845370121711249565 bits: 328/328 300.50 c ==================================[MINISAT+]================================== 300.50 c | Conflicts | Original | Learnt | Progress | 300.50 c | | Clauses Literals | Max Clauses Literals LPC | | 300.50 c ============================================================================== 300.50 c | 0 | 665345 2211403 | 221781 0 0 nan | 0.000 % | 301.62 c | 100 | 664856 2209662 | 243959 43 141 3.3 | 10.534 % | 302.24 c | 250 | 664578 2208686 | 268355 151 471 3.1 | 10.571 % | 304.49 c | 476 | 664554 2208604 | 295190 374 2769 7.4 | 10.574 % | 304.73 c | 816 | 664554 2208604 | 324709 714 36143 50.6 | 10.574 % | 308.72 c | 1324 | 664554 2208604 | 357180 1222 46227 37.8 | 10.574 % | 310.77 c | 2083 | 664554 2208604 | 392898 1981 123507 62.3 | 10.574 % | 312.18 c | 3223 | 664529 2208515 | 432188 3117 212884 68.3 | 10.577 % | 313.16 c | 4932 | 664529 2208515 | 475407 4826 422988 87.6 | 10.577 % | 315.69 c | 7494 | 664521 2208485 | 522947 7387 732583 99.2 | 10.577 % | 324.47 c | 11339 | 664497 2208403 | 575242 11220 1007282 89.8 | 10.581 % | 329.84 c | 17106 | 664497 2208403 | 632767 16987 1698202 100.0 | 10.581 % | 336.69 c | 25757 | 664497 2208403 | 696043 25638 2156680 84.1 | 10.581 % | 347.18 c | 38731 | 664497 2208403 | 765648 38612 3278770 84.9 | 10.581 % | 392.91 c | 58192 | 664497 2208403 | 842212 58073 4814582 82.9 | 10.581 % | 423.90 c | 87386 | 664497 2208403 | 926434 87267 8010096 91.8 | 10.581 % | 480.45 c | 131176 | 664489 2208377 | 1019077 131056 12386676 94.5 | 10.581 % | 649.93 c | 196860 | 664489 2208377 | 1120985 196740 19307221 98.1 | 10.581 % | 922.96 c | 295386 | 664489 2208377 | 1233084 295266 24799942 84.0 | 10.582 % | 1596.28 c | 443175 | 664489 2208377 | 1356392 443055 37587863 84.8 | 10.581 % | 1801.28 c 1801.28 c *** TERMINATED *** 1801.28 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node57/watcher-49828-1154121046 -o ROOT/results/node57/solver-49828-1154121046 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node57/49828-1154121046/instance-49828-1154121046.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.03 1.01 1.00 2/64 17494 /proc/meminfo: memFree=894012/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=1048 CPUtime=0 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 100 0 0 0 0 0 0 0 19 0 1 0 158975032 1073152 84 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 262 84 67 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 1.02 1.01 1.00 2/64 17494 /proc/meminfo: memFree=825988/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=9.99 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 989 10 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 69992 [startup+20.0081 s] /proc/loadavg: 1.02 1.01 1.00 2/64 17494 /proc/meminfo: memFree=826372/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=19.99 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 1989 10 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 69992 [startup+30.0139 s] /proc/loadavg: 1.02 1.01 1.00 2/64 17494 /proc/meminfo: memFree=826436/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=29.99 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 2989 10 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 69992 [startup+40.0198 s] /proc/loadavg: 1.01 1.01 1.00 2/64 17494 /proc/meminfo: memFree=826500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=39.99 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 3989 10 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 69992 [startup+50.0257 s] /proc/loadavg: 1.01 1.01 1.00 2/64 17494 /proc/meminfo: memFree=826500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=49.99 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 4989 10 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 69992 [startup+60.0315 s] /proc/loadavg: 1.01 1.01 1.00 2/64 17494 /proc/meminfo: memFree=826564/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=60 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 5990 10 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 69992 [startup+70.0384 s] /proc/loadavg: 1.01 1.01 1.00 2/64 17494 /proc/meminfo: memFree=826564/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=70.01 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 6990 11 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 69992 [startup+80.0443 s] /proc/loadavg: 1.01 1.00 1.00 2/64 17494 /proc/meminfo: memFree=826564/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=80.01 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 7990 11 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012195 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 69992 [startup+90.0502 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=826564/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=90.02 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 8991 11 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 69992 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=826500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=100.02 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 9991 11 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 69992 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=826500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=110.02 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 10991 11 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 69992 [startup+120.068 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=826564/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=120.03 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18271 0 0 0 11992 11 0 0 25 0 1 0 158975032 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531187 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 69992 [startup+130.074 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=826564/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=69992 CPUtime=130.01 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 18276 0 0 0 12977 24 0 0 25 0 1 0 158975032 71671808 17065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 17498 17065 88 215 0 17280 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 69992 [startup+140.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=655876/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=242348 CPUtime=140.02 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 61810 0 0 0 13960 42 0 0 25 0 1 0 158975032 248164352 59689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 60587 59689 92 215 0 60369 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 242348 [startup+150.085 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=498500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=402740 CPUtime=150.02 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 101049 0 0 0 14941 61 0 0 25 0 1 0 158975032 412405760 98928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679980 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 100685 98928 92 215 0 100467 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 402740 [startup+160.091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=498500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=402740 CPUtime=160.02 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 101049 0 0 0 15941 61 0 0 25 0 1 0 158975032 412405760 98928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 100685 98928 92 215 0 100467 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 402740 [startup+170.097 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=498500/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=402740 CPUtime=170.03 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 101049 0 0 0 16942 61 0 0 25 0 1 0 158975032 412405760 98928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838342 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 100685 98928 92 215 0 100467 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 402740 [startup+180.103 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=498436/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=402740 CPUtime=180.04 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 101049 0 0 0 17942 62 0 0 25 0 1 0 158975032 412405760 98928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 100685 98928 92 215 0 100467 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 402740 [startup+190.109 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=499076/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=401592 CPUtime=190.04 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 101049 0 0 0 18942 62 0 0 25 0 1 0 158975032 411230208 98735 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006452 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 100398 98735 92 215 0 100180 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 401592 [startup+200.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 /proc/meminfo: memFree=501252/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=398476 CPUtime=200.04 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 101049 0 0 0 19942 62 0 0 25 0 1 0 158975032 408039424 98177 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812112 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 99619 98177 92 215 0 99401 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 398476 [startup+210.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17494 ################ # More data... # ################ /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178100 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (Kb) 387748 [startup+1783.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1782.69 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178200 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1782.69 Current children cumulated vsize (Kb) 387748 [startup+1784.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1783.7 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178301 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1783.7 Current children cumulated vsize (Kb) 387748 [startup+1785.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1784.7 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178401 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1784.7 Current children cumulated vsize (Kb) 387748 [startup+1786.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1785.71 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178502 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1785.71 Current children cumulated vsize (Kb) 387748 [startup+1787.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1786.71 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178602 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1786.71 Current children cumulated vsize (Kb) 387748 [startup+1788.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1787.72 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178703 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1787.72 Current children cumulated vsize (Kb) 387748 [startup+1789.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1788.72 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178803 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580959 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1788.72 Current children cumulated vsize (Kb) 387748 [startup+1790.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1789.72 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 178903 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1789.72 Current children cumulated vsize (Kb) 387748 [startup+1791.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1790.73 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179004 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1790.73 Current children cumulated vsize (Kb) 387748 [startup+1792.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1791.73 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179104 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1791.73 Current children cumulated vsize (Kb) 387748 [startup+1793.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1792.74 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179205 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1792.74 Current children cumulated vsize (Kb) 387748 [startup+1794.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1793.74 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179305 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1793.74 Current children cumulated vsize (Kb) 387748 [startup+1795.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1794.75 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179406 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (Kb) 387748 [startup+1796.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1795.75 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179506 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1795.75 Current children cumulated vsize (Kb) 387748 [startup+1797.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1796.76 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179607 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (Kb) 387748 [startup+1798.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1797.76 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179707 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (Kb) 387748 [startup+1799.27 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1798.77 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179808 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574567 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1798.77 Current children cumulated vsize (Kb) 387748 [startup+1800.27 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1799.77 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 179908 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1799.77 Current children cumulated vsize (Kb) 387748 [startup+1801.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1800.78 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 180009 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (Kb) 387748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17496 /proc/meminfo: memFree=510980/2055920 swapFree=4183068/4192956 [pid=17494] ppid=17492 vsize=387748 CPUtime=1800.78 /proc/17494/stat : 17494 (minisat+) R 17492 17494 17445 0 -1 4194304 104396 0 0 0 180009 69 0 0 25 0 1 0 158975032 397053952 95715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17494/statm: 96937 95715 123 215 0 96719 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (Kb) 387748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.35 CPU time (s): 1800.85 CPU user time (s): 1800.09 CPU system time (s): 0.757884 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (Kb): 402740 The end
Begin job on node57 on Fri Jul 28 21:10:46 UTC 2006 FILE ID= 49828-1154121046 PBS_JOBID= 886977 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node57/49828-1154121046/instance-49828-1154121046.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-49828-1154121046 -o ROOT/results/node57/solver-49828-1154121046 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node57/49828-1154121046/instance-49828-1154121046.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 731d8a8b62f1165d7f7ff2eb0e8bed96 RANDOM SEED= 914803168 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 894220 kB Buffers: 39032 kB Cached: 1037468 kB SwapCached: 3884 kB Active: 39896 kB Inactive: 1045396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 894220 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14724 kB Slab: 62376 kB Committed_AS: 616440 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node57 on Fri Jul 28 21:40:48 UTC 2006