Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.54 | 1801.3 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb |
MD5SUM | 2191fd085de8ae061d8b0a530b1c363f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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... 10.91 c Converting 217742 PB-constraints to clauses... 10.96 c -- Unit propagations: (none) 260.26 c -- Detecting intervals from adjacent constraints: # 260.31 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 260.74 c ---[ 0]---> Adder-cost: 106958 maxlim: 29317710938537982945947369229912455392524439435848505498279814772859861650648174440547524441966407877713591319317917 bits: 384/384 557.12 c ==================================[MINISAT+]================================== 557.12 c | Conflicts | Original | Learnt | Progress | 557.12 c | | Clauses Literals | Max Clauses Literals LPC | | 557.12 c ============================================================================== 557.12 c | 0 | 926127 3077286 | 308709 0 0 nan | 0.000 % | 558.63 c | 100 | 925643 3075572 | 339579 33 104 3.2 | 10.947 % | 559.44 c | 250 | 925419 3074760 | 373537 151 1558 10.3 | 10.967 % | 559.58 c | 475 | 925419 3074760 | 410891 376 14393 38.3 | 10.967 % | 559.95 c | 814 | 925392 3074657 | 451980 712 26714 37.5 | 10.970 % | 560.44 c | 1321 | 925392 3074657 | 497178 1219 44889 36.8 | 10.969 % | 561.18 c | 2080 | 925392 3074657 | 546896 1978 96043 48.6 | 10.969 % | 562.61 c | 3219 | 925392 3074657 | 601586 3117 159783 51.3 | 10.969 % | 581.08 c | 4927 | 925392 3074657 | 661745 4825 206682 42.8 | 10.969 % | 582.86 c | 7489 | 925392 3074657 | 727919 7387 613310 83.0 | 10.969 % | 601.56 c | 11333 | 925369 3074582 | 800711 11215 875277 78.0 | 10.972 % | 612.84 c | 17099 | 925369 3074582 | 880782 16981 1332327 78.5 | 10.972 % | 623.06 c | 25748 | 925369 3074582 | 968861 25630 2497400 97.4 | 10.972 % | 638.46 c | 38722 | 925369 3074582 | 1065747 38604 4729589 122.5 | 10.972 % | 651.19 c | 58183 | 925369 3074582 | 1172321 58065 6816268 117.4 | 10.972 % | 694.67 c | 87375 | 925369 3074582 | 1289554 87257 9796175 112.3 | 10.972 % | 741.27 c | 131164 | 925341 3074482 | 1418509 130974 16081951 122.8 | 10.974 % | 862.90 c | 196849 | 925341 3074482 | 1560360 196659 24611661 125.1 | 10.974 % | 1092.69 c | 295375 | 925341 3074482 | 1716396 295185 36282889 122.9 | 10.974 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 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/node1/watcher-49807-1154119437 -o ROOT/results/node1/solver-49807-1154119437 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node1/49807-1154119437/instance-49807-1154119437.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.01 1.00 3/64 21890 /proc/meminfo: memFree=1539560/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=1048 CPUtime=0 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 102 0 0 0 0 0 0 0 19 0 1 0 158805490 1073152 86 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 262 86 67 215 0 44 0 [startup+10.0024 s] /proc/loadavg: 1.01 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1440768/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=102784 CPUtime=9.99 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 25644 0 0 0 987 12 0 0 25 0 1 0 158805490 105250816 24850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25696 24850 74 215 0 25478 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 102784 [startup+20.0093 s] /proc/loadavg: 1.01 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442496/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=19.98 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 1986 12 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 100472 [startup+30.0163 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442560/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=29.99 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 2987 12 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 100472 [startup+40.0223 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442624/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=39.99 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 3987 12 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 100472 [startup+50.0292 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442688/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=50 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 4987 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 100472 [startup+60.0352 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442688/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=60 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 5987 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 100472 [startup+70.0422 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442688/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=70.01 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 6988 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621534 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 100472 [startup+80.0482 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442688/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=80.01 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 7988 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 100472 [startup+90.0541 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442688/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=90.01 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 8988 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 100472 [startup+100.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=100.01 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 9988 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 100472 [startup+110.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=110.02 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 10989 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 100472 [startup+120.072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=120.02 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 11989 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 100472 [startup+130.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=130.02 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 12989 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621371 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 100472 [startup+140.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=140.02 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 13989 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005288 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 100472 [startup+150.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=150.03 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 14990 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621534 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 100472 [startup+160.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=160.03 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 15990 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621806 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 100472 [startup+170.102 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=170.03 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 16990 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005882 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 100472 [startup+180.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=180.03 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 17990 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012072 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 100472 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=190.04 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 18991 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 100472 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 /proc/meminfo: memFree=1442752/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=100472 CPUtime=200.04 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 26016 0 0 0 19991 13 0 0 25 0 1 0 158805490 102883328 24419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 25118 24419 83 215 0 24900 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 100472 [startup+210.126 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21890 ################ # More data... # ################ /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178035 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 626732 [startup+1783.11 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1782.34 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178135 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 626732 [startup+1784.11 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1783.35 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178236 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 626732 [startup+1785.12 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1784.35 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178336 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573873 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 626732 [startup+1786.12 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1785.36 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178437 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 626732 [startup+1787.13 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1786.36 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178537 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 626732 [startup+1788.13 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1787.37 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178638 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1787.37 Current children cumulated vsize (Kb) 626732 [startup+1789.14 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1788.37 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178738 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 626732 [startup+1790.14 s] /proc/loadavg: 1.04 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1789.37 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178838 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1789.37 Current children cumulated vsize (Kb) 626732 [startup+1791.15 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1790.38 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 178939 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 626732 [startup+1792.15 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1791.38 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179039 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 626732 [startup+1793.16 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1792.39 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179140 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 626732 [startup+1794.16 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1793.39 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179240 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1793.39 Current children cumulated vsize (Kb) 626732 [startup+1795.16 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1794.4 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179341 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 626732 [startup+1796.17 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1795.4 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179441 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (Kb) 626732 [startup+1797.17 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1796.41 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179542 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 626732 [startup+1798.18 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1797.41 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179642 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574311 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 626732 [startup+1799.18 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1798.41 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179742 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 626732 [startup+1800.19 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1799.42 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179843 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (Kb) 626732 [startup+1801.19 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1800.42 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179943 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574226 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 626732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.03 1.02 1.00 2/64 22088 /proc/meminfo: memFree=921408/2055920 swapFree=4183100/4192956 [pid=21890] ppid=21888 vsize=626732 CPUtime=1800.43 /proc/21890/stat : 21890 (minisat+) R 21888 21890 21841 0 -1 4194304 171073 0 0 0 179944 99 0 0 25 0 1 0 158805490 641773568 154444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21890/statm: 156683 154444 123 215 0 156465 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 626732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.54 CPU user time (s): 1799.44 CPU system time (s): 1.09683 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (Kb): 668788 The end
Begin job on node1 on Fri Jul 28 20:43:58 UTC 2006 FILE ID= 49807-1154119437 PBS_JOBID= 886893 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node1/49807-1154119437/instance-49807-1154119437.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-49807-1154119437 -o ROOT/results/node1/solver-49807-1154119437 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node1/49807-1154119437/instance-49807-1154119437.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 2191fd085de8ae061d8b0a530b1c363f RANDOM SEED= 342758180 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.281 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.281 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: 1540152 kB Buffers: 31596 kB Cached: 423208 kB SwapCached: 3652 kB Active: 39544 kB Inactive: 423852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1540152 kB SwapTotal: 4192956 kB SwapFree: 4183100 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14596 kB Slab: 38400 kB Committed_AS: 703376 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Fri Jul 28 21:13:59 UTC 2006