Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -45 | 1800.08 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb |
MD5SUM | 29f577041bedcbf69a98210424b233be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 81068 |
Number of constraints which are clauses | 81068 |
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 | 1150 |
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 | 1150 |
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 | 1150 |
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.10/2.19 c Converting 81068 PB-constraints to clauses... 2.10/2.20 c -- Unit propagations: (none) 2.10/2.20 c -- Detecting intervals from adjacent constraints: (none) 2.19/2.20 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 2.29/2.39 c ==================================[MINISAT+]================================== 2.29/2.39 c | Conflicts | Original | Learnt | Progress | 2.29/2.39 c | | Clauses Literals | Max Clauses Literals LPC | | 2.29/2.39 c ============================================================================== 2.29/2.39 c | 0 | 81068 162136 | 27022 0 0 nan | 0.000 % | 2.29/2.39 c ============================================================================== 2.29/2.39 c [1mFound solution: -34[0m 2.29/2.39 o -34 2.39/2.40 c ---[ 0]---> Sorter-cost:63046 Base: 2.49/2.55 c ==================================[MINISAT+]================================== 2.49/2.55 c | Conflicts | Original | Learnt | Progress | 2.49/2.55 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49/2.55 c ============================================================================== 2.49/2.55 c | 0 | 148824 321085 | 49608 0 0 nan | 0.000 % | 2.69/2.70 c | 100 | 148525 320464 | 54568 89 647 7.3 | 0.364 % | 2.89/2.95 c | 250 | 147550 318365 | 60025 172 1582 9.2 | 1.583 % | 3.29/3.38 c | 475 | 146282 315603 | 66028 352 3233 9.2 | 3.202 % | 3.89/3.96 c | 813 | 144245 311162 | 72631 579 5643 9.7 | 5.871 % | 4.59/4.61 c | 1319 | 142081 306384 | 79894 969 9530 9.8 | 8.642 % | 5.89/5.96 c | 2078 | 137736 296703 | 87883 1563 16664 10.7 | 14.500 % | 7.59/7.69 c | 3217 | 131537 282628 | 96671 2418 27257 11.3 | 23.018 % | 9.89/9.94 c | 4925 | 123620 264611 | 106339 3613 42907 11.9 | 33.844 % | 12.59/12.65 c | 7487 | 113550 241172 | 116973 5356 67950 12.7 | 47.966 % | 13.89/14.00 c ============================================================================== 13.89/14.00 c [1mFound solution: -35[0m 13.89/14.00 o -35 13.99/14.01 c ---[ 0]---> Sorter-cost: 0 Base: 13.99/14.09 c ==================================[MINISAT+]================================== 13.99/14.09 c | Conflicts | Original | Learnt | Progress | 13.99/14.09 c | | Clauses Literals | Max Clauses Literals LPC | | 13.99/14.09 c ============================================================================== 13.99/14.09 c | 8942 | 109479 231646 | 36493 6398 83738 13.1 | 47.966 % | 14.09/14.13 c | 9042 | 109425 231526 | 40142 6488 84756 13.1 | 54.101 % | 14.29/14.31 c | 9192 | 108817 230122 | 44156 6542 85696 13.1 | 54.940 % | 14.39/14.42 c | 9417 | 108742 229957 | 48572 6753 88958 13.2 | 55.038 % | 14.69/14.79 c | 9754 | 107510 227021 | 53429 6943 92761 13.4 | 56.846 % | 15.18/15.25 c | 10260 | 105913 223216 | 58772 7155 97498 13.6 | 59.215 % | 15.68/15.73 c | 11020 | 105175 221476 | 64649 7673 105317 13.7 | 60.288 % | 16.58/16.64 c | 12159 | 103203 216846 | 71114 8489 120338 14.2 | 63.131 % | 17.38/17.48 c ============================================================================== 17.38/17.48 c [1mFound solution: -36[0m 17.38/17.48 o -36 17.38/17.50 c ---[ 0]---> Sorter-cost: 0 Base: 17.49/17.57 c ==================================[MINISAT+]================================== 17.49/17.57 c | Conflicts | Original | Learnt | Progress | 17.49/17.57 c | | Clauses Literals | Max Clauses Literals LPC | | 17.49/17.57 c ============================================================================== 17.49/17.57 c | 13203 | 100733 210967 | 33577 9056 136886 15.1 | 63.131 % | 17.59/17.62 c | 13303 | 100611 210685 | 36934 9131 139212 15.2 | 66.860 % | 17.68/17.73 c | 13453 | 100325 210019 | 40628 9181 139747 15.2 | 67.265 % | 17.78/17.88 c | 13678 | 100059 209371 | 44690 9352 142290 15.2 | 67.665 % | 17.98/18.07 c | 14015 | 99707 208499 | 49160 9535 150995 15.8 | 68.219 % | 18.28/18.31 c | 14522 | 99276 207440 | 54076 10000 163255 16.3 | 68.874 % | 18.38/18.47 c ============================================================================== 18.38/18.47 c [1mFound solution: -37[0m 18.38/18.47 o -37 18.38/18.49 c ---[ 0]---> Sorter-cost: 0 Base: 18.48/18.56 c ==================================[MINISAT+]================================== 18.48/18.56 c | Conflicts | Original | Learnt | Progress | 18.48/18.56 c | | Clauses Literals | Max Clauses Literals LPC | | 18.48/18.56 c ============================================================================== 18.48/18.56 c | 14905 | 99017 206836 | 33005 10349 176652 17.1 | 68.874 % | 18.59/18.65 c | 15005 | 98880 206528 | 36305 10433 177386 17.0 | 69.468 % | 18.69/18.73 c | 15156 | 98646 205978 | 39936 10557 180672 17.1 | 69.807 % | 18.78/18.87 c | 15381 | 98366 205323 | 43929 10660 183391 17.2 | 70.205 % | 18.98/19.07 c | 15718 | 97960 204346 | 48322 10906 188208 17.3 | 70.808 % | 19.38/19.41 c | 16224 | 97329 202834 | 53154 11259 197451 17.5 | 71.755 % | 19.58/19.60 c ============================================================================== 19.58/19.60 c [1mFound solution: -38[0m 19.58/19.60 o -38 19.58/19.62 c ---[ 0]---> Sorter-cost: 0 Base: 19.58/19.70 c ==================================[MINISAT+]================================== 19.58/19.70 c | Conflicts | Original | Learnt | Progress | 19.58/19.70 c | | Clauses Literals | Max Clauses Literals LPC | | 19.58/19.70 c ============================================================================== 19.58/19.70 c | 16609 | 97142 202333 | 32380 11543 200782 17.4 | 71.755 % | 19.69/19.76 c | 16709 | 97045 202091 | 35618 11621 201582 17.3 | 72.198 % | 19.79/19.84 c | 16860 | 96950 201864 | 39179 11735 204990 17.5 | 72.347 % | 19.88/19.94 c | 17088 | 96889 201715 | 43097 11909 209728 17.6 | 72.433 % | 20.08/20.14 c | 17425 | 96380 200482 | 47407 12147 216033 17.8 | 73.196 % | 20.28/20.36 c | 17932 | 96079 199749 | 52148 12412 237148 19.1 | 73.650 % | 20.58/20.66 c | 18692 | 95763 198984 | 57363 13024 253885 19.5 | 74.133 % | 20.88/20.92 c ============================================================================== 20.88/20.92 c [1mFound solution: -39[0m 20.88/20.92 o -39 20.88/20.94 c ---[ 0]---> Sorter-cost: 0 Base: 20.98/21.02 c ==================================[MINISAT+]================================== 20.98/21.02 c | Conflicts | Original | Learnt | Progress | 20.98/21.02 c | | Clauses Literals | Max Clauses Literals LPC | | 20.98/21.02 c ============================================================================== 20.98/21.02 c | 19374 | 95715 198918 | 31905 13669 272269 19.9 | 74.133 % | 20.98/21.05 c | 19474 | 95715 198918 | 35095 13769 274839 20.0 | 74.287 % | 21.08/21.14 c | 19624 | 95609 198662 | 38605 13853 276879 20.0 | 74.444 % | 21.18/21.23 c | 19849 | 95504 198406 | 42465 14055 280648 20.0 | 74.608 % | 21.38/21.43 c | 20186 | 95321 197961 | 46712 14273 290024 20.3 | 74.888 % | 21.58/21.63 c | 20692 | 95154 197572 | 51383 14648 305122 20.8 | 75.121 % | 21.88/21.94 c | 21451 | 94801 196722 | 56521 15251 327192 21.5 | 75.643 % | 22.58/22.63 c | 22590 | 93726 194151 | 62173 16066 352985 22.0 | 77.246 % | 22.88/22.93 c ============================================================================== 22.88/22.93 c [1mFound solution: -41[0m 22.88/22.93 o -41 22.88/22.94 c ---[ 0]---> Sorter-cost: 0 Base: 22.98/23.03 c ==================================[MINISAT+]================================== 22.98/23.03 c | Conflicts | Original | Learnt | Progress | 22.98/23.03 c | | Clauses Literals | Max Clauses Literals LPC | | 22.98/23.03 c ============================================================================== 22.98/23.03 c | 23429 | 93460 193538 | 31153 16809 378976 22.5 | 77.246 % | 22.98/23.06 c | 23529 | 93460 193538 | 34268 16909 381017 22.5 | 77.671 % | 23.08/23.13 c | 23679 | 93460 193538 | 37695 17059 388758 22.8 | 77.671 % | 23.18/23.21 c | 23904 | 93460 193538 | 41464 17284 395681 22.9 | 77.671 % | 23.28/23.33 c | 24241 | 93370 193322 | 45611 17561 402866 22.9 | 77.805 % | 23.48/23.57 c | 24748 | 93155 192800 | 50172 17880 419682 23.5 | 78.132 % | 23.88/23.92 c | 25507 | 92786 191894 | 55189 18335 435938 23.8 | 78.691 % | 24.48/24.50 c | 26646 | 92029 190018 | 60708 19085 465968 24.4 | 79.853 % | 25.08/25.13 c | 28354 | 91911 189738 | 66779 20687 567048 27.4 | 80.025 % | 26.08/26.11 c | 30918 | 91718 189266 | 73457 23148 724187 31.3 | 80.312 % | 27.78/27.81 c | 34763 | 91541 188853 | 80802 26821 1007077 37.5 | 80.553 % | 30.28/30.38 c | 40529 | 91425 188555 | 88883 32336 1405077 43.5 | 80.745 % | 35.48/35.59 c | 49178 | 90591 186576 | 97771 40058 2307923 57.6 | 81.963 % | 45.27/45.35 c | 62152 | 90053 185258 | 107548 52252 3904159 74.7 | 82.791 % | 64.57/64.60 c | 81614 | 89718 184449 | 118303 70757 6817442 96.4 | 83.299 % | 77.76/77.82 c ============================================================================== 77.76/77.82 c [1mFound solution: -42[0m 77.76/77.82 o -42 77.76/77.84 c ---[ 0]---> Sorter-cost: 0 Base: 77.97/78.02 c ==================================[MINISAT+]================================== 77.97/78.02 c | Conflicts | Original | Learnt | Progress | 77.97/78.02 c | | Clauses Literals | Max Clauses Literals LPC | | 77.97/78.02 c ============================================================================== 77.97/78.03 c | 92949 | 89145 183005 | 29715 81197 8186868 100.8 | 83.299 % | 78.16/78.25 c | 93050 | 89145 183005 | 32686 22034 1602261 72.7 | 84.175 % | 78.26/78.37 c | 93200 | 89036 182740 | 35955 22132 1607001 72.6 | 84.341 % | 78.36/78.47 c | 93426 | 88996 182646 | 39550 22127 1611092 72.8 | 84.397 % | 78.56/78.64 c | 93763 | 88996 182646 | 43505 22464 1641209 73.1 | 84.397 % | 78.86/78.92 c | 94269 | 88996 182646 | 47856 22970 1706790 74.3 | 84.397 % | 79.26/79.32 c | 95028 | 88949 182534 | 52641 23714 1783041 75.2 | 84.460 % | 79.86/79.91 c | 96167 | 88941 182514 | 57906 24846 1915727 77.1 | 84.472 % | 80.76/80.87 c | 97876 | 88901 182419 | 63696 26515 2138859 80.7 | 84.529 % | 82.16/82.25 c | 100438 | 88795 182161 | 70066 29050 2363631 81.4 | 84.692 % | 84.76/84.85 c | 104282 | 88753 182051 | 77073 32854 2852036 86.8 | 84.766 % | 89.26/89.35 c | 110048 | 88753 182051 | 84780 38620 3734405 96.7 | 84.766 % | 98.46/98.50 c | 118697 | 88753 182051 | 93258 47269 5406231 114.4 | 84.766 % | 108.15/108.23 c ============================================================================== 108.15/108.23 c [1mFound solution: -43[0m 108.15/108.23 o -43 108.15/108.24 c ---[ 0]---> Sorter-cost: 0 Base: 108.35/108.41 c ==================================[MINISAT+]================================== 108.35/108.41 c | Conflicts | Original | Learnt | Progress | 108.35/108.41 c | | Clauses Literals | Max Clauses Literals LPC | | 108.35/108.41 c ============================================================================== 108.35/108.41 c | 129419 | 88785 182147 | 29595 57991 7188448 124.0 | 84.766 % | 108.45/108.58 c | 129519 | 88747 182048 | 32554 58060 7189895 123.8 | 84.813 % | 108.65/108.75 c | 129669 | 88747 182048 | 35809 58210 7203645 123.8 | 84.813 % | 108.95/109.01 c | 129894 | 88747 182048 | 39390 58435 7222308 123.6 | 84.813 % | 109.25/109.30 c | 130231 | 88747 182048 | 43330 58772 7240654 123.2 | 84.813 % | 109.75/109.83 c | 130737 | 88747 182048 | 47663 59278 7308626 123.3 | 84.813 % | 110.55/110.64 c | 131496 | 88747 182048 | 52429 60037 7397997 123.2 | 84.813 % | 111.65/111.70 c | 132635 | 88747 182048 | 57672 61176 7525501 123.0 | 84.813 % | 113.26/113.32 c | 134344 | 88747 182048 | 63439 62885 7690787 122.3 | 84.813 % | 115.75/115.83 c | 136908 | 88747 182048 | 69783 65449 7984177 122.0 | 84.813 % | 120.16/120.24 c | 140752 | 88734 182017 | 76761 69270 8519695 123.0 | 84.832 % | 126.55/126.69 c | 146518 | 88734 182017 | 84437 75036 9316076 124.2 | 84.832 % | 138.25/138.31 c | 155169 | 88734 182017 | 92881 83687 10482862 125.3 | 84.832 % | 155.05/155.15 c | 168144 | 88731 182010 | 102169 96657 12423900 128.5 | 84.837 % | 188.43/188.59 c | 187605 | 88731 182010 | 112386 116118 15556343 134.0 | 84.837 % | 208.43/208.55 c ============================================================================== 208.43/208.55 c [1mFound solution: -44[0m 208.43/208.55 o -44 208.43/208.57 c ---[ 0]---> Sorter-cost: 0 Base: 208.73/208.86 c ==================================[MINISAT+]================================== 208.73/208.86 c | Conflicts | Original | Learnt | Progress | 208.73/208.86 c | | Clauses Literals | Max Clauses Literals LPC | | 208.73/208.86 c ============================================================================== 208.73/208.86 c | 200502 | 88705 181922 | 29568 127023 16926154 133.3 | 84.837 % | 209.23/209.33 c | 200602 | 88705 181922 | 32524 23397 1923533 82.2 | 84.876 % | 209.33/209.44 c | 200752 | 88705 181922 | 35777 23547 1936394 82.2 | 84.876 % | 209.43/209.59 c | 200977 | 88705 181922 | 39355 23772 1958482 82.4 | 84.876 % | 209.63/209.76 c | 201315 | 88705 181922 | 43290 24110 1985133 82.3 | 84.876 % | 209.83/209.99 c | 201821 | 88705 181922 | 47619 24616 2015838 81.9 | 84.876 % | 210.43/210.50 c | 202582 | 88689 181882 | 52381 25361 2086362 82.3 | 84.902 % | 210.93/211.05 c | 203721 | 88689 181882 | 57619 26500 2187127 82.5 | 84.902 % | 211.93/212.07 c | 205432 | 88689 181882 | 63381 28211 2387337 84.6 | 84.902 % | 213.83/213.96 c | 207994 | 88689 181882 | 69719 30773 2779868 90.3 | 84.902 % | 216.72/216.83 c | 211839 | 88689 181882 | 76691 34618 3316548 95.8 | 84.902 % | 221.52/221.61 c | 217605 | 88689 181882 | 84360 40384 4220056 104.5 | 84.902 % | 229.02/229.17 c | 226255 | 88679 181858 | 92797 49031 5387721 109.9 | 84.917 % | 242.82/242.93 c | 239230 | 88669 181834 | 102076 61996 7218396 116.4 | 84.932 % | 275.31/275.45 c | 258691 | 88669 181834 | 112284 81457 11453565 140.6 | 84.932 % | 323.31/323.47 c | 287884 | 88657 181806 | 123512 110646 15171541 137.1 | 84.949 % | 428.07/428.24 c | 331676 | 88657 181806 | 135864 154438 22015189 142.6 | 84.949 % | 489.06/489.24 c ============================================================================== 489.06/489.24 c [1mFound solution: -45[0m 489.06/489.24 o -45 489.06/489.26 c ---[ 0]---> Sorter-cost: 0 Base: 489.46/489.63 c ==================================[MINISAT+]================================== 489.46/489.63 c | Conflicts | Original | Learnt | Progress | 489.46/489.63 c | | Clauses Literals | Max Clauses Literals LPC | | 489.46/489.63 c ============================================================================== 489.46/489.63 c | 355690 | 88678 181867 | 29559 178452 25171779 141.1 | 84.949 % | 490.26/490.46 c | 355790 | 88678 181867 | 32514 23208 1976127 85.1 | 84.928 % | 490.37/490.57 c | 355940 | 88678 181867 | 35766 23358 1992119 85.3 | 84.928 % | 490.47/490.64 c | 356165 | 88678 181867 | 39343 23583 1999750 84.8 | 84.928 % | 490.66/490.80 c | 356502 | 88678 181867 | 43277 23920 2016596 84.3 | 84.928 % | 490.96/491.10 c | 357008 | 88532 181539 | 47605 24418 2030737 83.2 | 85.117 % | 491.26/491.41 c | 357767 | 88532 181539 | 52365 25177 2084426 82.8 | 85.117 % | 491.86/492.02 c | 358907 | 88532 181539 | 57602 26317 2190912 83.3 | 85.117 % | 492.86/493.02 c | 360616 | 88461 181366 | 63362 28016 2372904 84.7 | 85.223 % | 494.26/494.41 c | 363179 | 88461 181366 | 69698 30579 2595725 84.9 | 85.223 % | 496.66/496.83 c | 367023 | 88365 181126 | 76668 34408 2938796 85.4 | 85.377 % | 500.46/500.63 c | 372789 | 88323 181019 | 84335 40042 3502421 87.5 | 85.444 % | 506.76/506.90 c | 381438 | 88314 180996 | 92768 48688 4624924 95.0 | 85.459 % | 519.56/519.79 c | 394412 | 88035 180312 | 102045 61631 6268332 101.7 | 85.889 % | 542.55/542.71 c | 413873 | 88024 180283 | 112250 81003 8855683 109.3 | 85.908 % | 584.94/585.20 c | 443065 | 87888 179969 | 123475 109945 12619418 114.8 | 86.095 % | 675.22/675.47 c | 486854 | 87883 179958 | 135822 153733 18690893 121.6 | 86.102 % | 783.69/783.95 c | 552539 | 87868 179919 | 149405 63192 8854402 140.1 | 86.128 % | 962.15/962.43 c | 651065 | 87791 179732 | 164345 161647 22831147 141.2 | 86.246 % | 1177.39/1177.71 c | 798854 | 87510 179062 | 180780 125894 15975623 126.9 | 86.659 % | 1568.69/1569.13 c | 1020539 | 87402 178792 | 198858 150353 23999887 159.6 | 86.830 % | 1800.04/1800.50 c 1800.04/1800.50 c *** TERMINATED *** 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.04/1800.50 v -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 1800.04/1800.50 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 1800.04/1800.50 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 1800.04/1800.50 v -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 1800.04/1800.50 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1800.04/1800.50 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 1800.04/1800.50 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 1800.04/1800.50 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 1800.04/1800.50 v -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 1800.04/1800.50 v -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 1800.04/1800.50 v -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 1800.04/1800.50 v -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 1800.04/1800.50 v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 1800.04/1800.50 v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 1800.04/1800.50 v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 1800.04/1800.50 v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 1800.04/1800.50 v -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 x806 1800.04/1800.50 v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 1800.04/1800.50 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 1800.04/1800.50 v x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 1800.04/1800.50 v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 1800.04/1800.50 v -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 1800.04/1800.50 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 1800.04/1800.50 v -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 1800.04/1800.50 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 1800.04/1800.50 v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 1800.04/1800.50 v x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 1800.04/1800.50 v -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1800.04/1800.50 v -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1800.04/1800.50 v -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1800.04/1800.50 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512 1800.04/1800.50 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 1800.04/1800.50 v -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1800.04/1800.50 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1800.04/1800.50 v -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 1800.04/1800.50 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1800.04/1800.50 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 1800.04/1800.50 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 1800.04/1800.50 v -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1800.04/1800.50 v -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 1800.04/1800.50 v x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1800.04/1800.50 v -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1800.04/1800.50 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1800.04/1800.50 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1800.04/1800.50 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1800.04/1800.50 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 1800.04/1800.50 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1800.04/1800.50 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 1800.04/1800.50 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1800.04/1800.50 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1800.04/1800.50 v -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 1800.04/1800.50 v -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 1800.04/1800.50 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 1800.04/1800.50 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 1800.04/1800.50 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -45
/tmp/evaluation/353676-1176672593/instance-353676-1176672593.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-353676-1176672593 -o ROOT/results/node55/solver-353676-1176672593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353676-1176672593/minisat+ /tmp/evaluation/353676-1176672593/instance-353676-1176672593.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.91 0.97 0.99 3/64 9948 /proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=1312 CPUtime=0 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 115169350 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 328 147 74 215 0 110 0 [startup+0.0516161 s] /proc/loadavg: 0.91 0.97 0.99 3/64 9948 /proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=1576 CPUtime=0.04 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 255 0 0 0 4 0 0 0 18 0 1 0 115169350 1613824 240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 394 240 74 215 0 176 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1576 [startup+0.10162 s] /proc/loadavg: 0.91 0.97 0.99 3/64 9948 /proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=2120 CPUtime=0.09 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 360 0 0 0 9 0 0 0 18 0 1 0 115169350 2170880 345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 530 345 74 215 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2120 [startup+0.301639 s] /proc/loadavg: 0.91 0.97 0.99 3/64 9948 /proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=3648 CPUtime=0.29 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 774 0 0 0 29 0 0 0 19 0 1 0 115169350 3735552 759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 912 759 74 215 0 694 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3648 [startup+0.701677 s] /proc/loadavg: 0.91 0.97 0.99 3/64 9948 /proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=6920 CPUtime=0.69 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 1587 0 0 0 69 0 0 0 22 0 1 0 115169350 7086080 1572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 1730 1572 74 215 0 1512 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6920 [startup+1.50175 s] /proc/loadavg: 0.91 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1828924/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=13620 CPUtime=1.49 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 3233 0 0 0 148 1 0 0 25 0 1 0 115169350 13946880 3218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 3405 3218 74 215 0 3187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13620 [startup+3.10191 s] /proc/loadavg: 0.92 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1819708/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=30288 CPUtime=3.09 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7249 0 0 0 297 12 0 0 22 0 1 0 115169350 31014912 7052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569710 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 7572 7052 110 215 0 7354 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30288 [startup+6.30121 s] /proc/loadavg: 0.92 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1809212/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=30288 CPUtime=6.29 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7249 0 0 0 616 13 0 0 25 0 1 0 115169350 31014912 7052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 7572 7052 110 215 0 7354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30288 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1809220/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=30288 CPUtime=12.69 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7249 0 0 0 1256 13 0 0 25 0 1 0 115169350 31014912 7052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 7572 7052 110 215 0 7354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30288 [startup+25.501 s] /proc/loadavg: 0.94 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1809092/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=30668 CPUtime=25.48 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7310 0 0 0 2535 13 0 0 25 0 1 0 115169350 31404032 7113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574445 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 7667 7113 110 215 0 7449 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30668 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1794820/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=45356 CPUtime=51.07 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 10968 0 0 0 5091 16 0 0 25 0 1 0 115169350 46444544 10771 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 11339 10771 110 215 0 11121 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45356 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1779716/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=59956 CPUtime=102.26 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 14617 0 0 0 10207 19 0 0 25 0 1 0 115169350 61394944 14420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580212 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 14989 14420 110 215 0 14771 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59956 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1759236/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=80700 CPUtime=162.24 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 19783 0 0 0 16199 25 0 0 25 0 1 0 115169350 82636800 19586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 20175 19586 110 215 0 19957 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 80700 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1741124/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=98372 CPUtime=222.22 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 24223 0 0 0 22192 30 0 0 25 0 1 0 115169350 100732928 24026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 24593 24026 110 215 0 24375 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 98372 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1741124/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=98372 CPUtime=282.21 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 24223 0 0 0 28191 30 0 0 25 0 1 0 115169350 100732928 24026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 24593 24026 110 215 0 24375 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 98372 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1741124/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=98372 CPUtime=342.2 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 24223 0 0 0 34189 31 0 0 25 0 1 0 115169350 100732928 24026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 24593 24026 110 215 0 24375 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 98372 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1726916/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=113004 CPUtime=402.18 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 27811 0 0 0 40183 35 0 0 25 0 1 0 115169350 115716096 27614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 28251 27614 110 215 0 28033 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 113004 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9949 /proc/meminfo: memFree=1713220/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=126572 CPUtime=462.17 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 31227 0 0 0 46179 38 0 0 25 0 1 0 115169350 129609728 31030 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580959 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 31643 31030 110 215 0 31425 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 126572 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1707012/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=132580 CPUtime=522.15 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32751 0 0 0 52175 40 0 0 25 0 1 0 115169350 135761920 32554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 33145 32554 110 215 0 32927 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 132580 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1707012/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=132580 CPUtime=582.14 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32751 0 0 0 58174 40 0 0 25 0 1 0 115169350 135761920 32554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 33145 32554 110 215 0 32927 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 132580 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1706948/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=132580 CPUtime=642.13 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32751 0 0 0 64173 40 0 0 25 0 1 0 115169350 135761920 32554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 33145 32554 110 215 0 32927 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 132580 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1706884/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=132572 CPUtime=882.06 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32752 0 0 0 88166 40 0 0 25 0 1 0 115169350 135753728 32555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 33143 32555 110 215 0 32925 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 132572 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1706884/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=132572 CPUtime=942.04 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32752 0 0 0 94164 40 0 0 25 0 1 0 115169350 135753728 32555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010625 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 33143 32555 110 215 0 32925 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 132572 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1703812/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=135852 CPUtime=1002.03 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 33548 0 0 0 100162 41 0 0 25 0 1 0 115169350 139112448 33351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 33963 33351 110 215 0 33745 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 135852 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1692164/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=147592 CPUtime=1062.02 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 106157 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 36898 36223 110 215 0 36680 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 147592 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1692164/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=147592 CPUtime=1122 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 112155 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 36898 36223 110 215 0 36680 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 147592 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1692164/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=147592 CPUtime=1181.99 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 118154 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 36898 36223 110 215 0 36680 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 147592 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1692100/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=147592 CPUtime=1241.97 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 124152 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 36898 36223 110 215 0 36680 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 147592 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 3/65 9951 /proc/meminfo: memFree=1692100/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=147592 CPUtime=1301.96 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 130151 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 36898 36223 110 215 0 36680 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 147592 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1689924/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=149812 CPUtime=1361.95 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36994 0 0 0 136149 46 0 0 25 0 1 0 115169350 153407488 36797 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 37453 36797 110 215 0 37235 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 149812 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1685444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=154124 CPUtime=1421.93 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 142146 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 38531 37879 110 215 0 38313 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 154124 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1685444/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=154124 CPUtime=1481.92 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 148145 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 38531 37879 110 215 0 38313 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 154124 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1685380/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=154124 CPUtime=1541.9 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 154143 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 38531 37879 110 215 0 38313 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 154124 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1685380/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=154124 CPUtime=1601.88 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 160141 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 38531 37879 110 215 0 38313 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 154124 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1685380/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=154124 CPUtime=1661.87 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 166140 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 38531 37879 110 215 0 38313 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 154124 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1677700/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=162068 CPUtime=1721.86 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 40040 0 0 0 172136 50 0 0 25 0 1 0 115169350 165957632 39843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 40517 39843 110 215 0 40299 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 162068 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1668804/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=170748 CPUtime=1781.84 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 42217 0 0 0 178132 52 0 0 25 0 1 0 115169350 174845952 42020 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 42687 42020 110 215 0 42469 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 170748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1666244/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=173208 CPUtime=1800.04 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 42835 0 0 0 179952 52 0 0 25 0 1 0 115169350 177364992 42638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 43302 42638 110 215 0 43084 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 173208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9951 /proc/meminfo: memFree=1666244/2055920 swapFree=4184748/4192956 [pid=9948] ppid=9946 vsize=173208 CPUtime=1800.04 /proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 42835 0 0 0 179952 52 0 0 25 0 1 0 115169350 177364992 42638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9948/statm: 43302 42638 110 215 0 43084 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 173208 Child status: 10 Real time (s): 1800.54 CPU time (s): 1800.08 CPU user time (s): 1799.52 CPU system time (s): 0.556915 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 173208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.556915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42837 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= 355 involuntary context switches= 2872 runsolver used 1.2838 second user time and 3.82942 second system time The end
Begin job on node55 on Sun Apr 15 21:29:53 UTC 2007 IDJOB= 353676 IDBENCH= 2261 IDSOLVER= 156 FILE ID= node55/353676-1176672593 PBS_JOBID= 4559943 Free space on /tmp= 66559 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/frb50-23-opb/normalized-frb50-23-3.opb COMMAND LINE= /tmp/evaluation/353676-1176672593/minisat+ /tmp/evaluation/353676-1176672593/instance-353676-1176672593.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-353676-1176672593 -o ROOT/results/node55/conversion-353676-1176672593 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353676-1176672593/instance-353676-1176672593.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-353676-1176672593 -o ROOT/results/node55/solver-353676-1176672593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353676-1176672593/minisat+ /tmp/evaluation/353676-1176672593/instance-353676-1176672593.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 29f577041bedcbf69a98210424b233be RANDOM SEED= 242773265 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1837852 kB Buffers: 15464 kB Cached: 121672 kB SwapCached: 2060 kB Active: 57580 kB Inactive: 89952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1837852 kB SwapTotal: 4192956 kB SwapFree: 4184748 kB Dirty: 4240 kB Writeback: 0 kB Mapped: 17444 kB Slab: 56604 kB Committed_AS: 1015692 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= 66559 MiB End job on node55 on Sun Apr 15 21:59:56 UTC 2007