Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisatp 2012-10-02 git-d91742b | ? (TO) | 1800.13 | 1800.45 |
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/0.00 c Parsing PB file... 4.69/4.72 c Converting 217742 PB-constraints to clauses... 4.69/4.75 c -- Unit propagations: (none) 37.68/37.73 c -- Detecting intervals from adjacent constraints: # 37.68/37.76 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 37.88/37.93 c ---[ 0]---> Adder-cost: 106958 maxlim: 29317710938537982945947369229912455392524439435848505498279814772859861650648174440547524441966407877713591319317917 bits: 384/384 1800.07/1800.40 | Eliminated clauses: 0.01 Mb | 1800.07/1800.40 ============================[ Search Statistics ]============================== 1800.07/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.07/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.07/1800.40 =============================================================================== 1800.07/1800.40 | 100 | 160131 921141 3058763 | 337751 100 3 | 11.206 % | 1800.07/1800.40 | 250 | 160131 921141 3058763 | 371526 250 26 | 11.206 % | 1800.07/1800.40 | 475 | 160131 921141 3058763 | 408679 475 44 | 11.206 % | 1800.07/1800.40 | 812 | 160131 921141 3058763 | 449547 812 39 | 11.206 % | 1800.07/1800.40 | 1318 | 160131 921141 3058763 | 494502 1318 44 | 11.206 % | 1800.07/1800.40 | 2077 | 160131 921141 3058763 | 543952 2077 40 | 11.206 % | 1800.07/1800.40 | 3216 | 160126 921141 3058763 | 598347 3211 59 | 11.209 % | 1800.07/1800.40 | 4924 | 160126 921141 3058763 | 658182 4919 55 | 11.209 % | 1800.07/1800.40 | 7486 | 160126 921141 3058763 | 724000 7481 61 | 11.209 % | 1800.07/1800.40 | 11330 | 160126 921141 3058763 | 796400 11325 63 | 11.209 % | 1800.07/1800.40 | 17096 | 160126 921141 3058763 | 876040 17091 59 | 11.209 % | 1800.07/1800.40 | 25745 | 160126 921141 3058763 | 963645 25740 58 | 11.209 % | 1800.07/1800.40 | 38719 | 160126 921141 3058763 | 1060009 38714 63 | 11.209 % | 1800.07/1800.40 | 58180 | 160126 921141 3058763 | 1166010 58175 67 | 11.209 % | 1800.07/1800.40 | 87372 | 160126 921141 3058763 | 1282611 87367 74 | 11.209 % | 1800.07/1800.40 | 131161 | 160126 921141 3058763 | 1410872 131156 74 | 11.209 % | 1800.07/1800.40 | 196845 | 160120 921141 3058763 | 1551959 196834 79 | 11.212 % | 1800.07/1800.40 | 295371 | 160118 921141 3058763 | 1707155 295328 84 | 11.213 % | 1800.07/1800.40 | 443160 | 160100 921141 3058763 | 1877871 443095 94 | 11.223 % | 1800.07/1800.40 | 664843 | 160100 921141 3058763 | 2065658 664768 99 | 11.223 % | 1800.07/1800.40 | 997368 | 160094 921141 3058763 | 2272224 997287 102 | 11.227 % | 1800.07/1800.40 | 1496156 | 160091 921141 3058763 | 2499446 1496046 104 | 11.228 % | 1800.07/1800.40 | 2244338 | 160062 921141 3058763 | 2749391 2244195 107 | 11.244 % | 1800.07/1800.40 c 1800.07/1800.40 c *** TERMINATED *** 1800.07/1800.40 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114927-1467021332/watcher-4114927-1467021332 -o /tmp/evaluation-result-4114927-1467021332/solver-4114927-1467021332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467019393-25034 --watchdog 1960 -S 80 minisatp HOME/instance-4114927-1467021332.opb pid=25290 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing Stack size limit: 81920 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 81920 KiB [startup+0 s] /proc/loadavg: 2.23 2.26 2.00 3/176 25293 /proc/meminfo: memFree=29713836/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=6468 CPUtime=0 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 35172554 6623232 215 33554432000 4194304 5646918 140735080162912 140736677280184 4824634 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 1617 215 94 355 0 1258 0 [startup+0.100168 s] /proc/loadavg: 2.23 2.26 2.00 3/176 25293 /proc/meminfo: memFree=29713836/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=12224 CPUtime=0.09 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 1765 0 0 0 9 0 0 0 20 0 1 0 35172554 12517376 1641 33554432000 4194304 5646918 140735080162912 140736677280184 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 3056 1642 94 355 0 2697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12224 [startup+0.200328 s] /proc/loadavg: 2.23 2.26 2.00 3/176 25293 /proc/meminfo: memFree=29713836/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=18332 CPUtime=0.19 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 3280 0 0 0 19 0 0 0 20 0 1 0 35172554 18771968 3156 33554432000 4194304 5646918 140735080162912 140735080162280 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 4583 3156 94 355 0 4224 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18332 [startup+0.30027 s] /proc/loadavg: 2.23 2.26 2.00 3/176 25293 /proc/meminfo: memFree=29713836/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=24372 CPUtime=0.29 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 4776 0 0 0 28 1 0 0 20 0 1 0 35172554 24956928 4652 33554432000 4194304 5646918 140735080162912 140735080162280 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 6093 4652 94 355 0 5734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24372 [startup+0.700261 s] /proc/loadavg: 2.23 2.26 2.00 3/176 25293 /proc/meminfo: memFree=29713836/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=48816 CPUtime=0.68 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 10836 0 0 0 67 1 0 0 20 0 1 0 35172554 49987584 10670 33554432000 4194304 5646918 140735080162912 140735080162280 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 12204 10670 94 355 0 11845 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 48816 [startup+1.50027 s] /proc/loadavg: 2.23 2.26 2.00 3/177 25294 /proc/meminfo: memFree=29608444/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=99900 CPUtime=1.49 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 23628 0 0 0 145 4 0 0 20 0 1 0 35172554 102297600 23204 33554432000 4194304 5646918 140735080162912 140735080162168 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 24975 23205 94 355 0 24616 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 99900 [startup+3.10023 s] /proc/loadavg: 2.23 2.26 2.00 3/177 25294 /proc/meminfo: memFree=29519412/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=162772 CPUtime=3.09 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 39076 0 0 0 303 6 0 0 20 0 1 0 35172554 166678528 38635 33554432000 4194304 5646918 140735080162912 140735080162280 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 40693 38635 94 355 0 40334 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 162772 [startup+6.30024 s] /proc/loadavg: 2.29 2.27 2.01 3/177 25294 /proc/meminfo: memFree=29362620/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=227192 CPUtime=6.29 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 55350 0 0 0 621 8 0 0 20 0 1 0 35172554 232644608 53585 33554432000 4194304 5646918 140735080162912 140735080161592 4464805 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 56798 53585 105 355 0 56439 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 227192 [startup+12.7003 s] /proc/loadavg: 2.26 2.27 2.01 3/177 25294 /proc/meminfo: memFree=28518084/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=227192 CPUtime=12.69 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 55350 0 0 0 1261 8 0 0 20 0 1 0 35172554 232644608 53585 33554432000 4194304 5646918 140735080162912 140735080161592 4464805 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 56798 53585 105 355 0 56439 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 227192 [startup+25.5003 s] /proc/loadavg: 2.35 2.29 2.02 3/177 25294 /proc/meminfo: memFree=27277704/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=227192 CPUtime=25.49 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 55350 0 0 0 2541 8 0 0 20 0 1 0 35172554 232644608 53585 33554432000 4194304 5646918 140735080162912 140735080161592 4252400 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 56798 53585 105 355 0 56439 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 227192 [startup+51.1004 s] /proc/loadavg: 2.36 2.29 2.02 3/177 25294 /proc/meminfo: memFree=26534760/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1039688 CPUtime=51.08 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 254343 0 0 0 5070 38 0 0 20 0 1 0 35172554 1064640512 253440 33554432000 4194304 5646918 140735080162912 140735080094968 4311698 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 259922 253440 119 355 0 259563 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1039688 [startup+102.3 s] /proc/loadavg: 2.32 2.29 2.04 3/177 25295 /proc/meminfo: memFree=26347376/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1170504 CPUtime=102.28 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 286511 0 0 0 10186 42 0 0 20 0 1 0 35172554 1198596096 285608 33554432000 4194304 5646918 140735080162912 140735080029656 4823258 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 292626 285608 120 355 0 292267 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1170504 [startup+162.3 s] /proc/loadavg: 2.20 2.27 2.04 3/177 25297 /proc/meminfo: memFree=26460468/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1042788 CPUtime=162.26 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 296604 0 0 0 16182 44 0 0 20 0 1 0 35172554 1067814912 255588 33554432000 4194304 5646918 140735080162912 140735080159080 4438360 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 260697 255588 161 355 0 260338 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1042788 [startup+222.307 s] /proc/loadavg: 2.22 2.26 2.05 4/177 25298 /proc/meminfo: memFree=26422596/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1092576 CPUtime=222.27 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 297966 0 0 0 22182 45 0 0 20 0 1 0 35172554 1118797824 264598 33554432000 4194304 5646918 140735080162912 140735080161608 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 273144 264598 183 355 0 272785 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 1092576 [startup+282.3 s] /proc/loadavg: 2.22 2.25 2.06 3/178 25302 /proc/meminfo: memFree=26763776/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1142664 CPUtime=282.25 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 298510 0 0 0 28180 45 0 0 20 0 1 0 35172554 1170087936 274838 33554432000 4194304 5646918 140735080162912 140735080161608 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 285666 274838 183 355 0 285307 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1142664 [startup+342.3 s] /proc/loadavg: 2.16 2.23 2.07 3/178 25326 /proc/meminfo: memFree=26699256/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1142664 CPUtime=342.23 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 298598 0 0 0 34178 45 0 0 20 0 1 0 35172554 1170087936 283101 33554432000 4194304 5646918 140735080162912 140735080161608 4397622 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 285666 283101 183 355 0 285307 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1142664 [startup+402.3 s] /proc/loadavg: 2.16 2.22 2.07 3/177 25327 /proc/meminfo: memFree=26638168/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1224052 CPUtime=402.23 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 299059 0 0 0 40177 46 0 0 20 0 1 0 35172554 1253429248 293270 33554432000 4194304 5646918 140735080162912 140735080161608 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 306013 293270 183 355 0 305654 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1224052 [startup+462.3 s] /proc/loadavg: 2.12 2.19 2.07 3/177 25329 /proc/meminfo: memFree=26525132/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1356312 CPUtime=462.21 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 299613 0 0 0 46174 47 0 0 20 0 1 0 35172554 1388863488 312214 33554432000 4194304 5646918 140735080162912 140735080161608 4402661 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 339078 312214 183 355 0 338719 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 1356312 [startup+522.3 s] /proc/loadavg: 2.14 2.19 2.08 4/177 25330 /proc/meminfo: memFree=26473032/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1356312 CPUtime=522.21 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 299628 0 0 0 52173 48 0 0 20 0 1 0 35172554 1388863488 319894 33554432000 4194304 5646918 140735080162912 140735080161608 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 339078 319894 183 355 0 338719 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1356312 [startup+582.3 s] /proc/loadavg: 2.22 2.19 2.09 3/177 25331 /proc/meminfo: memFree=26429684/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1356312 CPUtime=582.2 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 299640 0 0 0 58172 48 0 0 20 0 1 0 35172554 1388863488 326038 33554432000 4194304 5646918 140735080162912 140735080161608 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 339078 326038 183 355 0 338719 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 1356312 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.17 2.22 2.12 3/178 25340 /proc/meminfo: memFree=26028148/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1571236 CPUtime=882.16 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300312 0 0 0 88164 52 0 0 20 0 1 0 35172554 1608945664 386490 33554432000 4194304 5646918 140735080162912 140735080161608 4388951 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 392809 386490 183 355 0 392450 0 Current children cumulated CPU time (s) 882.16 Current children cumulated vsize (KiB) 1571236 [startup+942.3 s] /proc/loadavg: 2.21 2.22 2.13 3/177 25341 /proc/meminfo: memFree=25969932/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=942.15 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300844 0 0 0 94162 53 0 0 20 0 1 0 35172554 1966575616 393658 33554432000 4194304 5646918 140735080162912 140735080161608 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 393658 183 355 0 479762 0 Current children cumulated CPU time (s) 942.15 Current children cumulated vsize (KiB) 1920484 [startup+1002.3 s] /proc/loadavg: 2.23 2.23 2.13 3/177 25342 /proc/meminfo: memFree=25924168/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1002.14 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300881 0 0 0 100161 53 0 0 20 0 1 0 35172554 1966575616 399827 33554432000 4194304 5646918 140735080162912 140735080161608 4397480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 399827 183 355 0 479762 0 Current children cumulated CPU time (s) 1002.14 Current children cumulated vsize (KiB) 1920484 [startup+1062.3 s] /proc/loadavg: 2.27 2.23 2.14 3/177 25344 /proc/meminfo: memFree=25856612/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1062.12 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300896 0 0 0 106159 53 0 0 20 0 1 0 35172554 1966575616 405463 33554432000 4194304 5646918 140735080162912 140735080161608 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 405463 183 355 0 479762 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 1920484 [startup+1122.3 s] /proc/loadavg: 2.21 2.22 2.13 3/177 25345 /proc/meminfo: memFree=25819404/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1122.12 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300927 0 0 0 112158 54 0 0 20 0 1 0 35172554 1966575616 410604 33554432000 4194304 5646918 140735080162912 140735080161608 4403170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 410604 183 355 0 479762 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 1920484 [startup+1182.3 s] /proc/loadavg: 2.22 2.22 2.14 3/177 25346 /proc/meminfo: memFree=25774592/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1182.11 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300940 0 0 0 118157 54 0 0 20 0 1 0 35172554 1966575616 417260 33554432000 4194304 5646918 140735080162912 140735080161608 4403427 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 417260 183 355 0 479762 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 1920484 [startup+1242.3 s] /proc/loadavg: 2.18 2.21 2.14 4/177 25347 /proc/meminfo: memFree=25720268/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1242.11 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300955 0 0 0 124156 55 0 0 20 0 1 0 35172554 1966575616 424940 33554432000 4194304 5646918 140735080162912 140735080161608 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 424940 183 355 0 479762 0 Current children cumulated CPU time (s) 1242.11 Current children cumulated vsize (KiB) 1920484 [startup+1302.3 s] /proc/loadavg: 2.29 2.23 2.15 3/177 25348 /proc/meminfo: memFree=25656704/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1302.09 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300979 0 0 0 130154 55 0 0 20 0 1 0 35172554 1966575616 437228 33554432000 4194304 5646918 140735080162912 140735080161608 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 437228 183 355 0 479762 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1920484 [startup+1362.3 s] /proc/loadavg: 2.20 2.21 2.15 3/177 25350 /proc/meminfo: memFree=25480040/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1362.08 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 300994 0 0 0 136153 55 0 0 20 0 1 0 35172554 1966575616 444908 33554432000 4194304 5646918 140735080162912 140735080161608 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 444908 183 355 0 479762 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1920484 [startup+1422.3 s] /proc/loadavg: 2.11 2.19 2.14 3/177 25351 /proc/meminfo: memFree=25441908/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1422.08 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301005 0 0 0 142152 56 0 0 20 0 1 0 35172554 1966575616 450540 33554432000 4194304 5646918 140735080162912 140735080161608 4402774 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 450540 183 355 0 479762 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1920484 [startup+1482.3 s] /proc/loadavg: 2.24 2.21 2.15 3/178 25355 /proc/meminfo: memFree=25392040/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1482.06 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301020 0 0 0 148150 56 0 0 20 0 1 0 35172554 1966575616 458220 33554432000 4194304 5646918 140735080162912 140735080161608 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 458220 183 355 0 479762 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1920484 [startup+1542.31 s] /proc/loadavg: 2.25 2.21 2.15 4/177 25356 /proc/meminfo: memFree=25343500/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1542.06 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301031 0 0 0 154149 57 0 0 20 0 1 0 35172554 1966575616 463852 33554432000 4194304 5646918 140735080162912 140735080161608 4397497 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 463852 183 355 0 479762 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1920484 [startup+1602.3 s] /proc/loadavg: 2.25 2.22 2.16 3/177 25357 /proc/meminfo: memFree=25304036/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1602.05 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301044 0 0 0 160148 57 0 0 20 0 1 0 35172554 1966575616 470508 33554432000 4194304 5646918 140735080162912 140735080161608 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 470508 183 355 0 479762 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 1920484 [startup+1662.3 s] /proc/loadavg: 2.20 2.21 2.16 3/177 25359 /proc/meminfo: memFree=25239992/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=1920484 CPUtime=1662.03 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301053 0 0 0 166146 57 0 0 20 0 1 0 35172554 1966575616 475116 33554432000 4194304 5646918 140735080162912 140735080161608 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 480121 475116 183 355 0 479762 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 1920484 [startup+1722.3 s] /proc/loadavg: 2.13 2.18 2.15 3/177 25415 /proc/meminfo: memFree=27459484/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=2488012 CPUtime=1722 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301632 0 0 0 172142 58 0 0 20 0 1 0 35172554 2547724288 486906 33554432000 4194304 5646918 140735080162912 140735080161608 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 622003 486906 183 355 0 621644 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 2488012 [startup+1782.3 s] /proc/loadavg: 2.23 2.20 2.16 3/177 25472 /proc/meminfo: memFree=27761272/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=2488012 CPUtime=1781.98 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301680 0 0 0 178139 59 0 0 20 0 1 0 35172554 2547724288 496634 33554432000 4194304 5646918 140735080162912 140735080161608 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 622003 496634 183 355 0 621644 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 2488012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.25 2.21 2.16 3/177 25472 /proc/meminfo: memFree=27757584/32872528 swapFree=1437460/1543748 [pid=25293] ppid=25290 vsize=2488012 CPUtime=1800.07 cores=0,2,4,6 /proc/25293/stat : 25293 (minisatp) R 25290 25293 25018 0 -1 4202496 301684 0 0 0 179948 59 0 0 20 0 1 0 35172554 2547724288 497658 33554432000 4194304 5646918 140735080162912 140735080161608 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/25293/statm: 622003 497658 183 355 0 621644 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2488012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 25293 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.45 CPU time (s): 1800.13 CPU user time (s): 1799.49 CPU system time (s): 0.644901 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 2488012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.644901 maximum resident set size= 1990632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 301684 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70 involuntary context switches= 1953 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42933 second user time and 7.2099 second system time The end
Begin job on node116 at 2016-06-27 11:55:32 IDJOB=4114927 IDBENCH=2990 IDSOLVER=2555 FILE ID=node116/4114927-1467021332 RUNJOBID= node116-1467019393-25034 PBS_JOBID= 19976973 Free space on /tmp= 71652 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114927-1467021332/watcher-4114927-1467021332 -o /tmp/evaluation-result-4114927-1467021332/solver-4114927-1467021332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467019393-25034 --watchdog 1960 -S 80 minisatp HOME/instance-4114927-1467021332.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2191fd085de8ae061d8b0a530b1c363f RANDOM SEED=1373673153 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.206 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29714124 kB Buffers: 106980 kB Cached: 380204 kB SwapCached: 2020 kB Active: 487220 kB Inactive: 393512 kB Active(anon): 394084 kB Inactive(anon): 1680 kB Active(file): 93136 kB Inactive(file): 391832 kB Unevictable: 1543748 kB Mlocked: 1437460 kB SwapTotal: 67108856 kB SwapFree: 67098756 kB Dirty: 16352 kB Writeback: 0 kB AnonPages: 1938228 kB Mapped: 7580 kB Shmem: 0 kB Slab: 598796 kB SReclaimable: 42676 kB SUnreclaim: 556120 kB KernelStack: 1432 kB PageTables: 7536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2064820 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114927-1467021332.opb Free space on /tmp at the end= 71648 MiB End job on node116 at 2016-06-27 12:25:33