Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.75 | 1801.3 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb |
MD5SUM | 7e6cf7bd8ae3eb2dbe42fe5a31768e13 |
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 | 6243497100631984462763194459586332611497196285328142673459177384060592124920906005152554730819278690998820076480368784343607308117472639948431515 |
Number of bits of the biggest sum of numbers | 481 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 7.38 c Converting 154562 PB-constraints to clauses... 7.41 c -- Unit propagations: (none) 125.98 c -- Detecting intervals from adjacent constraints: # 126.01 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 126.32 c ---[ 0]---> Adder-cost: 76316 maxlim: 85637119419032255924155954685780155586213627810198026534705845257793770944847919697426568846237543 bits: 326/326 299.75 c ==================================[MINISAT+]================================== 299.75 c | Conflicts | Original | Learnt | Progress | 299.75 c | | Clauses Literals | Max Clauses Literals LPC | | 299.75 c ============================================================================== 299.75 c | 0 | 660229 2193825 | 220076 0 0 nan | 0.000 % | 301.16 c | 101 | 659607 2191617 | 242083 22 67 3.0 | 10.851 % | 301.77 c | 251 | 659344 2190702 | 266291 136 427 3.1 | 10.887 % | 303.48 c | 478 | 659344 2190702 | 292921 363 2290 6.3 | 10.887 % | 303.78 c | 815 | 659344 2190702 | 322213 700 49857 71.2 | 10.887 % | 308.46 c | 1322 | 659321 2190627 | 354434 1204 94855 78.8 | 10.890 % | 312.99 c | 2083 | 659314 2190604 | 389878 1964 201538 102.6 | 10.891 % | 316.54 c | 3222 | 659305 2190575 | 428865 3101 257422 83.0 | 10.892 % | 328.05 c | 4932 | 659305 2190575 | 471752 4811 327324 68.0 | 10.892 % | 334.77 c | 7496 | 659297 2190545 | 518927 7373 509533 69.1 | 10.893 % | 338.19 c | 11340 | 659297 2190545 | 570820 11217 788380 70.3 | 10.893 % | 342.54 c | 17108 | 659297 2190545 | 627902 16985 1147787 67.6 | 10.893 % | 357.49 c | 25758 | 659297 2190545 | 690692 25635 1634541 63.8 | 10.893 % | 368.42 c | 38732 | 659297 2190545 | 759762 38609 2640210 68.4 | 10.893 % | 406.81 c | 58193 | 659297 2190545 | 835738 58070 4615178 79.5 | 10.893 % | 474.49 c | 87385 | 659297 2190545 | 919312 87262 8486215 97.2 | 10.893 % | 581.49 c | 131174 | 659297 2190545 | 1011243 131051 14072985 107.4 | 10.893 % | 632.96 c | 196860 | 659280 2190490 | 1112367 196736 21237788 108.0 | 10.895 % | 863.64 c | 295386 | 659280 2190490 | 1223604 295262 30737738 104.1 | 10.895 % | 1096.35 c | 443177 | 659208 2190256 | 1345964 443044 47449515 107.1 | 10.903 % | 1801.22 c 1801.22 c *** TERMINATED *** 1801.22 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node27/watcher-49856-1154123227 -o ROOT/results/node27/solver-49856-1154123227 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node27/49856-1154123227/instance-49856-1154123227.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 28723 /proc/meminfo: memFree=1106032/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=1048 CPUtime=0 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 101 0 0 0 0 0 0 0 19 0 1 0 91190910 1073152 85 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 262 85 67 215 0 44 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038072/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=9.98 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 989 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530512 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 69992 [startup+20.0099 s] /proc/loadavg: 0.94 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038328/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=19.99 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 1990 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 69992 [startup+30.0159 s] /proc/loadavg: 0.95 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038456/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=29.99 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 2990 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 69992 [startup+40.0219 s] /proc/loadavg: 0.96 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038456/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=39.99 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 3990 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 69992 [startup+50.0279 s] /proc/loadavg: 0.96 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038456/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=50 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 4991 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 69992 [startup+60.034 s] /proc/loadavg: 0.97 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=60 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 5991 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 69992 [startup+70.04 s] /proc/loadavg: 0.97 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=70 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 6991 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 69992 [startup+80.047 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=80.01 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 7992 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 69992 [startup+90.0531 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=90.01 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 8992 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805960 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 69992 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=100.01 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 9992 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 69992 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=110.02 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 10993 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 69992 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=120.02 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18271 0 0 0 11993 9 0 0 25 0 1 0 91190910 71671808 17060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17060 83 215 0 17280 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 69992 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=1038520/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=69992 CPUtime=130.03 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 18276 0 0 0 12979 24 0 0 25 0 1 0 91190910 71671808 17065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 17498 17065 88 215 0 17280 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 69992 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=894776/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=214944 CPUtime=140.03 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 55073 0 0 0 13963 40 0 0 25 0 1 0 91190910 220102656 52952 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 53736 52952 92 215 0 53518 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 214944 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=718008/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=395248 CPUtime=150.04 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99169 0 0 0 14945 59 0 0 25 0 1 0 91190910 404733952 97048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 98812 97048 92 215 0 98594 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 395248 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=715512/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=397648 CPUtime=160.04 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99773 0 0 0 15945 59 0 0 25 0 1 0 91190910 407191552 97652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809925 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 99412 97652 92 215 0 99194 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 397648 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=715512/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=397648 CPUtime=170.04 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 16945 59 0 0 25 0 1 0 91190910 407191552 97653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 99412 97653 92 215 0 99194 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 397648 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=715512/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=397648 CPUtime=180.05 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 17946 59 0 0 25 0 1 0 91190910 407191552 97653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 99412 97653 92 215 0 99194 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 397648 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=715704/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=396992 CPUtime=190.05 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 18946 59 0 0 25 0 1 0 91190910 406519808 97543 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 99248 97543 92 215 0 99030 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 396992 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 /proc/meminfo: memFree=717944/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=393876 CPUtime=200.05 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 99774 0 0 0 19946 59 0 0 25 0 1 0 91190910 403329024 96991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 98469 96991 92 215 0 98251 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 393876 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28723 ################ # More data... # ################ /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121208 0 0 0 178071 87 0 0 25 0 1 0 91190910 466829312 112655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 113972 112655 123 215 0 113754 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 455888 [startup+1783.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=654904/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=456148 CPUtime=1782.58 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121261 0 0 0 178171 87 0 0 25 0 1 0 91190910 467095552 112708 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114037 112708 123 215 0 113819 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 456148 [startup+1784.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=654712/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=456276 CPUtime=1783.59 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121317 0 0 0 178272 87 0 0 25 0 1 0 91190910 467226624 112764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574433 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114069 112764 123 215 0 113851 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 456276 [startup+1785.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=654456/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=456540 CPUtime=1784.59 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121377 0 0 0 178372 87 0 0 25 0 1 0 91190910 467496960 112824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114135 112824 123 215 0 113917 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 456540 [startup+1786.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=654264/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=456800 CPUtime=1785.59 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121429 0 0 0 178472 87 0 0 25 0 1 0 91190910 467763200 112876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114200 112876 123 215 0 113982 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 456800 [startup+1787.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=654008/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457064 CPUtime=1786.6 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121488 0 0 0 178573 87 0 0 25 0 1 0 91190910 468033536 112935 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114266 112935 123 215 0 114048 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 457064 [startup+1788.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=653816/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457196 CPUtime=1787.6 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121526 0 0 0 178673 87 0 0 25 0 1 0 91190910 468168704 112973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114299 112973 123 215 0 114081 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 457196 [startup+1789.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=653688/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457324 CPUtime=1788.61 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121560 0 0 0 178774 87 0 0 25 0 1 0 91190910 468299776 113007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114331 113007 123 215 0 114113 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 457324 [startup+1790.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=653560/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457452 CPUtime=1789.61 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121592 0 0 0 178874 87 0 0 25 0 1 0 91190910 468430848 113039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114363 113039 123 215 0 114145 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 457452 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=653432/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457580 CPUtime=1790.61 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121636 0 0 0 178974 87 0 0 25 0 1 0 91190910 468561920 113083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114395 113083 123 215 0 114177 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 457580 [startup+1792.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=653240/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457712 CPUtime=1791.62 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121678 0 0 0 179074 88 0 0 25 0 1 0 91190910 468697088 113125 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114428 113125 123 215 0 114210 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 457712 [startup+1793.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=653112/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=457844 CPUtime=1792.63 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121708 0 0 0 179175 88 0 0 25 0 1 0 91190910 468832256 113155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114461 113155 123 215 0 114243 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 457844 [startup+1794.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=652920/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=458108 CPUtime=1793.63 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121762 0 0 0 179275 88 0 0 25 0 1 0 91190910 469102592 113209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580878 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114527 113209 123 215 0 114309 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 458108 [startup+1795.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=652664/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=458372 CPUtime=1794.64 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121826 0 0 0 179376 88 0 0 25 0 1 0 91190910 469372928 113273 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114593 113273 123 215 0 114375 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 458372 [startup+1796.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=652408/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=458636 CPUtime=1795.64 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121887 0 0 0 179476 88 0 0 25 0 1 0 91190910 469643264 113334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575401 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114659 113334 123 215 0 114441 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 458636 [startup+1797.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=652216/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=458768 CPUtime=1796.65 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121934 0 0 0 179577 88 0 0 25 0 1 0 91190910 469778432 113381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114692 113381 123 215 0 114474 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 458768 [startup+1798.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=651960/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=459024 CPUtime=1797.65 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 121994 0 0 0 179677 88 0 0 25 0 1 0 91190910 470040576 113441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114756 113441 123 215 0 114538 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 459024 [startup+1799.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=651768/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=459284 CPUtime=1798.65 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122046 0 0 0 179777 88 0 0 25 0 1 0 91190910 470306816 113493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114821 113493 123 215 0 114603 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 459284 [startup+1800.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=651512/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=459548 CPUtime=1799.65 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122106 0 0 0 179877 88 0 0 25 0 1 0 91190910 470577152 113553 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114887 113553 123 215 0 114669 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 459548 [startup+1801.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=651256/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=459680 CPUtime=1800.66 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122166 0 0 0 179978 88 0 0 25 0 1 0 91190910 470712320 113613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114920 113613 123 215 0 114702 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 459680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28921 /proc/meminfo: memFree=651256/2055920 swapFree=4183212/4192956 [pid=28723] ppid=28721 vsize=459680 CPUtime=1800.66 /proc/28723/stat : 28723 (minisat+) R 28721 28723 28674 0 -1 4194304 122167 0 0 0 179978 88 0 0 25 0 1 0 91190910 470712320 113614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28723/statm: 114920 113614 123 215 0 114702 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 459680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.75 CPU user time (s): 1799.79 CPU system time (s): 0.965853 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (Kb): 459680 The end
Begin job on node27 on Fri Jul 28 21:47:07 UTC 2006 FILE ID= 49856-1154123227 PBS_JOBID= 887089 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node27/49856-1154123227/instance-49856-1154123227.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-49856-1154123227 -o ROOT/results/node27/solver-49856-1154123227 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node27/49856-1154123227/instance-49856-1154123227.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7e6cf7bd8ae3eb2dbe42fe5a31768e13 RANDOM SEED= 78766439 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.222 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.222 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: 1106240 kB Buffers: 31904 kB Cached: 840756 kB SwapCached: 3452 kB Active: 92648 kB Inactive: 788564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1106240 kB SwapTotal: 4192956 kB SwapFree: 4183212 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14496 kB Slab: 54500 kB Committed_AS: 284796 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Fri Jul 28 22:17:09 UTC 2006