Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.11 | 1801.46 |
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/0.00 c Parsing PB file... 7.60/7.69 c Converting 154562 PB-constraints to clauses... 7.69/7.73 c -- Unit propagations: (none) 124.94/125.05 c -- Detecting intervals from adjacent constraints: # 124.94/125.09 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 125.24/125.38 c ---[ 0]---> Adder-cost: 76956 maxlim: 342242056056889011804911409956638743178947078778334760037455141313564532547008979845370121711249565 bits: 328/328 288.81/289.09 c ==================================[MINISAT+]================================== 288.81/289.09 c | Conflicts | Original | Learnt | Progress | 288.81/289.09 c | | Clauses Literals | Max Clauses Literals LPC | | 288.81/289.09 c ============================================================================== 288.81/289.09 c | 0 | 665345 2211403 | 221781 0 0 nan | 0.000 % | 289.91/290.17 c | 100 | 664856 2209662 | 243959 43 141 3.3 | 10.534 % | 290.51/290.75 c | 250 | 664578 2208686 | 268355 151 471 3.1 | 10.571 % | 292.71/292.93 c | 476 | 664554 2208604 | 295190 374 2769 7.4 | 10.574 % | 292.91/293.16 c | 816 | 664554 2208604 | 324709 714 36143 50.6 | 10.574 % | 296.82/297.00 c | 1324 | 664554 2208604 | 357180 1222 46227 37.8 | 10.574 % | 298.72/298.96 c | 2083 | 664554 2208604 | 392898 1981 123507 62.3 | 10.574 % | 300.12/300.32 c | 3223 | 664529 2208515 | 432188 3117 212884 68.3 | 10.577 % | 301.02/301.26 c | 4932 | 664529 2208515 | 475407 4826 422988 87.6 | 10.577 % | 303.51/303.72 c | 7494 | 664521 2208485 | 522947 7387 732583 99.2 | 10.577 % | 312.20/312.41 c | 11339 | 664497 2208403 | 575242 11220 1007282 89.8 | 10.581 % | 317.38/317.62 c | 17106 | 664497 2208403 | 632767 16987 1698202 100.0 | 10.581 % | 323.98/324.24 c | 25757 | 664497 2208403 | 696043 25638 2156680 84.1 | 10.581 % | 333.98/334.30 c | 38731 | 664497 2208403 | 765648 38612 3278770 84.9 | 10.581 % | 377.75/378.04 c | 58192 | 664497 2208403 | 842212 58073 4814582 82.9 | 10.581 % | 407.92/408.29 c | 87386 | 664497 2208403 | 926434 87267 8010096 91.8 | 10.581 % | 463.58/463.93 c | 131176 | 664489 2208377 | 1019077 131056 12386676 94.5 | 10.581 % | 636.82/637.34 c | 196860 | 664489 2208377 | 1120985 196740 19307221 98.1 | 10.581 % | 922.51/923.22 c | 295386 | 664489 2208377 | 1233084 295266 24799942 84.0 | 10.582 % | 1666.93/1668.23 c | 443175 | 664489 2208377 | 1356392 443055 37587863 84.8 | 10.581 % | 1800.04/1801.40 c 1800.04/1801.40 c *** TERMINATED *** 1800.04/1801.40 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-350168-1176799645 -o ROOT/results/node71/solver-350168-1176799645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350168-1176799645/minisat+ /tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14522 /proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=1048 CPUtime=0 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 155953876 1073152 100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 262 101 74 215 0 44 0 [startup+0.0858539 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14522 /proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=1940 CPUtime=0.08 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 331 0 0 0 8 0 0 0 18 0 1 0 155953876 1986560 316 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134805854 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 485 316 74 215 0 267 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1940 [startup+0.101855 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14522 /proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=2072 CPUtime=0.09 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 376 0 0 0 9 0 0 0 18 0 1 0 155953876 2121728 361 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005809 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 518 361 74 215 0 300 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2072 [startup+0.301882 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14522 /proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=4344 CPUtime=0.29 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 912 0 0 0 29 0 0 0 19 0 1 0 155953876 4448256 897 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134625347 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 1086 897 74 215 0 868 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4344 [startup+0.701938 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14522 /proc/meminfo: memFree=1689216/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=8168 CPUtime=0.69 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 1873 0 0 0 68 1 0 0 22 0 1 0 155953876 8364032 1858 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 2042 1858 74 215 0 1824 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8168 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1678904/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=15960 CPUtime=1.49 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 3821 0 0 0 147 2 0 0 25 0 1 0 155953876 16343040 3806 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 3990 3807 74 215 0 3772 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15960 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1668088/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=32132 CPUtime=3.09 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 7779 0 0 0 305 4 0 0 25 0 1 0 155953876 32903168 7714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 8033 7714 74 215 0 7815 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32132 [startup+6.3017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1643064/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=67192 CPUtime=6.29 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 16554 0 0 0 619 10 0 0 25 0 1 0 155953876 68804608 16281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 16798 16281 74 215 0 16580 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67192 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1620792/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=69988 CPUtime=12.69 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 1258 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 17497 17059 83 215 0 17279 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69988 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1620920/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=69988 CPUtime=25.49 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 2538 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005853 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 17497 17059 83 215 0 17279 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69988 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1621112/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=69988 CPUtime=51.06 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 5095 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 17497 17059 83 215 0 17279 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 69988 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1621176/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=69988 CPUtime=102.25 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 18269 0 0 0 10214 11 0 0 25 0 1 0 155953876 71667712 17059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14522/statm: 17497 17059 83 215 0 17279 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 69988 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 14523 /proc/meminfo: memFree=1293048/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=402716 CPUtime=162.2 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 101048 0 0 0 16164 56 0 0 25 0 1 0 155953876 412381184 98928 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 100679 98928 92 215 0 100461 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 402716 [startup+222.301 s] /proc/loadavg: 1.05 1.02 1.00 2/65 14523 /proc/meminfo: memFree=1301880/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=390744 CPUtime=222.15 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 101048 0 0 0 22159 56 0 0 25 0 1 0 155953876 400121856 96622 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 97686 96622 92 215 0 97468 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 390744 [startup+282.302 s] /proc/loadavg: 1.13 1.05 1.01 2/65 14523 /proc/meminfo: memFree=1308472/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387900 CPUtime=282.11 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 103154 0 0 0 28154 57 0 0 25 0 1 0 155953876 397209600 95608 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96975 95608 92 215 0 96757 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 387900 [startup+342.302 s] /proc/loadavg: 1.04 1.03 1.00 2/65 14523 /proc/meminfo: memFree=1305976/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=342.08 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104369 0 0 0 34149 59 0 0 25 0 1 0 155953876 397049856 95689 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95689 123 215 0 96718 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 387744 [startup+402.302 s] /proc/loadavg: 1.01 1.03 1.00 2/65 14523 /proc/meminfo: memFree=1305976/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=402.03 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104376 0 0 0 40144 59 0 0 25 0 1 0 155953876 397049856 95696 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95696 123 215 0 96718 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 387744 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 14523 /proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=461.98 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 46139 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 387744 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14523 /proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=521.93 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 52134 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (KiB) 387744 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14523 /proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=581.88 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 58129 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 387744 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14523 /proc/meminfo: memFree=1305912/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=641.82 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 64123 59 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 641.82 Current children cumulated vsize (KiB) 387744 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/71 14589 /proc/meminfo: memFree=1304648/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=821.68 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 82107 61 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 821.68 Current children cumulated vsize (KiB) 387744 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305464/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=881.64 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 88093 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 881.64 Current children cumulated vsize (KiB) 387744 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=941.59 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 94088 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 941.59 Current children cumulated vsize (KiB) 387744 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1001.53 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 100082 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134578846 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1001.53 Current children cumulated vsize (KiB) 387744 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1061.48 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 106077 71 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1061.48 Current children cumulated vsize (KiB) 387744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1121.45 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 112073 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1121.45 Current children cumulated vsize (KiB) 387744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1181.4 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 118068 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1181.4 Current children cumulated vsize (KiB) 387744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305464/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1241.34 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 124062 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1241.34 Current children cumulated vsize (KiB) 387744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1301.3 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 130058 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1301.3 Current children cumulated vsize (KiB) 387744 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305464/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1361.26 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 136054 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1361.26 Current children cumulated vsize (KiB) 387744 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1421.22 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 142050 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573880 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1421.22 Current children cumulated vsize (KiB) 387744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305592/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1481.17 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 148045 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1481.17 Current children cumulated vsize (KiB) 387744 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305592/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1541.13 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 154041 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1541.13 Current children cumulated vsize (KiB) 387744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305592/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1601.09 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 160037 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1601.09 Current children cumulated vsize (KiB) 387744 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305656/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1661.03 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 166031 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1661.03 Current children cumulated vsize (KiB) 387744 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305656/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1721 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 172028 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1721 Current children cumulated vsize (KiB) 387744 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1780.96 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 178024 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1780.96 Current children cumulated vsize (KiB) 387744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14721 /proc/meminfo: memFree=1305528/2055920 swapFree=4184232/4192956 [pid=14522] ppid=14520 vsize=387744 CPUtime=1800.04 /proc/14522/stat : 14522 (minisat+) R 14520 14522 13773 0 -1 4194304 104394 0 0 0 179932 72 0 0 25 0 1 0 155953876 397049856 95714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 0 0 0 /proc/14522/statm: 96936 95714 123 215 0 96718 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 387744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.46 CPU time (s): 1800.11 CPU user time (s): 1799.33 CPU system time (s): 0.78688 CPU usage (%): 99.9249 Max. virtual memory (cumulated for all children) (KiB): 402716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.78688 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104395 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 260 involuntary context switches= 7014 runsolver used 1.86172 second user time and 4.88426 second system time The end
Begin job on node71 on Tue Apr 17 08:47:25 UTC 2007 IDJOB= 350168 IDBENCH= 3011 IDSOLVER= 156 FILE ID= node71/350168-1176799645 PBS_JOBID= 4580875 Free space on /tmp= 66537 MiB SOLVER NAME= minisat+ 1.14 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= /tmp/evaluation/350168-1176799645/minisat+ /tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-350168-1176799645 -o ROOT/results/node71/conversion-350168-1176799645 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-350168-1176799645 -o ROOT/results/node71/solver-350168-1176799645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350168-1176799645/minisat+ /tmp/evaluation/350168-1176799645/instance-350168-1176799645.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 731d8a8b62f1165d7f7ff2eb0e8bed96 RANDOM SEED= 789172599 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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.234 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: 1689688 kB Buffers: 28436 kB Cached: 272892 kB SwapCached: 2836 kB Active: 143280 kB Inactive: 168800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1689688 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 10556 kB Writeback: 0 kB Mapped: 16772 kB Slab: 40168 kB Committed_AS: 2486292 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66537 MiB End job on node71 on Tue Apr 17 09:17:29 UTC 2007