Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -48 | 1800.06 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb |
MD5SUM | b94d4317cfb468b1c3dd3d790ff99d4d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94289 |
Number of constraints which are clauses | 94289 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
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... 2.49/2.58 c Converting 94289 PB-constraints to clauses... 2.49/2.59 c -- Unit propagations: (none) 2.49/2.59 c -- Detecting intervals from adjacent constraints: (none) 2.49/2.59 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.79/2.80 c ==================================[MINISAT+]================================== 2.79/2.80 c | Conflicts | Original | Learnt | Progress | 2.79/2.80 c | | Clauses Literals | Max Clauses Literals LPC | | 2.79/2.80 c ============================================================================== 2.79/2.80 c | 0 | 94289 188578 | 31429 0 0 nan | 0.000 % | 2.79/2.80 c ============================================================================== 2.79/2.80 c [1mFound solution: -38[0m 2.79/2.80 o -38 2.79/2.82 c ---[ 0]---> Sorter-cost:70300 Base: 2.88/2.98 c ==================================[MINISAT+]================================== 2.88/2.98 c | Conflicts | Original | Learnt | Progress | 2.88/2.98 c | | Clauses Literals | Max Clauses Literals LPC | | 2.88/2.98 c ============================================================================== 2.88/2.98 c | 0 | 169363 364695 | 56454 0 0 nan | 0.000 % | 3.19/3.23 c | 100 | 168931 363803 | 62099 75 961 12.8 | 0.464 % | 3.49/3.54 c | 251 | 168226 362304 | 68309 195 2080 10.7 | 1.241 % | 3.99/4.03 c | 477 | 166908 359478 | 75140 361 4481 12.4 | 2.716 % | 4.69/4.72 c | 814 | 165085 355491 | 82654 634 6941 10.9 | 4.833 % | 5.59/5.66 c | 1320 | 161650 347896 | 90919 1002 11746 11.7 | 8.903 % | 7.08/7.15 c | 2079 | 157439 338515 | 100011 1501 17642 11.8 | 13.952 % | 9.08/9.13 c | 3218 | 149574 320611 | 110012 2257 27487 12.2 | 23.762 % | 11.78/11.80 c | 4926 | 140077 298909 | 121014 3343 40938 12.2 | 35.604 % | 14.98/15.01 c | 7488 | 129263 273622 | 133115 4970 57038 11.5 | 49.390 % | 18.59/18.62 c | 11332 | 118074 247204 | 146427 7283 85078 11.7 | 64.089 % | 20.78/20.81 c ============================================================================== 20.78/20.81 c [1mFound solution: -42[0m 20.78/20.81 o -42 20.78/20.82 c ---[ 0]---> Sorter-cost: 0 Base: 20.88/20.91 c ==================================[MINISAT+]================================== 20.88/20.91 c | Conflicts | Original | Learnt | Progress | 20.88/20.91 c | | Clauses Literals | Max Clauses Literals LPC | | 20.88/20.91 c ============================================================================== 20.88/20.91 c | 14173 | 112053 232947 | 37351 8812 110869 12.6 | 64.089 % | 20.88/20.99 c | 14273 | 111956 232718 | 41086 8872 112201 12.6 | 72.341 % | 20.98/21.09 c | 14423 | 111733 232187 | 45194 9002 114113 12.7 | 72.561 % | 21.18/21.21 c | 14649 | 111451 231507 | 49714 9151 118315 12.9 | 72.945 % | 21.28/21.38 c | 14986 | 111001 230402 | 54685 9390 121727 13.0 | 73.568 % | 21.58/21.67 c | 15492 | 110268 228664 | 60154 9746 131154 13.5 | 74.539 % | 21.98/22.08 c | 16252 | 109470 226728 | 66169 10246 139678 13.6 | 75.632 % | 22.58/22.66 c | 17391 | 108305 223901 | 72786 11038 156782 14.2 | 77.225 % | 23.38/23.42 c | 19099 | 106843 220411 | 80065 12116 192204 15.9 | 79.176 % | 24.48/24.51 c | 21662 | 105578 217316 | 88071 13811 254342 18.4 | 80.914 % | 25.98/26.05 c | 25506 | 104256 214065 | 96878 16859 438700 26.0 | 82.765 % | 27.28/27.33 c ============================================================================== 27.28/27.33 c [1mFound solution: -43[0m 27.28/27.33 o -43 27.28/27.34 c ---[ 0]---> Sorter-cost: 0 Base: 27.38/27.44 c ==================================[MINISAT+]================================== 27.38/27.44 c | Conflicts | Original | Learnt | Progress | 27.38/27.44 c | | Clauses Literals | Max Clauses Literals LPC | | 27.38/27.44 c ============================================================================== 27.38/27.44 c | 29128 | 104139 213840 | 34713 20366 654650 32.1 | 82.765 % | 27.48/27.52 c | 29229 | 104025 213562 | 38184 20446 657035 32.1 | 83.099 % | 27.58/27.69 c | 29380 | 103872 213177 | 42002 20466 657976 32.1 | 83.323 % | 27.68/27.78 c | 29605 | 103872 213177 | 46203 20691 675471 32.6 | 83.323 % | 27.88/27.92 c | 29942 | 103872 213177 | 50823 21028 685274 32.6 | 83.323 % | 28.08/28.16 c | 30448 | 103722 212801 | 55905 21442 702839 32.8 | 83.539 % | 28.48/28.57 c | 31207 | 103261 211676 | 61496 21792 727090 33.4 | 84.177 % | 28.78/28.89 c | 32346 | 103261 211676 | 67645 22931 784028 34.2 | 84.177 % | 29.38/29.43 c ============================================================================== 29.38/29.43 c [1mFound solution: -44[0m 29.38/29.43 o -44 29.38/29.45 c ---[ 0]---> Sorter-cost: 0 Base: 29.48/29.55 c ==================================[MINISAT+]================================== 29.48/29.55 c | Conflicts | Original | Learnt | Progress | 29.48/29.55 c | | Clauses Literals | Max Clauses Literals LPC | | 29.48/29.55 c ============================================================================== 29.48/29.55 c | 33412 | 103252 211633 | 34417 23944 928774 38.8 | 84.177 % | 29.58/29.62 c | 33512 | 103242 211609 | 37858 24024 929884 38.7 | 84.207 % | 29.58/29.69 c | 33663 | 103242 211609 | 41644 24175 937156 38.8 | 84.207 % | 29.68/29.78 c | 33888 | 103242 211609 | 45809 24400 945982 38.8 | 84.207 % | 29.88/29.97 c | 34225 | 103106 211272 | 50389 24656 961580 39.0 | 84.396 % | 30.08/30.19 c | 34731 | 103096 211246 | 55428 25109 984488 39.2 | 84.412 % | 30.38/30.48 c | 35491 | 103053 211129 | 60971 25751 1012426 39.3 | 84.478 % | 31.08/31.11 c | 36631 | 102901 210759 | 67068 26726 1066796 39.9 | 84.686 % | 31.78/31.85 c | 38339 | 102881 210709 | 73775 28397 1192012 42.0 | 84.715 % | 32.98/33.02 c | 40901 | 102881 210709 | 81153 30959 1469684 47.5 | 84.715 % | 34.88/34.99 c | 44746 | 102871 210685 | 89268 34788 1844984 53.0 | 84.729 % | 37.87/37.90 c ============================================================================== 37.87/37.90 c [1mFound solution: -45[0m 37.87/37.90 o -45 37.87/37.92 c ---[ 0]---> Sorter-cost: 0 Base: 37.97/38.04 c ==================================[MINISAT+]================================== 37.97/38.04 c | Conflicts | Original | Learnt | Progress | 37.97/38.04 c | | Clauses Literals | Max Clauses Literals LPC | | 37.97/38.04 c ============================================================================== 37.97/38.04 c | 49083 | 102808 210537 | 34269 39065 2552883 65.3 | 84.729 % | 38.07/38.17 c | 49183 | 102715 210319 | 37695 39094 2554059 65.3 | 84.952 % | 38.17/38.27 c | 49333 | 102715 210319 | 41465 39244 2564935 65.4 | 84.952 % | 38.38/38.47 c | 49559 | 102638 210132 | 45612 39228 2570691 65.5 | 85.059 % | 38.57/38.69 c | 49896 | 102638 210132 | 50173 39565 2591937 65.5 | 85.059 % | 38.98/39.02 c | 50403 | 102638 210132 | 55190 40072 2655788 66.3 | 85.059 % | 39.38/39.45 c | 51162 | 102638 210132 | 60709 40831 2713978 66.5 | 85.059 % | 40.18/40.25 c | 52301 | 102627 210103 | 66780 41795 2803087 67.1 | 85.076 % | 41.47/41.52 c | 54009 | 102492 209776 | 73458 43288 3004323 69.4 | 85.263 % | 43.28/43.34 c | 56573 | 102482 209754 | 80804 45807 3307196 72.2 | 85.275 % | 46.18/46.25 c | 60417 | 102434 209638 | 88884 49598 3816497 76.9 | 85.341 % | 50.97/51.04 c | 66183 | 102321 209365 | 97773 54712 4533488 82.9 | 85.496 % | 59.17/59.20 c | 74832 | 102098 208818 | 107550 62430 5539945 88.7 | 85.806 % | 75.56/75.60 c | 87807 | 101884 208284 | 118305 75224 8117231 107.9 | 86.117 % | 78.06/78.18 c ============================================================================== 78.06/78.18 c [1mFound solution: -46[0m 78.06/78.18 o -46 78.06/78.20 c ---[ 0]---> Sorter-cost: 0 Base: 78.26/78.39 c ==================================[MINISAT+]================================== 78.26/78.39 c | Conflicts | Original | Learnt | Progress | 78.26/78.39 c | | Clauses Literals | Max Clauses Literals LPC | | 78.26/78.39 c ============================================================================== 78.26/78.39 c | 89873 | 101873 208219 | 33957 77213 8366826 108.4 | 86.117 % | 78.56/78.62 c | 89973 | 101813 208079 | 37352 77250 8370963 108.4 | 86.209 % | 78.76/78.81 c | 90123 | 101813 208079 | 41087 77400 8384920 108.3 | 86.209 % | 78.96/79.06 c | 90348 | 101813 208079 | 45196 77625 8402830 108.2 | 86.209 % | 79.36/79.47 c | 90685 | 101813 208079 | 49716 77962 8425118 108.1 | 86.209 % | 80.07/80.16 c | 91191 | 101808 208066 | 54688 78418 8477500 108.1 | 86.217 % | 80.97/81.03 c | 91950 | 101769 207969 | 60156 79147 8535292 107.8 | 86.273 % | 82.37/82.50 c | 93089 | 101732 207878 | 66172 79954 8650341 108.2 | 86.324 % | 84.26/84.38 c | 94797 | 101691 207781 | 72789 81587 8836109 108.3 | 86.378 % | 87.26/87.35 c | 97360 | 101678 207750 | 80068 84139 9093070 108.1 | 86.396 % | 92.26/92.36 c | 101204 | 101587 207532 | 88075 87350 9467343 108.4 | 86.516 % | 100.06/100.19 c | 106970 | 101584 207525 | 96883 93115 10262644 110.2 | 86.520 % | 113.06/113.12 c | 115619 | 101584 207525 | 106571 101764 11400274 112.0 | 86.520 % | 132.95/133.02 c ============================================================================== 132.95/133.02 c [1mFound solution: -47[0m 132.95/133.02 o -47 132.95/133.04 c ---[ 0]---> Sorter-cost: 0 Base: 133.15/133.29 c ==================================[MINISAT+]================================== 133.15/133.29 c | Conflicts | Original | Learnt | Progress | 133.15/133.29 c | | Clauses Literals | Max Clauses Literals LPC | | 133.15/133.29 c ============================================================================== 133.15/133.29 c | 128246 | 101576 207519 | 33858 113993 13276183 116.5 | 86.520 % | 133.55/133.61 c | 128346 | 101576 207519 | 37243 20346 1966312 96.6 | 86.569 % | 133.55/133.68 c | 128496 | 101576 207519 | 40968 20496 1972565 96.2 | 86.569 % | 133.65/133.79 c | 128722 | 101576 207519 | 45064 20722 1990233 96.0 | 86.569 % | 133.85/133.94 c | 129059 | 101576 207519 | 49571 21059 2010034 95.4 | 86.569 % | 134.15/134.20 c | 129565 | 101573 207512 | 54528 21564 2043549 94.8 | 86.573 % | 134.45/134.59 c | 130325 | 101573 207512 | 59981 22324 2119304 94.9 | 86.573 % | 135.05/135.16 c | 131466 | 101573 207512 | 65979 23465 2227953 94.9 | 86.573 % | 136.15/136.23 c | 133174 | 101566 207497 | 72577 25171 2440505 97.0 | 86.580 % | 137.45/137.58 c | 135736 | 101564 207493 | 79835 27732 2748292 99.1 | 86.582 % | 139.95/140.04 c | 139581 | 101564 207493 | 87818 31577 3280586 103.9 | 86.582 % | 145.05/145.16 c | 145347 | 101564 207493 | 96600 37343 4140110 110.9 | 86.582 % | 152.04/152.17 c | 153996 | 101564 207493 | 106260 45992 5223572 113.6 | 86.582 % | 164.64/164.73 c | 166970 | 101517 207383 | 116886 58757 6847744 116.5 | 86.641 % | 185.73/185.87 c | 186431 | 101502 207348 | 128575 78195 9333628 119.4 | 86.660 % | 225.51/225.64 c | 215624 | 101465 207263 | 141433 107203 13487587 125.8 | 86.705 % | 302.70/302.81 c | 259413 | 101459 207249 | 155576 150988 19357146 128.2 | 86.712 % | 423.25/423.45 c | 325098 | 101350 206988 | 171134 34947 3511279 100.5 | 86.860 % | 496.03/496.27 c ============================================================================== 496.03/496.27 c [1mFound solution: -48[0m 496.03/496.27 o -48 496.03/496.29 c ---[ 0]---> Sorter-cost: 0 Base: 496.33/496.54 c ==================================[MINISAT+]================================== 496.33/496.54 c | Conflicts | Original | Learnt | Progress | 496.33/496.54 c | | Clauses Literals | Max Clauses Literals LPC | | 496.33/496.54 c ============================================================================== 496.33/496.54 c | 380811 | 101228 206680 | 33742 90574 13877840 153.2 | 86.860 % | 496.63/496.88 c | 380912 | 101228 206680 | 37116 21316 1681202 78.9 | 87.021 % | 496.73/497.00 c | 381062 | 101200 206617 | 40827 21464 1689313 78.7 | 87.054 % | 496.93/497.13 c | 381289 | 101185 206582 | 44910 21667 1702173 78.6 | 87.074 % | 497.13/497.35 c | 381626 | 101148 206493 | 49401 21975 1723553 78.4 | 87.124 % | 497.43/497.65 c | 382133 | 101148 206493 | 54341 22482 1776280 79.0 | 87.124 % | 497.93/498.20 c | 382892 | 101055 206270 | 59776 23212 1844165 79.4 | 87.246 % | 498.63/498.82 c | 384031 | 101055 206270 | 65753 24351 1954875 80.3 | 87.246 % | 499.73/499.91 c | 385739 | 101055 206270 | 72328 26059 2147492 82.4 | 87.246 % | 501.13/501.39 c | 388301 | 101055 206270 | 79561 28621 2365128 82.6 | 87.246 % | 503.73/503.97 c | 392145 | 101027 206199 | 87518 32396 2747709 84.8 | 87.287 % | 508.12/508.37 c | 397911 | 101027 206199 | 96269 38162 3439348 90.1 | 87.287 % | 516.42/516.68 c | 406560 | 101027 206199 | 105896 46811 4695071 100.3 | 87.287 % | 529.52/529.77 c | 419534 | 101022 206188 | 116486 59757 6409276 107.3 | 87.293 % | 553.31/553.56 c | 438995 | 100964 206052 | 128135 79178 8870076 112.0 | 87.369 % | 596.49/596.75 c | 468188 | 100946 206006 | 140948 108363 12220053 112.8 | 87.396 % | 686.56/686.86 c | 511977 | 100946 206006 | 155043 152152 18151156 119.3 | 87.396 % | 826.13/826.49 c | 577661 | 100946 206006 | 170547 38410 3429448 89.3 | 87.396 % | 959.38/959.80 c | 676187 | 100891 205871 | 187602 136865 14521474 106.1 | 87.473 % | 1291.87/1292.31 c | 823976 | 100891 205871 | 206363 75860 3443533 45.4 | 87.473 % | 1757.63/1758.23 c | 1045661 | 100888 205864 | 226999 69235 2989273 43.2 | 87.477 % | 1800.02/1800.60 c 1800.02/1800.61 c *** TERMINATED *** 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1800.02/1800.61 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239 1800.02/1800.61 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1800.02/1800.61 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 1800.02/1800.61 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 1800.02/1800.61 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1800.02/1800.61 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 1800.02/1800.61 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1800.02/1800.61 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 1800.02/1800.61 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1800.02/1800.61 v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1800.02/1800.61 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1800.02/1800.61 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1800.02/1800.61 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1800.02/1800.61 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1800.02/1800.61 v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1800.02/1800.61 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 1800.02/1800.61 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1800.02/1800.61 v -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1800.02/1800.61 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 1800.02/1800.61 v -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1800.02/1800.61 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1800.02/1800.61 v -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1800.02/1800.61 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1800.02/1800.61 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1800.02/1800.61 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1800.02/1800.61 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1800.02/1800.61 v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1800.02/1800.61 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1800.02/1800.61 v x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 1800.02/1800.61 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 1800.02/1800.61 v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 1800.02/1800.61 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1800.02/1800.61 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1800.02/1800.61 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 1800.02/1800.61 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 1800.02/1800.61 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1800.02/1800.61 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 1800.02/1800.61 v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1800.02/1800.61 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 1800.02/1800.61 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1800.02/1800.61 v -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 1800.02/1800.61 v -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1800.02/1800.61 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 1800.02/1800.61 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1800.02/1800.61 v -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1800.02/1800.61 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1800.02/1800.61 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1800.02/1800.61 v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1800.02/1800.61 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 1800.02/1800.61 v -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1800.02/1800.61 v -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1800.02/1800.61 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 1800.02/1800.61 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1800.02/1800.61 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1800.02/1800.61 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1800.02/1800.61 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 1800.02/1800.61 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1800.02/1800.61 v -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1800.02/1800.61 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 1800.02/1800.61 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 1800.02/1800.61 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 1800.02/1800.61 v -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -48
/tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-353624-1176671177 -o ROOT/results/node58/solver-353624-1176671177 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353624-1176671177/minisat+ /tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15947 /proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=1340 CPUtime=0 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 166 0 0 0 0 0 0 0 18 0 1 0 115027399 1372160 151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134601582 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 335 151 74 215 0 117 0 [startup+0.0552521 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15947 /proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=1736 CPUtime=0.05 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 266 0 0 0 5 0 0 0 18 0 1 0 115027399 1777664 251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135022946 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 434 251 74 215 0 216 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1736 [startup+0.102258 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15947 /proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=2144 CPUtime=0.09 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 366 0 0 0 9 0 0 0 18 0 1 0 115027399 2195456 351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 536 351 74 215 0 318 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2144 [startup+0.301292 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15947 /proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=3812 CPUtime=0.29 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 781 0 0 0 29 0 0 0 19 0 1 0 115027399 3903488 766 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 953 766 74 215 0 735 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3812 [startup+0.701359 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15947 /proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=7084 CPUtime=0.69 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 1605 0 0 0 68 1 0 0 22 0 1 0 115027399 7254016 1590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134629316 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 1771 1590 74 215 0 1553 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7084 [startup+1.50149 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1808176/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=13508 CPUtime=1.49 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 3228 0 0 0 147 2 0 0 25 0 1 0 115027399 13832192 3213 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 3377 3213 74 215 0 3159 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13508 [startup+3.10176 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1799152/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=34096 CPUtime=3.09 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8273 0 0 0 295 14 0 0 19 0 1 0 115027399 34914304 8057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 8524 8057 108 215 0 8306 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34096 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1784368/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=34096 CPUtime=6.29 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8296 0 0 0 615 14 0 0 25 0 1 0 115027399 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 8524 8080 110 215 0 8306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34096 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1784368/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=34096 CPUtime=12.68 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8296 0 0 0 1254 14 0 0 25 0 1 0 115027399 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 8524 8080 110 215 0 8306 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34096 [startup+25.5025 s] /proc/loadavg: 0.95 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1784240/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=34520 CPUtime=25.48 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8366 0 0 0 2534 14 0 0 25 0 1 0 115027399 35348480 8150 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 8630 8150 110 215 0 8412 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34520 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1772720/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=46712 CPUtime=51.07 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 11404 0 0 0 5090 17 0 0 25 0 1 0 115027399 47833088 11180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 11678 11180 110 215 0 11460 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46712 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1747312/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=71744 CPUtime=102.26 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 17643 0 0 0 10202 24 0 0 25 0 1 0 115027399 73465856 17410 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 17936 17410 110 215 0 17718 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 71744 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1735280/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=83572 CPUtime=162.24 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 20642 0 0 0 16195 29 0 0 25 0 1 0 115027399 85577728 20400 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 20893 20400 110 215 0 20675 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 83572 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1735280/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=83700 CPUtime=222.22 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 20654 0 0 0 22193 29 0 0 25 0 1 0 115027399 85708800 20412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 20925 20412 110 215 0 20707 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 83700 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1715248/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=104060 CPUtime=282.2 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 25697 0 0 0 28186 34 0 0 25 0 1 0 115027399 106557440 25455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 26015 25455 110 215 0 25797 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 104060 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15948 /proc/meminfo: memFree=1697840/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=121108 CPUtime=342.18 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 29996 0 0 0 34179 39 0 0 25 0 1 0 115027399 124014592 29754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 30277 29754 110 215 0 30059 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 121108 [startup+402.302 s] /proc/loadavg: 1.04 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1682672/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=136288 CPUtime=402.16 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 33818 0 0 0 40173 43 0 0 25 0 1 0 115027399 139558912 33576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34072 33576 110 215 0 33854 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 136288 [startup+462.303 s] /proc/loadavg: 1.01 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=462.14 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 46170 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 139516 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=522.12 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 52168 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 139516 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=582.1 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 58166 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 139516 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=642.08 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 64164 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 139516 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=822.03 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 82158 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 139516 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=882.01 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 88156 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 139516 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=941.99 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 94154 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 139516 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=1001.97 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 100152 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 139516 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679088/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=1061.94 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 106149 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34372 110 215 0 34661 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 139516 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679088/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139516 CPUtime=1121.93 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34617 0 0 0 112147 46 0 0 25 0 1 0 115027399 142864384 34375 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34879 34375 110 215 0 34661 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 139516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1679024/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1181.91 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34635 0 0 0 118145 46 0 0 25 0 1 0 115027399 143278080 34393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34393 110 215 0 34762 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 139920 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678960/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1241.89 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 124143 46 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34404 110 215 0 34762 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 139920 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678960/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1301.87 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 130141 46 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34404 110 215 0 34762 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 139920 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678960/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1361.86 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 136139 47 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34404 110 215 0 34762 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 139920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1421.84 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 142137 47 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34404 110 215 0 34762 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 139920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1481.82 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34647 0 0 0 148135 47 0 0 25 0 1 0 115027399 143278080 34405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34405 110 215 0 34762 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 139920 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1541.79 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34647 0 0 0 154132 47 0 0 25 0 1 0 115027399 143278080 34405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577125 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34405 110 215 0 34762 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 139920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1601.77 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34647 0 0 0 160130 47 0 0 25 0 1 0 115027399 143278080 34405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34405 110 215 0 34762 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 139920 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678832/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1661.76 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34653 0 0 0 166128 48 0 0 25 0 1 0 115027399 143278080 34411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34411 110 215 0 34762 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 139920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678768/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1721.74 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34666 0 0 0 172126 48 0 0 25 0 1 0 115027399 143278080 34424 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588639 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34424 110 215 0 34762 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 139920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678768/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1781.72 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34666 0 0 0 178124 48 0 0 25 0 1 0 115027399 143278080 34424 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34424 110 215 0 34762 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 139920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15948 /proc/meminfo: memFree=1678768/2055920 swapFree=4184580/4192956 [pid=15947] ppid=15945 vsize=139920 CPUtime=1800.02 /proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34666 0 0 0 179954 48 0 0 25 0 1 0 115027399 143278080 34424 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15947/statm: 34980 34424 110 215 0 34762 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 139920 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.64 CPU time (s): 1800.06 CPU user time (s): 1799.55 CPU system time (s): 0.508922 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 139920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.508922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34668 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= 440 involuntary context switches= 2930 runsolver used 1.24681 second user time and 3.89841 second system time The end
Begin job on node58 on Sun Apr 15 21:06:17 UTC 2007 IDJOB= 353624 IDBENCH= 2257 IDSOLVER= 156 FILE ID= node58/353624-1176671177 PBS_JOBID= 4559910 Free space on /tmp= 66560 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb COMMAND LINE= /tmp/evaluation/353624-1176671177/minisat+ /tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-353624-1176671177 -o ROOT/results/node58/conversion-353624-1176671177 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-353624-1176671177 -o ROOT/results/node58/solver-353624-1176671177 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353624-1176671177/minisat+ /tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d RANDOM SEED= 668364821 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1817168 kB Buffers: 15436 kB Cached: 139772 kB SwapCached: 2144 kB Active: 59632 kB Inactive: 105596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817168 kB SwapTotal: 4192956 kB SwapFree: 4184580 kB Dirty: 4568 kB Writeback: 0 kB Mapped: 16908 kB Slab: 59596 kB Committed_AS: 201272 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node58 on Sun Apr 15 21:36:20 UTC 2007