Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -46 | 1800.1 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
MD5SUM | dc857dc123c51e1f53f981679774fda8 |
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.07 |
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 | 80072 |
Number of constraints which are clauses | 80072 |
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.14 c Converting 80072 PB-constraints to clauses... 2.10/2.15 c -- Unit propagations: (none) 2.10/2.15 c -- Detecting intervals from adjacent constraints: (none) 2.10/2.16 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 2.29/2.34 c ==================================[MINISAT+]================================== 2.29/2.34 c | Conflicts | Original | Learnt | Progress | 2.29/2.34 c | | Clauses Literals | Max Clauses Literals LPC | | 2.29/2.34 c ============================================================================== 2.29/2.34 c | 0 | 80072 160144 | 26690 0 0 nan | 0.000 % | 2.29/2.34 c ============================================================================== 2.29/2.34 c [1mFound solution: -37[0m 2.29/2.34 o -37 2.29/2.35 c ---[ 0]---> Sorter-cost:63046 Base: 2.39/2.49 c ==================================[MINISAT+]================================== 2.39/2.49 c | Conflicts | Original | Learnt | Progress | 2.39/2.49 c | | Clauses Literals | Max Clauses Literals LPC | | 2.39/2.49 c ============================================================================== 2.39/2.49 c | 0 | 147988 319466 | 49329 0 0 nan | 0.000 % | 2.69/2.79 c | 100 | 147362 318162 | 54261 77 551 7.2 | 0.736 % | 2.99/3.04 c | 250 | 146841 317054 | 59688 209 2448 11.7 | 1.369 % | 3.30/3.39 c | 475 | 145811 314812 | 65656 398 4382 11.0 | 2.680 % | 3.89/3.96 c | 812 | 144010 310871 | 72222 677 8303 12.3 | 4.995 % | 4.79/4.81 c | 1318 | 141157 304558 | 79444 1060 12573 11.9 | 8.737 % | 5.89/5.96 c | 2077 | 136776 294746 | 87389 1627 19630 12.1 | 14.610 % | 7.59/7.66 c | 3216 | 131215 282210 | 96128 2497 29631 11.9 | 22.142 % | 9.89/9.98 c | 4924 | 123727 265107 | 105741 3779 49504 13.1 | 32.476 % | 11.89/11.91 c ============================================================================== 11.89/11.91 c [1mFound solution: -39[0m 11.89/11.91 o -39 11.89/11.92 c ---[ 0]---> Sorter-cost: 0 Base: 11.89/12.00 c ==================================[MINISAT+]================================== 11.89/12.00 c | Conflicts | Original | Learnt | Progress | 11.89/12.00 c | | Clauses Literals | Max Clauses Literals LPC | | 11.89/12.00 c ============================================================================== 11.89/12.00 c | 6427 | 116683 248991 | 38894 4766 61496 12.9 | 32.476 % | 12.10/12.15 c | 6527 | 116204 247870 | 42783 4831 62291 12.9 | 43.100 % | 12.29/12.30 c | 6677 | 115663 246594 | 47061 4934 63665 12.9 | 43.849 % | 12.49/12.54 c | 6902 | 114831 244655 | 51767 5110 65775 12.9 | 44.973 % | 12.79/12.89 c | 7239 | 113564 241690 | 56944 5351 69474 13.0 | 46.827 % | 13.39/13.47 c | 7746 | 111539 236942 | 62639 5688 74185 13.0 | 49.645 % | 14.19/14.28 c | 8505 | 108258 229196 | 68903 6014 79861 13.3 | 54.380 % | 14.99/15.04 c | 9645 | 106402 224792 | 75793 6813 92319 13.6 | 57.095 % | 16.29/16.30 c | 11355 | 103049 216804 | 83372 7947 113001 14.2 | 62.021 % | 17.99/18.04 c | 13917 | 98383 205681 | 91710 9480 147925 15.6 | 68.784 % | 19.99/20.08 c | 17761 | 94811 197102 | 100881 12081 211420 17.5 | 74.113 % | 22.48/22.59 c | 23527 | 91940 190193 | 110969 16325 396509 24.3 | 78.405 % | 23.68/23.74 c ============================================================================== 23.68/23.74 c [1mFound solution: -40[0m 23.68/23.74 o -40 23.68/23.76 c ---[ 0]---> Sorter-cost: 0 Base: 23.78/23.84 c ==================================[MINISAT+]================================== 23.78/23.84 c | Conflicts | Original | Learnt | Progress | 23.78/23.84 c | | Clauses Literals | Max Clauses Literals LPC | | 23.78/23.84 c ============================================================================== 23.78/23.84 c | 26517 | 91505 189103 | 30501 18993 511336 26.9 | 78.405 % | 23.78/23.89 c | 26617 | 91453 188977 | 33551 19046 513223 26.9 | 79.155 % | 23.88/23.95 c | 26767 | 91403 188856 | 36906 19147 514654 26.9 | 79.230 % | 23.98/24.01 c | 26993 | 91347 188722 | 40596 19332 517806 26.8 | 79.308 % | 24.09/24.11 c | 27330 | 91347 188722 | 44656 19669 531077 27.0 | 79.308 % | 24.19/24.27 c | 27836 | 91347 188722 | 49122 20175 549790 27.3 | 79.308 % | 24.48/24.53 c | 28595 | 91336 188697 | 54034 20920 586573 28.0 | 79.323 % | 24.98/25.03 c | 29734 | 91040 187971 | 59437 21902 671987 30.7 | 79.772 % | 25.58/25.69 c | 31442 | 91021 187926 | 65381 23576 759400 32.2 | 79.800 % | 26.58/26.65 c | 34004 | 90924 187692 | 71919 26012 920916 35.4 | 79.947 % | 28.18/28.23 c ============================================================================== 28.18/28.23 c [1mFound solution: -42[0m 28.18/28.23 o -42 28.18/28.24 c ---[ 0]---> Sorter-cost: 0 Base: 28.28/28.34 c ==================================[MINISAT+]================================== 28.28/28.34 c | Conflicts | Original | Learnt | Progress | 28.28/28.34 c | | Clauses Literals | Max Clauses Literals LPC | | 28.28/28.34 c ============================================================================== 28.28/28.34 c | 37368 | 90426 186513 | 30142 28875 1073664 37.2 | 79.947 % | 28.38/28.45 c | 37468 | 90272 186133 | 33156 28788 1071210 37.2 | 80.912 % | 28.49/28.53 c | 37618 | 90272 186133 | 36471 28938 1078094 37.3 | 80.912 % | 28.68/28.72 c | 37845 | 90055 185604 | 40119 28990 1084507 37.4 | 81.229 % | 28.98/29.03 c | 38182 | 89765 184919 | 44130 29091 1093267 37.6 | 81.654 % | 29.28/29.31 c | 38690 | 89677 184699 | 48543 29419 1114490 37.9 | 81.794 % | 29.59/29.66 c | 39449 | 89637 184597 | 53398 30143 1175417 39.0 | 81.859 % | 30.08/30.17 c | 40590 | 89554 184394 | 58738 31209 1251534 40.1 | 81.988 % | 30.98/31.05 c | 42298 | 89419 184073 | 64612 32883 1358367 41.3 | 82.189 % | 32.38/32.43 c | 44861 | 89408 184048 | 71073 35430 1659938 46.9 | 82.204 % | 34.48/34.55 c | 48706 | 89194 183528 | 78180 38940 1937517 49.8 | 82.527 % | 38.08/38.12 c | 54473 | 89111 183331 | 85998 44007 2548488 57.9 | 82.650 % | 43.98/44.03 c | 63122 | 88944 182914 | 94598 52476 3364323 64.1 | 82.920 % | 55.47/55.56 c | 76097 | 88814 182580 | 104058 65300 4943713 75.7 | 83.140 % | 57.27/57.37 c ============================================================================== 57.27/57.37 c [1mFound solution: -43[0m 57.27/57.37 o -43 57.27/57.38 c ---[ 0]---> Sorter-cost: 0 Base: 57.47/57.53 c ==================================[MINISAT+]================================== 57.47/57.53 c | Conflicts | Original | Learnt | Progress | 57.47/57.53 c | | Clauses Literals | Max Clauses Literals LPC | | 57.47/57.53 c ============================================================================== 57.47/57.53 c | 77862 | 88826 182643 | 29608 67005 5167051 77.1 | 83.140 % | 57.67/57.78 c | 77964 | 88784 182545 | 32568 67090 5171321 77.1 | 83.214 % | 57.87/57.92 c | 78114 | 88784 182545 | 35825 67240 5180522 77.0 | 83.214 % | 58.18/58.20 c | 78339 | 88743 182450 | 39408 67391 5196716 77.1 | 83.270 % | 58.47/58.59 c | 78678 | 88708 182365 | 43349 67686 5220332 77.1 | 83.324 % | 59.07/59.17 c | 79184 | 88704 182355 | 47683 68174 5263297 77.2 | 83.330 % | 60.17/60.23 c | 79943 | 88664 182255 | 52452 68714 5301058 77.1 | 83.395 % | 61.38/61.47 c | 81082 | 88585 182068 | 57697 69580 5394262 77.5 | 83.511 % | 63.18/63.22 c | 82790 | 88519 181910 | 63467 71223 5554743 78.0 | 83.610 % | 65.67/65.77 c | 85352 | 88517 181906 | 69814 73749 5848295 79.3 | 83.612 % | 70.28/70.36 c | 89198 | 88366 181535 | 76795 77183 6388766 82.8 | 83.847 % | 77.77/77.88 c | 94964 | 88258 181285 | 84475 82844 7485378 90.4 | 83.993 % | 81.57/81.62 c ============================================================================== 81.57/81.62 c [1mFound solution: -44[0m 81.57/81.62 o -44 81.57/81.64 c ---[ 0]---> Sorter-cost: 0 Base: 81.77/81.82 c ==================================[MINISAT+]================================== 81.77/81.82 c | Conflicts | Original | Learnt | Progress | 81.77/81.82 c | | Clauses Literals | Max Clauses Literals LPC | | 81.77/81.82 c ============================================================================== 81.77/81.82 c | 98263 | 88158 181016 | 29386 85817 7763842 90.5 | 83.993 % | 81.97/82.07 c | 98364 | 88158 181016 | 32324 22455 2013545 89.7 | 84.158 % | 82.07/82.15 c | 98514 | 88158 181016 | 35557 22605 2027056 89.7 | 84.158 % | 82.17/82.23 c | 98740 | 88158 181016 | 39112 22831 2038443 89.3 | 84.158 % | 82.38/82.42 c | 99077 | 88158 181016 | 43024 23168 2078602 89.7 | 84.158 % | 82.57/82.69 c | 99583 | 88158 181016 | 47326 23674 2126008 89.8 | 84.158 % | 83.07/83.11 c | 100342 | 88158 181016 | 52059 24433 2186274 89.5 | 84.158 % | 83.67/83.75 c | 101484 | 88150 180996 | 57265 25550 2295749 89.9 | 84.170 % | 84.77/84.85 c | 103195 | 88096 180868 | 62991 27218 2436552 89.5 | 84.250 % | 86.37/86.42 c | 105757 | 88096 180868 | 69290 29780 2702781 90.8 | 84.250 % | 88.67/88.73 c | 109601 | 88046 180746 | 76219 33602 3048134 90.7 | 84.328 % | 93.07/93.20 c | 115367 | 88046 180746 | 83841 39368 3668323 93.2 | 84.328 % | 99.87/99.90 c | 124016 | 88046 180746 | 92225 48017 4913028 102.3 | 84.328 % | 113.06/113.11 c | 136990 | 87949 180511 | 101448 60968 6988775 114.6 | 84.476 % | 135.86/135.91 c | 156451 | 87902 180392 | 111593 80363 9395711 116.9 | 84.553 % | 149.65/149.76 c ============================================================================== 149.65/149.76 c [1mFound solution: -45[0m 149.65/149.76 o -45 149.65/149.78 c ---[ 0]---> Sorter-cost: 0 Base: 149.85/149.99 c ==================================[MINISAT+]================================== 149.85/149.99 c | Conflicts | Original | Learnt | Progress | 149.85/149.99 c | | Clauses Literals | Max Clauses Literals LPC | | 149.85/149.99 c ============================================================================== 149.85/149.99 c | 166657 | 87834 180240 | 29278 90507 10717436 118.4 | 84.553 % | 150.15/150.26 c | 166757 | 87834 180240 | 32205 23788 1691897 71.1 | 84.668 % | 150.25/150.37 c | 166907 | 87789 180133 | 35426 23933 1702187 71.1 | 84.735 % | 150.45/150.50 c | 167132 | 87789 180133 | 38969 24158 1720163 71.2 | 84.735 % | 150.66/150.72 c | 167470 | 87789 180133 | 42865 24496 1758488 71.8 | 84.735 % | 151.05/151.18 c | 167976 | 87628 179729 | 47152 24984 1795588 71.9 | 84.980 % | 151.66/151.72 c | 168736 | 87561 179560 | 51867 25707 1847965 71.9 | 85.083 % | 152.35/152.45 c | 169875 | 87561 179560 | 57054 26846 1997820 74.4 | 85.083 % | 153.35/153.42 c | 171583 | 87555 179546 | 62759 28551 2143274 75.1 | 85.092 % | 154.75/154.80 c | 174145 | 87543 179518 | 69035 31109 2357991 75.8 | 85.109 % | 157.55/157.62 c | 177989 | 87543 179518 | 75939 34953 2874390 82.2 | 85.109 % | 162.05/162.10 c | 183757 | 87535 179500 | 83533 40698 3596006 88.4 | 85.120 % | 170.65/170.79 c | 192406 | 87535 179500 | 91886 49347 4807829 97.4 | 85.120 % | 183.55/183.65 c | 205380 | 87464 179337 | 101075 62280 6436341 103.3 | 85.217 % | 207.94/208.08 c | 224841 | 87464 179337 | 111183 81741 9073077 111.0 | 85.217 % | 257.13/257.21 c | 254033 | 87464 179337 | 122301 110933 13542456 122.1 | 85.217 % | 349.01/349.17 c | 297822 | 87384 179141 | 134531 154625 20442372 132.2 | 85.339 % | 440.29/440.48 c | 363506 | 87216 178745 | 147984 67514 7609443 112.7 | 85.584 % | 505.07/505.25 c ============================================================================== 505.07/505.25 c [1mFound solution: -46[0m 505.07/505.25 o -46 505.07/505.27 c ---[ 0]---> Sorter-cost: 0 Base: 505.37/505.51 c ==================================[MINISAT+]================================== 505.37/505.51 c | Conflicts | Original | Learnt | Progress | 505.37/505.51 c | | Clauses Literals | Max Clauses Literals LPC | | 505.37/505.51 c ============================================================================== 505.37/505.52 c | 411751 | 87018 178221 | 29006 115674 13737610 118.8 | 85.584 % | 505.87/506.08 c | 411851 | 87018 178221 | 31906 21029 1773539 84.3 | 85.899 % | 505.97/506.15 c | 412001 | 87018 178221 | 35097 21179 1780724 84.1 | 85.899 % | 506.07/506.26 c | 412226 | 87018 178221 | 38606 21404 1796727 83.9 | 85.899 % | 506.27/506.42 c | 412563 | 87018 178221 | 42467 21741 1823239 83.9 | 85.899 % | 506.47/506.67 c | 413069 | 87018 178221 | 46714 22247 1857821 83.5 | 85.899 % | 506.97/507.15 c | 413829 | 86958 178068 | 51385 22992 1915092 83.3 | 85.996 % | 507.47/507.68 c | 414968 | 86958 178068 | 56524 24131 1997649 82.8 | 85.996 % | 508.47/508.60 c | 416677 | 86958 178068 | 62176 25840 2205825 85.4 | 85.996 % | 509.77/509.91 c | 419239 | 86958 178068 | 68394 28402 2468274 86.9 | 85.996 % | 512.07/512.23 c | 423084 | 86894 177916 | 75234 32224 2878031 89.3 | 86.088 % | 514.76/514.94 c | 428850 | 86849 177808 | 82757 37983 3312211 87.2 | 86.155 % | 520.86/521.03 c | 437499 | 86843 177792 | 91033 46629 4208316 90.3 | 86.166 % | 532.86/533.00 c | 450473 | 86832 177765 | 100136 59597 5749774 96.5 | 86.183 % | 553.86/554.00 c | 469936 | 86832 177765 | 110150 79060 8000314 101.2 | 86.183 % | 594.75/594.93 c | 499128 | 86828 177757 | 121165 108248 11033862 101.9 | 86.187 % | 670.63/670.87 c | 542917 | 86779 177640 | 133281 151704 16519856 108.9 | 86.260 % | 758.60/758.83 c | 608602 | 86727 177520 | 146609 67402 7115433 105.6 | 86.333 % | 912.57/912.86 c | 707130 | 86677 177394 | 161270 165918 18275033 110.1 | 86.415 % | 1140.82/1141.12 c | 854921 | 86607 177225 | 177398 137161 14829842 108.1 | 86.520 % | 1555.41/1555.88 c | 1076605 | 86592 177190 | 195137 163699 11940908 72.9 | 86.542 % | 1800.06/1800.50 c 1800.06/1800.50 c *** TERMINATED *** 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 v -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.06/1800.50 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1800.06/1800.50 v -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1800.06/1800.50 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1800.06/1800.50 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.06/1800.50 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1800.06/1800.50 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 1800.06/1800.50 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1800.06/1800.50 v x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 1800.06/1800.50 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 1800.06/1800.50 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 1800.06/1800.50 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 1800.06/1800.50 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1800.06/1800.50 v x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1800.06/1800.50 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870 1800.06/1800.50 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 1800.06/1800.50 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 1800.06/1800.50 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1800.06/1800.50 v -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 1800.06/1800.50 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 1800.06/1800.50 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 1800.06/1800.50 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 1800.06/1800.50 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 -x702 1800.06/1800.50 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1800.06/1800.50 v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 1800.06/1800.50 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1800.06/1800.50 v -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1800.06/1800.50 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 1800.06/1800.50 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 1800.06/1800.50 v -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1800.06/1800.50 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 1800.06/1800.50 v -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1800.06/1800.50 v x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1800.06/1800.50 v -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1800.06/1800.50 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1800.06/1800.50 v -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 1800.06/1800.50 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1800.06/1800.50 v -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 1800.06/1800.50 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1800.06/1800.50 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1800.06/1800.50 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 1800.06/1800.50 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1800.06/1800.50 v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 1800.06/1800.50 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1800.06/1800.50 v -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1800.06/1800.50 v x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 1800.06/1800.50 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 1800.06/1800.50 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1800.06/1800.50 v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 1800.06/1800.50 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1800.06/1800.50 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 1800.06/1800.50 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 1800.06/1800.50 v -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 1800.06/1800.50 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 1800.06/1800.50 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 1800.06/1800.50 v -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -46
/tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-353663-1176672258 -o ROOT/results/node29/solver-353663-1176672258 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353663-1176672258/minisat+ /tmp/evaluation/353663-1176672258/instance-353663-1176672258.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: 1.12 1.07 1.02 2/77 1022 /proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=1312 CPUtime=0 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 115141551 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 328 147 74 215 0 110 0 [startup+0.0301931 s] /proc/loadavg: 1.12 1.07 1.02 2/77 1022 /proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=1444 CPUtime=0.02 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 210 0 0 0 2 0 0 0 18 0 1 0 115141551 1478656 195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 361 195 74 215 0 143 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1444 [startup+0.101197 s] /proc/loadavg: 1.12 1.07 1.02 2/77 1022 /proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=2120 CPUtime=0.09 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 360 0 0 0 9 0 0 0 18 0 1 0 115141551 2170880 345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 530 345 74 215 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2120 [startup+0.30121 s] /proc/loadavg: 1.12 1.07 1.02 2/77 1022 /proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=3648 CPUtime=0.29 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 774 0 0 0 29 0 0 0 19 0 1 0 115141551 3735552 759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 912 759 74 215 0 694 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3648 [startup+0.701234 s] /proc/loadavg: 1.12 1.07 1.02 2/77 1022 /proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=7056 CPUtime=0.69 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 1595 0 0 0 69 0 0 0 23 0 1 0 115141551 7225344 1580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 1764 1580 74 215 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7056 [startup+1.50128 s] /proc/loadavg: 1.12 1.07 1.02 2/78 1023 /proc/meminfo: memFree=1588608/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=13620 CPUtime=1.49 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 3260 0 0 0 148 1 0 0 25 0 1 0 115141551 13946880 3245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 3405 3245 74 215 0 3187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13620 [startup+3.10138 s] /proc/loadavg: 1.11 1.07 1.02 2/78 1023 /proc/meminfo: memFree=1579264/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=30036 CPUtime=3.09 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7182 0 0 0 295 14 0 0 24 0 1 0 115141551 30756864 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582019 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 7509 6986 110 215 0 7291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30036 [startup+6.30158 s] /proc/loadavg: 1.11 1.07 1.02 2/78 1023 /proc/meminfo: memFree=1569408/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=30036 CPUtime=6.29 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7182 0 0 0 615 14 0 0 25 0 1 0 115141551 30756864 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 7509 6986 110 215 0 7291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30036 [startup+12.702 s] /proc/loadavg: 1.09 1.07 1.01 3/78 1023 /proc/meminfo: memFree=1569152/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=30416 CPUtime=12.69 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7243 0 0 0 1255 14 0 0 25 0 1 0 115141551 31145984 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 7604 7047 110 215 0 7386 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30416 [startup+25.5018 s] /proc/loadavg: 1.08 1.06 1.01 2/78 1023 /proc/meminfo: memFree=1569216/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=30416 CPUtime=25.48 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7243 0 0 0 2534 14 0 0 25 0 1 0 115141551 31145984 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 7604 7047 110 215 0 7386 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30416 [startup+51.1014 s] /proc/loadavg: 1.05 1.06 1.01 2/78 1023 /proc/meminfo: memFree=1556864/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=43388 CPUtime=51.07 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 10482 0 0 0 5091 16 0 0 25 0 1 0 115141551 44429312 10286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 10847 10286 110 215 0 10629 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43388 [startup+102.306 s] /proc/loadavg: 1.02 1.05 1.01 2/78 1023 /proc/meminfo: memFree=1541312/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=58352 CPUtime=102.27 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 14220 0 0 0 10206 21 0 0 25 0 1 0 115141551 59752448 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 14588 14024 110 215 0 14370 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 58352 [startup+162.301 s] /proc/loadavg: 1.01 1.04 1.00 2/78 1023 /proc/meminfo: memFree=1528832/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=70816 CPUtime=162.25 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 17340 0 0 0 16200 25 0 0 25 0 1 0 115141551 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 70816 [startup+222.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 1023 /proc/meminfo: memFree=1528768/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=70816 CPUtime=222.24 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 17341 0 0 0 22198 26 0 0 25 0 1 0 115141551 72515584 17145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 17704 17145 110 215 0 17486 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 70816 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1023 /proc/meminfo: memFree=1507648/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=92244 CPUtime=282.23 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 22679 0 0 0 28192 31 0 0 25 0 1 0 115141551 94457856 22483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 23061 22483 110 215 0 22843 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 92244 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1023 /proc/meminfo: memFree=1489536/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=110348 CPUtime=342.21 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 27158 0 0 0 34185 36 0 0 25 0 1 0 115141551 112996352 26962 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 27587 26962 110 215 0 27369 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 110348 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1023 /proc/meminfo: memFree=1475648/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124056 CPUtime=402.19 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 40180 39 0 0 25 0 1 0 115141551 127033344 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31014 30411 110 215 0 30796 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 124056 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1023 /proc/meminfo: memFree=1475648/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124056 CPUtime=462.18 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 46178 40 0 0 25 0 1 0 115141551 127033344 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31014 30411 110 215 0 30796 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 124056 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1023 /proc/meminfo: memFree=1475648/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124036 CPUtime=522.16 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 52176 40 0 0 25 0 1 0 115141551 127012864 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574553 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31009 30411 110 215 0 30791 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 124036 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1023 /proc/meminfo: memFree=1475584/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124036 CPUtime=582.15 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 58174 41 0 0 25 0 1 0 115141551 127012864 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31009 30411 110 215 0 30791 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 124036 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1023 /proc/meminfo: memFree=1475584/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124036 CPUtime=642.14 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 64172 42 0 0 25 0 1 0 115141551 127012864 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31009 30411 110 215 0 30791 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 124036 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 1025 /proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=882.07 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30609 0 0 0 88164 43 0 0 25 0 1 0 115141551 127000576 30413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30413 110 215 0 30788 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 124024 [startup+942.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 1025 /proc/meminfo: memFree=1475456/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=942.06 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30614 0 0 0 94162 44 0 0 25 0 1 0 115141551 127000576 30418 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30418 110 215 0 30788 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 124024 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=1002.04 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 100160 44 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30440 110 215 0 30788 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 124024 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=1062.03 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 106158 45 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30440 110 215 0 30788 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 124024 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=1122.02 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 112156 46 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30440 110 215 0 30788 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 124024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1475328/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=1182 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 118154 46 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30440 110 215 0 30788 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 124024 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1475328/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=124024 CPUtime=1241.99 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 124152 47 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31006 30440 110 215 0 30788 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 124024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1474112/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=125208 CPUtime=1301.98 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30922 0 0 0 130151 47 0 0 25 0 1 0 115141551 128212992 30726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 31302 30726 110 215 0 31084 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 125208 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468736/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=130856 CPUtime=1361.97 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 136147 50 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32714 32067 110 215 0 32496 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 130856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=130856 CPUtime=1421.95 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 142145 50 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32714 32067 110 215 0 32496 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 130856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=130856 CPUtime=1481.94 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 148143 51 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32714 32067 110 215 0 32496 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 130856 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468736/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=130856 CPUtime=1541.92 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 154141 51 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32714 32067 110 215 0 32496 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 130856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=131092 CPUtime=1601.91 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32285 0 0 0 160139 52 0 0 25 0 1 0 115141551 134238208 32089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32773 32089 110 215 0 32555 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 131092 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=131092 CPUtime=1661.89 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32285 0 0 0 166137 52 0 0 25 0 1 0 115141551 134238208 32089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32773 32089 110 215 0 32555 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 131092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468608/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=131092 CPUtime=1721.88 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32302 0 0 0 172135 53 0 0 25 0 1 0 115141551 134238208 32106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32773 32106 110 215 0 32555 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 131092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468544/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=131092 CPUtime=1781.86 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32303 0 0 0 178133 53 0 0 25 0 1 0 115141551 134238208 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32773 32107 110 215 0 32555 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 131092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468608/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=131092 CPUtime=1800.06 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32303 0 0 0 179953 53 0 0 25 0 1 0 115141551 134238208 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32773 32107 110 215 0 32555 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 131092 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: 1.00 1.00 1.00 2/78 1025 /proc/meminfo: memFree=1468608/2055920 swapFree=4190416/4192956 [pid=1022] ppid=1020 vsize=131092 CPUtime=1800.06 /proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32303 0 0 0 179953 53 0 0 25 0 1 0 115141551 134238208 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1022/statm: 32773 32107 110 215 0 32555 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 131092 Child status: 10 Real time (s): 1800.53 CPU time (s): 1800.1 CPU user time (s): 1799.54 CPU system time (s): 0.558915 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 131092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.558915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32305 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= 201 involuntary context switches= 35919 runsolver used 2.20866 second user time and 4.42933 second system time The end
Begin job on node29 on Sun Apr 15 21:24:18 UTC 2007 IDJOB= 353663 IDBENCH= 2260 IDSOLVER= 156 FILE ID= node29/353663-1176672258 PBS_JOBID= 4559951 Free space on /tmp= 66560 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb COMMAND LINE= /tmp/evaluation/353663-1176672258/minisat+ /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-353663-1176672258 -o ROOT/results/node29/conversion-353663-1176672258 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-353663-1176672258 -o ROOT/results/node29/solver-353663-1176672258 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353663-1176672258/minisat+ /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED= 542175726 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1597600 kB Buffers: 82464 kB Cached: 232152 kB SwapCached: 496 kB Active: 211220 kB Inactive: 160864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1597600 kB SwapTotal: 4192956 kB SwapFree: 4190416 kB Dirty: 4288 kB Writeback: 0 kB Mapped: 73540 kB Slab: 71696 kB Committed_AS: 1958380 kB PageTables: 1876 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node29 on Sun Apr 15 21:54:21 UTC 2007