Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.74 | 1801.3 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb |
MD5SUM | 5541a5401e00525728267c7fde4b721b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 325.625 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 73151 |
Total number of constraints | 217741 |
Number of constraints which are clauses | 217740 |
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 | 72580 |
Number of terms in the objective function | 191 |
Biggest coefficient in the objective function | 1569275433846670190958947355801916604025588861116008628224 |
Number of bits for the biggest coefficient in the objective function | 191 |
Sum of the numbers in the objective function | 3138550867693340381917894711603833208051177722232017256447 |
Number of bits of the sum of numbers in the objective function | 191 |
Biggest number in a constraint | 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712 |
Number of bits of the biggest number in a constraint | 570 |
Biggest sum of numbers in a constraint | 7729075046034516689390703781863974688597854659412869997312087757137816840157192354910932626270886944505998465497886041174443507857908386397911556311226886565568562128564837 |
Number of bits of the biggest sum of numbers | 571 |
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... 11.36 c Converting 217742 PB-constraints to clauses... 11.41 c -- Unit propagations: (none) 260.77 c -- Detecting intervals from adjacent constraints: # 260.82 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 261.23 c ---[ 0]---> Adder-cost: 106958 maxlim: 29317710938537982945947369229912455392524439435848505498279814772859861650648174440547524441966407877713591319317917 bits: 384/384 557.61 c ==================================[MINISAT+]================================== 557.61 c | Conflicts | Original | Learnt | Progress | 557.61 c | | Clauses Literals | Max Clauses Literals LPC | | 557.61 c ============================================================================== 557.61 c | 0 | 926127 3077286 | 308709 0 0 nan | 0.000 % | 559.15 c | 100 | 925643 3075572 | 339579 33 104 3.2 | 10.947 % | 561.33 c | 250 | 924955 3073124 | 373537 90 287 3.2 | 11.012 % | 562.58 c | 475 | 924711 3072292 | 410891 274 870 3.2 | 11.035 % | 568.41 c | 812 | 924711 3072292 | 451980 611 3009 4.9 | 11.035 % | 572.27 c | 1318 | 924711 3072292 | 497178 1117 73588 65.9 | 11.035 % | 582.51 c | 2078 | 924702 3072261 | 546896 1873 97821 52.2 | 11.035 % | 594.19 c | 3220 | 924702 3072261 | 601586 3015 146582 48.6 | 11.035 % | 609.54 c | 4928 | 924702 3072261 | 661745 4723 264955 56.1 | 11.035 % | 636.20 c | 7492 | 924702 3072261 | 727919 7287 370440 50.8 | 11.035 % | 664.21 c | 11337 | 924693 3072232 | 800711 11131 669838 60.2 | 11.037 % | 722.02 c | 17104 | 924693 3072232 | 880782 16898 970842 57.5 | 11.037 % | 803.39 c | 25753 | 924693 3072232 | 968861 25547 1502156 58.8 | 11.037 % | 832.29 c | 38728 | 924693 3072232 | 1065747 38522 3101645 80.5 | 11.037 % | 849.90 c | 58190 | 924693 3072232 | 1172321 57984 6469010 111.6 | 11.037 % | 955.14 c | 87383 | 924693 3072232 | 1289554 87177 11727154 134.5 | 11.037 % | 1089.56 c | 131172 | 924693 3072232 | 1418509 130966 20165800 154.0 | 11.037 % | 1279.67 c | 196856 | 924693 3072232 | 1560360 196650 40326850 205.1 | 11.037 % | 1568.10 c | 295382 | 924693 3072232 | 1716396 295176 56236061 190.5 | 11.037 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 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/node42/watcher-49845-1154122425 -o ROOT/results/node42/solver-49845-1154122425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node42/49845-1154122425/instance-49845-1154122425.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1223496/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=1048 CPUtime=0 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 114 0 0 0 0 0 0 0 19 0 1 0 159113559 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 262 98 74 215 0 44 0 [startup+10.0032 s] /proc/loadavg: 0.94 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1131272/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=95592 CPUtime=9.99 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 23902 0 0 0 987 12 0 0 25 0 1 0 159113559 97886208 23108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134632685 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 23898 23108 74 215 0 23680 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 95592 [startup+20.0103 s] /proc/loadavg: 0.95 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126288/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=19.99 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 1987 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 100476 [startup+30.0164 s] /proc/loadavg: 0.95 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126480/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=29.99 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 2987 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 100476 [startup+40.0225 s] /proc/loadavg: 0.96 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126480/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=40 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 3988 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 100476 [startup+50.0286 s] /proc/loadavg: 0.97 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126544/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=50 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 4988 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812748 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 100476 [startup+60.0347 s] /proc/loadavg: 0.97 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=60.01 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 5989 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 100476 [startup+70.0418 s] /proc/loadavg: 0.98 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=70.01 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 6989 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 100476 [startup+80.0489 s] /proc/loadavg: 0.98 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=80.01 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 7989 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621675 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 100476 [startup+90.0551 s] /proc/loadavg: 0.98 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=90.02 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 8990 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 100476 [startup+100.061 s] /proc/loadavg: 0.98 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=100.02 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 9990 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 100476 [startup+110.067 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=110.02 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 10990 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003230 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 100476 [startup+120.073 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=120.03 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 11991 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 100476 [startup+130.079 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=130.03 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 12991 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 100476 [startup+140.085 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=140.03 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 13991 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 100476 [startup+150.091 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=150.04 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 14992 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 100476 [startup+160.097 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=160.04 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 15992 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 100476 [startup+170.103 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=170.04 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 16992 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 100476 [startup+180.109 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=180.05 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 17993 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 100476 [startup+190.115 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=190.05 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 18993 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 100476 [startup+200.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 /proc/meminfo: memFree=1126608/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=100476 CPUtime=200.05 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 26018 0 0 0 19993 12 0 0 25 0 1 0 159113559 102887424 24421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812625 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 25119 24421 83 215 0 24901 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 100476 [startup+210.126 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20682 ################ # More data... # ################ /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178057 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 626736 [startup+1783.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1782.54 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178157 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573016 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 626736 [startup+1784.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1783.55 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178258 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 626736 [startup+1785.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1784.55 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178358 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 626736 [startup+1786.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1785.56 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178459 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 626736 [startup+1787.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1786.56 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178559 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 626736 [startup+1788.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1787.57 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178660 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 626736 [startup+1789.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1788.57 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178760 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 626736 [startup+1790.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1789.58 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178861 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 626736 [startup+1791.14 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1790.58 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 178961 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 626736 [startup+1792.14 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1791.59 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 179062 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 626736 [startup+1793.15 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1792.59 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 179162 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 626736 [startup+1794.15 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1793.6 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171063 0 0 0 179263 97 0 0 25 0 1 0 159113559 641777664 154436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154436 123 215 0 156466 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 626736 [startup+1795.16 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1794.6 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179363 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 626736 [startup+1796.16 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1795.61 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179464 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 626736 [startup+1797.17 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1796.61 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179564 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 626736 [startup+1798.17 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1797.61 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179664 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569795 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 626736 [startup+1799.18 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1798.62 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179765 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 626736 [startup+1800.18 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1799.62 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179865 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 626736 [startup+1801.19 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1800.63 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179966 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 626736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20882 /proc/meminfo: memFree=605008/2055920 swapFree=4182724/4192956 [pid=20682] ppid=20680 vsize=626736 CPUtime=1800.63 /proc/20682/stat : 20682 (minisat+) R 20680 20682 20633 0 -1 4194304 171077 0 0 0 179966 97 0 0 25 0 1 0 159113559 641777664 154450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20682/statm: 156684 154450 123 215 0 156466 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 626736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.74 CPU user time (s): 1799.67 CPU system time (s): 1.07684 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 668792 The end
Begin job on node42 on Fri Jul 28 21:33:46 UTC 2006 FILE ID= 49845-1154122425 PBS_JOBID= 887045 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node42/49845-1154122425/instance-49845-1154122425.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-49845-1154122425 -o ROOT/results/node42/solver-49845-1154122425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node42/49845-1154122425/instance-49845-1154122425.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 5541a5401e00525728267c7fde4b721b RANDOM SEED= 260387749 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.238 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.238 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: 1223904 kB Buffers: 28116 kB Cached: 744652 kB SwapCached: 3928 kB Active: 54088 kB Inactive: 727624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1223904 kB SwapTotal: 4192956 kB SwapFree: 4182724 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14496 kB Slab: 36380 kB Committed_AS: 730016 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Fri Jul 28 22:03:47 UTC 2006