Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -53 | 1800.12 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | f7a936a02ddf18c17dc27b7b53733ab1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
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 | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
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 | 1534 |
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 | 1534 |
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 | 1534 |
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... 3.39/3.41 c Converting 126163 PB-constraints to clauses... 3.39/3.42 c -- Unit propagations: (none) 3.39/3.42 c -- Detecting intervals from adjacent constraints: (none) 3.39/3.43 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.69/3.71 c ==================================[MINISAT+]================================== 3.69/3.71 c | Conflicts | Original | Learnt | Progress | 3.69/3.71 c | | Clauses Literals | Max Clauses Literals LPC | | 3.69/3.71 c ============================================================================== 3.69/3.71 c | 0 | 126163 252326 | 42054 0 0 nan | 0.000 % | 3.69/3.71 c ============================================================================== 3.69/3.71 c [1mFound solution: -42[0m 3.69/3.71 o -42 3.69/3.73 c ---[ 0]---> Sorter-cost:85954 Base: 3.89/3.94 c ==================================[MINISAT+]================================== 3.89/3.94 c | Conflicts | Original | Learnt | Progress | 3.89/3.94 c | | Clauses Literals | Max Clauses Literals LPC | | 3.89/3.94 c ============================================================================== 3.89/3.94 c | 0 | 216902 465187 | 72300 0 0 nan | 0.000 % | 4.19/4.20 c | 100 | 216378 464089 | 79530 71 1045 14.7 | 0.476 % | 4.59/4.66 c | 250 | 215666 462590 | 87483 197 2307 11.7 | 1.110 % | 4.99/5.09 c | 475 | 214693 460491 | 96231 382 4569 12.0 | 2.022 % | 5.89/5.98 c | 812 | 212890 456566 | 105854 654 7279 11.1 | 3.734 % | 7.08/7.17 c | 1318 | 210422 451160 | 116439 1060 10851 10.2 | 6.157 % | 8.88/8.90 c | 2077 | 206393 442217 | 128083 1635 16954 10.4 | 10.063 % | 11.38/11.45 c | 3216 | 198975 425552 | 140892 2422 25813 10.7 | 17.559 % | 14.78/14.83 c | 4924 | 190640 406622 | 154981 3664 40208 11.0 | 26.087 % | 18.88/18.93 c | 7486 | 179470 381025 | 170479 5477 62777 11.5 | 37.698 % | 23.88/24.00 c | 11330 | 166692 351158 | 187527 8259 96088 11.6 | 51.142 % | 27.08/27.17 c ============================================================================== 27.08/27.17 c [1mFound solution: -44[0m 27.08/27.17 o -44 27.08/27.19 c ---[ 0]---> Sorter-cost: 0 Base: 27.18/27.29 c ==================================[MINISAT+]================================== 27.18/27.29 c | Conflicts | Original | Learnt | Progress | 27.18/27.29 c | | Clauses Literals | Max Clauses Literals LPC | | 27.18/27.29 c ============================================================================== 27.18/27.29 c | 14201 | 159762 334804 | 53254 10383 124904 12.0 | 51.142 % | 27.28/27.38 c | 14301 | 159518 334234 | 58579 10463 126556 12.1 | 59.111 % | 27.48/27.51 c | 14451 | 159171 333401 | 64437 10595 128502 12.1 | 59.497 % | 27.78/27.80 c | 14676 | 158480 331759 | 70881 10678 129458 12.1 | 60.258 % | 27.98/28.07 c | 15013 | 158174 331032 | 77969 10915 133832 12.3 | 60.595 % | 28.48/28.50 c | 15520 | 157341 329073 | 85766 11321 139331 12.3 | 61.505 % | 29.28/29.33 c | 16280 | 155349 324351 | 94342 11703 145801 12.5 | 63.687 % | 30.18/30.20 c | 17419 | 153760 320544 | 103776 12549 161675 12.9 | 65.453 % | 31.18/31.23 c | 19127 | 152453 317467 | 114154 13881 182702 13.2 | 66.863 % | 33.17/33.20 c | 21689 | 148743 308640 | 125570 15567 217965 14.0 | 70.881 % | 35.27/35.33 c ============================================================================== 35.27/35.33 c [1mFound solution: -45[0m 35.27/35.33 o -45 35.27/35.35 c ---[ 0]---> Sorter-cost: 0 Base: 35.37/35.46 c ==================================[MINISAT+]================================== 35.37/35.46 c | Conflicts | Original | Learnt | Progress | 35.37/35.46 c | | Clauses Literals | Max Clauses Literals LPC | | 35.37/35.46 c ============================================================================== 35.37/35.46 c | 24382 | 145456 300817 | 48485 17375 249367 14.4 | 70.881 % | 35.47/35.53 c | 24483 | 145363 300588 | 53333 17440 251246 14.4 | 74.648 % | 35.57/35.60 c | 24633 | 145288 300407 | 58666 17551 251739 14.3 | 74.732 % | 35.77/35.82 c | 24858 | 144991 299696 | 64533 17581 253807 14.4 | 75.065 % | 35.98/36.09 c | 25195 | 144671 298897 | 70986 17767 260713 14.7 | 75.446 % | 36.48/36.54 c | 25702 | 144071 297413 | 78085 18002 268321 14.9 | 76.147 % | 37.08/37.13 c | 26461 | 143083 295047 | 85894 18367 278416 15.2 | 77.238 % | 37.88/37.93 c | 27600 | 142217 292945 | 94483 19129 300433 15.7 | 78.224 % | 38.88/38.95 c | 29308 | 141140 290360 | 103931 20436 345754 16.9 | 79.432 % | 39.78/39.82 c ============================================================================== 39.78/39.82 c [1mFound solution: -46[0m 39.78/39.82 o -46 39.78/39.85 c ---[ 0]---> Sorter-cost: 0 Base: 39.88/39.96 c ==================================[MINISAT+]================================== 39.88/39.96 c | Conflicts | Original | Learnt | Progress | 39.88/39.96 c | | Clauses Literals | Max Clauses Literals LPC | | 39.88/39.96 c ============================================================================== 39.88/39.96 c | 30862 | 140267 288181 | 46755 21633 397822 18.4 | 79.432 % | 39.98/40.00 c | 30963 | 140267 288181 | 51430 21734 399242 18.4 | 80.416 % | 39.98/40.09 c | 31114 | 140168 287935 | 56573 21806 400090 18.3 | 80.529 % | 40.08/40.18 c | 31339 | 140168 287935 | 62230 22031 412550 18.7 | 80.529 % | 40.38/40.43 c | 31676 | 140023 287590 | 68453 22256 418337 18.8 | 80.689 % | 40.48/40.59 c | 32183 | 140023 287590 | 75299 22763 438437 19.3 | 80.689 % | 40.88/40.91 c ============================================================================== 40.88/40.91 c [1mFound solution: -47[0m 40.88/40.91 o -47 40.88/40.93 c ---[ 0]---> Sorter-cost: 0 Base: 40.98/41.05 c ==================================[MINISAT+]================================== 40.98/41.05 c | Conflicts | Original | Learnt | Progress | 40.98/41.05 c | | Clauses Literals | Max Clauses Literals LPC | | 40.98/41.05 c ============================================================================== 40.98/41.05 c | 32937 | 140085 287791 | 46695 23512 471006 20.0 | 80.689 % | 40.98/41.09 c | 33037 | 140085 287791 | 51364 23612 474023 20.1 | 80.668 % | 41.18/41.22 c | 33188 | 139985 287565 | 56500 23703 476332 20.1 | 80.768 % | 41.28/41.33 c | 33413 | 139925 287414 | 62151 23901 482389 20.2 | 80.840 % | 41.38/41.47 c | 33750 | 139819 287160 | 68366 24223 491372 20.3 | 80.958 % | 41.68/41.80 c | 34257 | 139501 286378 | 75202 24523 504115 20.6 | 81.320 % | 42.08/42.19 c | 35016 | 139221 285698 | 82723 25080 519407 20.7 | 81.634 % | 42.58/42.69 c | 36155 | 138949 285015 | 90995 26080 578152 22.2 | 81.958 % | 43.38/43.43 c | 37863 | 138937 284987 | 100094 27753 670991 24.2 | 81.971 % | 44.78/44.85 c | 40425 | 138358 283576 | 110104 29587 808674 27.3 | 82.622 % | 45.48/45.54 c ============================================================================== 45.48/45.54 c [1mFound solution: -49[0m 45.48/45.54 o -49 45.48/45.56 c ---[ 0]---> Sorter-cost: 0 Base: 45.58/45.68 c ==================================[MINISAT+]================================== 45.58/45.68 c | Conflicts | Original | Learnt | Progress | 45.58/45.68 c | | Clauses Literals | Max Clauses Literals LPC | | 45.58/45.68 c ============================================================================== 45.58/45.68 c | 41630 | 138147 283085 | 46049 30685 883161 28.8 | 82.622 % | 45.68/45.78 c | 41730 | 138092 282958 | 50653 30763 884351 28.7 | 82.933 % | 45.88/45.97 c | 41880 | 137941 282583 | 55719 30835 887360 28.8 | 83.109 % | 45.98/46.06 c | 42105 | 137901 282493 | 61291 31052 893326 28.8 | 83.149 % | 46.18/46.23 c | 42442 | 137895 282479 | 67420 31375 909461 29.0 | 83.155 % | 46.38/46.48 c | 42948 | 137873 282425 | 74162 31874 947781 29.7 | 83.181 % | 46.68/46.76 c | 43707 | 137873 282425 | 81578 32633 990787 30.4 | 83.181 % | 47.28/47.30 c | 44846 | 137866 282408 | 89736 33764 1042346 30.9 | 83.189 % | 48.18/48.29 c | 46554 | 137539 281618 | 98710 35123 1108640 31.6 | 83.556 % | 49.68/49.75 c | 49116 | 137311 281072 | 108581 37144 1292520 34.8 | 83.810 % | 51.78/51.89 c | 52960 | 137157 280708 | 119439 40856 1598714 39.1 | 83.978 % | 55.68/55.79 c | 58727 | 136513 279109 | 131383 45613 1978665 43.4 | 84.730 % | 59.28/59.30 c ============================================================================== 59.28/59.30 c [1mFound solution: -50[0m 59.28/59.30 o -50 59.28/59.33 c ---[ 0]---> Sorter-cost: 0 Base: 59.38/59.47 c ==================================[MINISAT+]================================== 59.38/59.47 c | Conflicts | Original | Learnt | Progress | 59.38/59.47 c | | Clauses Literals | Max Clauses Literals LPC | | 59.38/59.47 c ============================================================================== 59.38/59.47 c | 64383 | 136428 278853 | 45476 50690 2426715 47.9 | 84.730 % | 59.57/59.62 c | 64483 | 136372 278721 | 50023 50704 2426821 47.9 | 84.888 % | 59.67/59.73 c | 64633 | 136372 278721 | 55025 50854 2434364 47.9 | 84.888 % | 59.87/59.90 c | 64858 | 136372 278721 | 60528 51079 2451936 48.0 | 84.888 % | 60.07/60.18 c | 65195 | 136354 278679 | 66581 51330 2465308 48.0 | 84.907 % | 60.38/60.49 c | 65701 | 136354 278679 | 73239 51836 2497084 48.2 | 84.907 % | 60.87/61.00 c | 66460 | 136315 278575 | 80563 52539 2537278 48.3 | 84.952 % | 61.67/61.79 c | 67599 | 136315 278575 | 88619 53678 2687895 50.1 | 84.952 % | 62.97/63.09 c | 69307 | 136315 278575 | 97481 55386 2882870 52.1 | 84.952 % | 65.17/65.28 c | 71869 | 136315 278575 | 107230 57948 3297295 56.9 | 84.952 % | 67.37/67.46 c ============================================================================== 67.37/67.46 c [1mFound solution: -51[0m 67.37/67.46 o -51 67.37/67.49 c ---[ 0]---> Sorter-cost: 0 Base: 67.56/67.65 c ==================================[MINISAT+]================================== 67.56/67.65 c | Conflicts | Original | Learnt | Progress | 67.56/67.65 c | | Clauses Literals | Max Clauses Literals LPC | | 67.56/67.65 c ============================================================================== 67.56/67.65 c | 74103 | 136106 278085 | 45368 59809 3485256 58.3 | 84.952 % | 67.66/67.73 c | 74203 | 136106 278085 | 49904 59909 3491775 58.3 | 85.223 % | 67.76/67.89 c | 74353 | 136063 277970 | 54895 59670 3485850 58.4 | 85.278 % | 67.96/68.08 c | 74578 | 136063 277970 | 60384 59895 3498842 58.4 | 85.278 % | 68.26/68.39 c | 74916 | 136058 277957 | 66423 60226 3530651 58.6 | 85.284 % | 68.96/69.06 c | 75422 | 135994 277802 | 73065 60597 3563296 58.8 | 85.355 % | 69.76/69.80 c | 76181 | 135950 277698 | 80372 61179 3620235 59.2 | 85.403 % | 70.66/70.78 c | 77320 | 135945 277687 | 88409 62293 3702636 59.4 | 85.408 % | 72.17/72.29 c | 79028 | 135928 277644 | 97250 63981 3892624 60.8 | 85.429 % | 74.97/75.00 c | 81590 | 135691 277063 | 106975 65768 4131868 62.8 | 85.702 % | 78.56/78.66 c | 85436 | 135590 276824 | 117672 69157 4565212 66.0 | 85.813 % | 84.37/84.49 c | 91202 | 135583 276807 | 129440 74866 5415516 72.3 | 85.821 % | 93.67/93.75 c | 99851 | 135540 276704 | 142384 83045 6414369 77.2 | 85.869 % | 109.76/109.81 c | 112826 | 135455 276509 | 156622 95875 8314958 86.7 | 85.957 % | 134.36/134.47 c ============================================================================== 134.36/134.47 c [1mFound solution: -52[0m 134.36/134.47 o -52 134.46/134.50 c ---[ 0]---> Sorter-cost: 0 Base: 134.66/134.76 c ==================================[MINISAT+]================================== 134.66/134.76 c | Conflicts | Original | Learnt | Progress | 134.66/134.76 c | | Clauses Literals | Max Clauses Literals LPC | | 134.66/134.76 c ============================================================================== 134.66/134.76 c | 127962 | 135394 276336 | 45131 109446 11574582 105.8 | 85.957 % | 134.96/135.01 c | 128062 | 135394 276336 | 49644 22310 3255192 145.9 | 86.028 % | 135.16/135.25 c | 128212 | 135295 276100 | 54608 22395 3259721 145.6 | 86.136 % | 135.36/135.41 c | 128437 | 135290 276089 | 60069 22610 3275212 144.9 | 86.141 % | 135.56/135.66 c | 128775 | 135238 275955 | 66076 22938 3289266 143.4 | 86.207 % | 136.06/136.11 c | 129281 | 135204 275877 | 72683 23429 3310280 141.3 | 86.242 % | 136.46/136.54 c | 130040 | 135194 275853 | 79952 24166 3344207 138.4 | 86.253 % | 137.16/137.23 c | 131179 | 135186 275835 | 87947 25295 3433065 135.7 | 86.261 % | 138.26/138.39 c | 132888 | 135178 275815 | 96742 26972 3689589 136.8 | 86.271 % | 140.16/140.25 c | 135450 | 135123 275675 | 106416 29433 4012571 136.3 | 86.338 % | 142.65/142.71 c | 139294 | 135123 275675 | 117058 33277 4564286 137.2 | 86.338 % | 147.05/147.15 c | 145060 | 134993 275371 | 128764 38714 5165896 133.4 | 86.475 % | 156.85/156.94 c | 153709 | 134993 275371 | 141640 47363 7432043 156.9 | 86.475 % | 170.75/170.88 c | 166684 | 134984 275352 | 155804 60336 9779793 162.1 | 86.483 % | 194.94/195.05 c | 186146 | 134984 275352 | 171384 79798 13225885 165.7 | 86.483 % | 241.33/241.48 c | 215338 | 134936 275238 | 188523 108912 18650008 171.2 | 86.536 % | 332.91/333.06 c | 259127 | 134911 275179 | 207375 152675 26672713 174.7 | 86.563 % | 505.87/506.03 c | 324813 | 134871 275082 | 228113 218353 37755388 172.9 | 86.608 % | 738.11/738.36 c | 423339 | 134694 274655 | 250924 59850 6824772 114.0 | 86.809 % | 1050.33/1050.61 c | 571128 | 134616 274473 | 276017 207606 36886035 177.7 | 86.893 % | 1660.70/1661.19 c | 792811 | 134345 273815 | 303618 120044 22066728 183.8 | 87.203 % | 1708.49/1708.98 c ============================================================================== 1708.49/1708.98 c [1mFound solution: -53[0m 1708.49/1708.98 o -53 1708.59/1709.01 c ---[ 0]---> Sorter-cost: 0 Base: 1708.99/1709.44 c ==================================[MINISAT+]================================== 1708.99/1709.44 c | Conflicts | Original | Learnt | Progress | 1708.99/1709.44 c | | Clauses Literals | Max Clauses Literals LPC | | 1708.99/1709.44 c ============================================================================== 1708.99/1709.44 c | 816118 | 134367 273876 | 44789 143351 26236269 183.0 | 87.203 % | 1710.79/1711.29 c | 816218 | 134367 273876 | 49267 24779 2656873 107.2 | 87.186 % | 1710.99/1711.43 c | 816368 | 134355 273848 | 54194 24926 2658679 106.7 | 87.199 % | 1711.09/1711.59 c | 816593 | 134343 273818 | 59614 25146 2665287 106.0 | 87.214 % | 1711.19/1711.65 c | 816931 | 134343 273818 | 65575 25484 2669029 104.7 | 87.214 % | 1711.39/1711.86 c | 817437 | 134343 273818 | 72133 25990 2683105 103.2 | 87.214 % | 1711.79/1712.27 c | 818197 | 134343 273818 | 79346 26750 2749065 102.8 | 87.214 % | 1712.29/1712.78 c | 819336 | 134338 273807 | 87281 27885 2803944 100.6 | 87.219 % | 1713.49/1713.90 c | 821045 | 134153 273352 | 96009 29550 2899463 98.1 | 87.432 % | 1714.79/1715.28 c | 823607 | 134153 273352 | 105610 32112 3130599 97.5 | 87.432 % | 1717.09/1717.52 c | 827451 | 134153 273352 | 116171 35956 3484719 96.9 | 87.432 % | 1721.38/1721.81 c | 833218 | 134144 273329 | 127788 41711 4118800 98.7 | 87.443 % | 1727.78/1728.20 c | 841868 | 134131 273298 | 140567 50335 4994249 99.2 | 87.458 % | 1740.08/1740.54 c | 854843 | 134125 273284 | 154623 63306 6720226 106.2 | 87.464 % | 1765.57/1766.05 c | 874304 | 134075 273164 | 170086 82730 9523268 115.1 | 87.520 % | 1800.07/1800.50 c 1800.07/1800.50 c *** TERMINATED *** 1800.07/1800.50 s SATISFIABLE 1800.07/1800.50 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1800.07/1800.50 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 1800.07/1800.50 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1800.07/1800.50 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1800.07/1800.50 v -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 1800.07/1800.50 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 1800.07/1800.50 v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 1800.07/1800.50 v -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397 1800.07/1800.50 v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 1800.07/1800.50 v -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 1800.07/1800.50 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 1800.07/1800.50 v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329 1800.07/1800.50 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312 1800.07/1800.50 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 1800.07/1800.50 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 1800.07/1800.50 v -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 1800.07/1800.50 v -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 1800.07/1800.50 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 1800.07/1800.50 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210 1800.07/1800.50 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 1800.07/1800.50 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 1800.07/1800.50 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 1800.07/1800.50 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 1800.07/1800.50 v x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 1800.07/1800.50 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 1800.07/1800.50 v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 1800.07/1800.50 v -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 1800.07/1800.50 v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 1800.07/1800.50 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 1800.07/1800.50 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 1800.07/1800.50 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 1800.07/1800.50 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 1800.07/1800.50 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 1800.07/1800.50 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 1800.07/1800.50 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 1800.07/1800.50 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 1800.07/1800.50 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 1800.07/1800.50 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 1800.07/1800.50 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 1800.07/1800.50 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 1800.07/1800.50 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 1800.07/1800.50 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 1800.07/1800.50 v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 1800.07/1800.50 v -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 1800.07/1800.50 v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 1800.07/1800.50 v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 1800.07/1800.50 v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 1800.07/1800.50 v -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 1800.07/1800.50 v -x649 x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 1800.07/1800.50 v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 1800.07/1800.50 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 1800.07/1800.50 v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 1800.07/1800.50 v -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 1800.07/1800.50 v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 1800.07/1800.50 v x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 1800.07/1800.50 v -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 1800.07/1800.50 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 1800.07/1800.50 v -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 1800.07/1800.50 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 1800.07/1800.50 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 1800.07/1800.50 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 1800.07/1800.50 v -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 1800.07/1800.50 v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 1800.07/1800.50 v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 1800.07/1800.50 v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 1800.07/1800.50 v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 1800.07/1800.50 v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 1800.07/1800.50 v -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 1800.07/1800.50 v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 1800.07/1800.50 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 1800.07/1800.50 v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 1800.07/1800.50 v -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 1800.07/1800.50 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1800.07/1800.50 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1800.07/1800.50 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 1800.07/1800.50 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 1800.07/1800.50 v -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 1800.07/1800.50 v -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -53
/tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-353767-1176675307 -o ROOT/results/node65/solver-353767-1176675307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353767-1176675307/minisat+ /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.01 0.99 3/64 12486 /proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=1340 CPUtime=0 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 143520324 1372160 162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 335 163 74 215 0 117 0 [startup+0.0589791 s] /proc/loadavg: 0.95 1.01 0.99 3/64 12486 /proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=1752 CPUtime=0.05 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 283 0 0 0 5 0 0 0 18 0 1 0 143520324 1794048 268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 438 268 74 215 0 220 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1752 [startup+0.101983 s] /proc/loadavg: 0.95 1.01 0.99 3/64 12486 /proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=2028 CPUtime=0.09 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 371 0 0 0 9 0 0 0 18 0 1 0 143520324 2076672 356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 507 356 74 215 0 289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2028 [startup+0.301999 s] /proc/loadavg: 0.95 1.01 0.99 3/64 12486 /proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=3704 CPUtime=0.29 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 782 0 0 0 29 0 0 0 19 0 1 0 143520324 3792896 767 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 926 767 74 215 0 708 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3704 [startup+0.701032 s] /proc/loadavg: 0.95 1.01 0.99 3/64 12486 /proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=6976 CPUtime=0.69 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 1600 0 0 0 69 0 0 0 22 0 1 0 143520324 7143424 1585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 1744 1585 74 215 0 1526 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6976 [startup+1.5011 s] /proc/loadavg: 0.95 1.01 0.99 2/65 12487 /proc/meminfo: memFree=1749464/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=13672 CPUtime=1.49 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 3259 0 0 0 148 1 0 0 25 0 1 0 143520324 14000128 3244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 3418 3244 74 215 0 3200 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13672 [startup+3.10123 s] /proc/loadavg: 0.95 1.01 0.99 2/65 12487 /proc/meminfo: memFree=1740184/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=26960 CPUtime=3.09 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 6560 0 0 0 306 3 0 0 25 0 1 0 143520324 27607040 6545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 6740 6545 74 215 0 6522 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26960 [startup+6.3015 s] /proc/loadavg: 0.95 1.01 0.99 2/65 12487 /proc/meminfo: memFree=1715416/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=44968 CPUtime=6.29 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 10978 0 0 0 612 17 0 0 25 0 1 0 143520324 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 11242 10682 110 215 0 11024 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44968 [startup+12.701 s] /proc/loadavg: 0.96 1.01 0.99 2/65 12487 /proc/meminfo: memFree=1715416/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=44968 CPUtime=12.68 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 10978 0 0 0 1251 17 0 0 25 0 1 0 143520324 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 11242 10682 110 215 0 11024 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44968 [startup+25.5011 s] /proc/loadavg: 0.97 1.01 0.99 2/65 12487 /proc/meminfo: memFree=1715608/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=44968 CPUtime=25.48 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 10978 0 0 0 2531 17 0 0 25 0 1 0 143520324 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 11242 10682 110 215 0 11024 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44968 [startup+51.1012 s] /proc/loadavg: 0.98 1.01 0.99 2/65 12487 /proc/meminfo: memFree=1715096/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=45668 CPUtime=51.08 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 11122 0 0 0 5090 18 0 0 25 0 1 0 143520324 46764032 10825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576680 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 11417 10825 110 215 0 11199 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45668 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1693720/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=67120 CPUtime=102.27 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 16543 0 0 0 10204 23 0 0 25 0 1 0 143520324 68730880 16180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 16780 16180 110 215 0 16562 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 67120 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1674648/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=85960 CPUtime=162.25 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 21284 0 0 0 16197 28 0 0 25 0 1 0 143520324 88023040 20888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 21490 20888 110 215 0 21272 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 85960 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1656344/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=104444 CPUtime=222.23 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 25902 0 0 0 22189 34 0 0 25 0 1 0 143520324 106950656 25506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 26111 25506 110 215 0 25893 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 104444 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1631896/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=128828 CPUtime=282.22 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 32018 0 0 0 28182 40 0 0 25 0 1 0 143520324 131919872 31622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581178 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 32207 31622 110 215 0 31989 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 128828 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1610776/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=149896 CPUtime=342.2 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 37241 0 0 0 34174 46 0 0 25 0 1 0 143520324 153493504 36845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 37474 36845 110 215 0 37256 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 149896 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1594328/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=166376 CPUtime=402.19 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 41387 0 0 0 40168 51 0 0 25 0 1 0 143520324 170369024 40991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 41594 40991 110 215 0 41376 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 166376 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1579160/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=181356 CPUtime=462.18 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 45134 0 0 0 46163 55 0 0 25 0 1 0 143520324 185708544 44738 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 45339 44738 110 215 0 45121 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 181356 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1564184/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=196624 CPUtime=522.16 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 48890 0 0 0 52156 60 0 0 25 0 1 0 143520324 201342976 48494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 49156 48494 110 215 0 48938 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 196624 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1549720/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=210920 CPUtime=582.15 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 52476 0 0 0 58151 64 0 0 25 0 1 0 143520324 215982080 52080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 52730 52080 110 215 0 52512 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 210920 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1537240/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=223244 CPUtime=642.14 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 55552 0 0 0 64146 68 0 0 25 0 1 0 143520324 228601856 55156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 55811 55156 110 215 0 55593 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 223244 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1525400/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=235088 CPUtime=882.08 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 88135 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 58772 58144 110 215 0 58554 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 235088 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1525400/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=235088 CPUtime=942.06 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 94133 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 58772 58144 110 215 0 58554 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 235088 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=235088 CPUtime=1002.05 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 100132 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 58772 58144 110 215 0 58554 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 235088 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=235088 CPUtime=1062.03 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 106130 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 58772 58144 110 215 0 58554 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 235088 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=235088 CPUtime=1122.02 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 112129 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 58772 58144 110 215 0 58554 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 235088 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=235088 CPUtime=1182 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 118127 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 58772 58144 110 215 0 58554 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 235088 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1521048/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=239424 CPUtime=1241.99 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 59630 0 0 0 124124 75 0 0 25 0 1 0 143520324 245170176 59234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 59856 59234 110 215 0 59638 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 239424 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1508824/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=251564 CPUtime=1301.98 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 62653 0 0 0 130119 79 0 0 25 0 1 0 143520324 257601536 62257 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 62891 62257 110 215 0 62673 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 251564 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1497240/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=263128 CPUtime=1361.96 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 65580 0 0 0 136112 84 0 0 25 0 1 0 143520324 269443072 65184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 65782 65184 110 215 0 65564 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 263128 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12487 /proc/meminfo: memFree=1485528/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=275308 CPUtime=1421.95 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 68470 0 0 0 142107 88 0 0 25 0 1 0 143520324 281915392 68074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 68827 68074 110 215 0 68609 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 275308 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1478104/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1481.93 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70324 0 0 0 148104 89 0 0 25 0 1 0 143520324 289488896 69928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69928 110 215 0 70458 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 282704 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1541.92 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70324 0 0 0 154103 89 0 0 25 0 1 0 143520324 289488896 69928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69928 110 215 0 70458 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 282704 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1601.91 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 160101 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69930 110 215 0 70458 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 282704 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1661.9 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 166100 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69930 110 215 0 70458 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 282704 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1721.88 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 172098 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69930 110 215 0 70458 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 282704 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1781.87 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 178097 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69930 110 215 0 70458 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 282704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1477976/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1800.07 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 179917 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69930 110 215 0 70458 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 282704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12489 /proc/meminfo: memFree=1477976/2055920 swapFree=4183928/4192956 [pid=12486] ppid=12484 vsize=282704 CPUtime=1800.07 /proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 179917 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12486/statm: 70676 69930 110 215 0 70458 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 282704 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.12 CPU user time (s): 1799.18 CPU system time (s): 0.945856 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 282704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.18 system time used= 0.945856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70328 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= 553 involuntary context switches= 1811 runsolver used 1.40579 second user time and 3.80342 second system time The end
Begin job on node65 on Sun Apr 15 22:15:07 UTC 2007 IDJOB= 353767 IDBENCH= 2268 IDSOLVER= 156 FILE ID= node65/353767-1176675307 PBS_JOBID= 4559912 Free space on /tmp= 66558 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/frb59-26-opb/normalized-frb59-26-2.opb COMMAND LINE= /tmp/evaluation/353767-1176675307/minisat+ /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-353767-1176675307 -o ROOT/results/node65/conversion-353767-1176675307 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-353767-1176675307 -o ROOT/results/node65/solver-353767-1176675307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353767-1176675307/minisat+ /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1 RANDOM SEED= 907647064 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1758584 kB Buffers: 54480 kB Cached: 163944 kB SwapCached: 2984 kB Active: 130220 kB Inactive: 106068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758584 kB SwapTotal: 4192956 kB SwapFree: 4183928 kB Dirty: 5364 kB Writeback: 0 kB Mapped: 22692 kB Slab: 47024 kB Committed_AS: 2162040 kB PageTables: 1480 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= 66558 MiB End job on node65 on Sun Apr 15 22:45:10 UTC 2007