Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -53 | 1800.59 | 1801.21 |
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.03 |
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 c Parsing PB file... 3.40 c Converting 126163 PB-constraints to clauses... 3.41 c -- Unit propagations: (none) 3.41 c -- Detecting intervals from adjacent constraints: (none) 3.41 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.71 c ==================================[MINISAT+]================================== 3.71 c | Conflicts | Original | Learnt | Progress | 3.71 c | | Clauses Literals | Max Clauses Literals LPC | | 3.71 c ============================================================================== 3.71 c | 0 | 126163 252326 | 42054 0 0 nan | 0.000 % | 3.71 c ============================================================================== 3.71 c [1mFound solution: -42[0m 3.71 o -42 3.73 c ---[ 0]---> Sorter-cost:85954 Base: 3.94 c ==================================[MINISAT+]================================== 3.94 c | Conflicts | Original | Learnt | Progress | 3.94 c | | Clauses Literals | Max Clauses Literals LPC | | 3.94 c ============================================================================== 3.94 c | 0 | 216902 465187 | 72300 0 0 nan | 0.000 % | 4.21 c | 100 | 216378 464089 | 79530 71 1045 14.7 | 0.476 % | 4.67 c | 250 | 215666 462590 | 87483 197 2307 11.7 | 1.110 % | 5.10 c | 475 | 214693 460491 | 96231 382 4569 12.0 | 2.022 % | 6.00 c | 812 | 212890 456566 | 105854 654 7279 11.1 | 3.734 % | 7.18 c | 1318 | 210422 451160 | 116439 1060 10851 10.2 | 6.157 % | 8.90 c | 2077 | 206393 442217 | 128083 1635 16954 10.4 | 10.063 % | 11.44 c | 3216 | 198975 425552 | 140892 2422 25813 10.7 | 17.559 % | 14.84 c | 4924 | 190640 406622 | 154981 3664 40208 11.0 | 26.087 % | 18.99 c | 7486 | 179470 381025 | 170479 5477 62777 11.5 | 37.698 % | 24.09 c | 11330 | 166692 351158 | 187527 8259 96088 11.6 | 51.142 % | 27.27 c ============================================================================== 27.27 c [1mFound solution: -44[0m 27.27 o -44 27.29 c ---[ 0]---> Sorter-cost: 0 Base: 27.39 c ==================================[MINISAT+]================================== 27.39 c | Conflicts | Original | Learnt | Progress | 27.39 c | | Clauses Literals | Max Clauses Literals LPC | | 27.39 c ============================================================================== 27.39 c | 14201 | 159762 334804 | 53254 10383 124904 12.0 | 51.142 % | 27.48 c | 14301 | 159518 334234 | 58579 10463 126556 12.1 | 59.111 % | 27.61 c | 14451 | 159171 333401 | 64437 10595 128502 12.1 | 59.497 % | 27.90 c | 14676 | 158480 331759 | 70881 10678 129458 12.1 | 60.258 % | 28.17 c | 15013 | 158174 331032 | 77969 10915 133832 12.3 | 60.595 % | 28.60 c | 15520 | 157341 329073 | 85766 11321 139331 12.3 | 61.505 % | 29.42 c | 16280 | 155349 324351 | 94342 11703 145801 12.5 | 63.687 % | 30.29 c | 17419 | 153760 320544 | 103776 12549 161675 12.9 | 65.453 % | 31.32 c | 19127 | 152453 317467 | 114154 13881 182702 13.2 | 66.863 % | 33.29 c | 21689 | 148743 308640 | 125570 15567 217965 14.0 | 70.881 % | 35.43 c ============================================================================== 35.43 c [1mFound solution: -45[0m 35.43 o -45 35.45 c ---[ 0]---> Sorter-cost: 0 Base: 35.56 c ==================================[MINISAT+]================================== 35.56 c | Conflicts | Original | Learnt | Progress | 35.56 c | | Clauses Literals | Max Clauses Literals LPC | | 35.56 c ============================================================================== 35.56 c | 24382 | 145456 300817 | 48485 17375 249367 14.4 | 70.881 % | 35.63 c | 24483 | 145363 300588 | 53333 17440 251246 14.4 | 74.648 % | 35.70 c | 24633 | 145288 300407 | 58666 17551 251739 14.3 | 74.732 % | 35.91 c | 24858 | 144991 299696 | 64533 17581 253807 14.4 | 75.065 % | 36.19 c | 25195 | 144671 298897 | 70986 17767 260713 14.7 | 75.446 % | 36.64 c | 25702 | 144071 297413 | 78085 18002 268321 14.9 | 76.147 % | 37.25 c | 26461 | 143083 295047 | 85894 18367 278416 15.2 | 77.238 % | 38.05 c | 27600 | 142217 292945 | 94483 19129 300433 15.7 | 78.224 % | 39.08 c | 29308 | 141140 290360 | 103931 20436 345754 16.9 | 79.432 % | 39.97 c ============================================================================== 39.97 c [1mFound solution: -46[0m 39.97 o -46 39.99 c ---[ 0]---> Sorter-cost: 0 Base: 40.11 c ==================================[MINISAT+]================================== 40.11 c | Conflicts | Original | Learnt | Progress | 40.11 c | | Clauses Literals | Max Clauses Literals LPC | | 40.11 c ============================================================================== 40.11 c | 30862 | 140267 288181 | 46755 21633 397822 18.4 | 79.432 % | 40.15 c | 30963 | 140267 288181 | 51430 21734 399242 18.4 | 80.416 % | 40.23 c | 31114 | 140168 287935 | 56573 21806 400090 18.3 | 80.529 % | 40.33 c | 31339 | 140168 287935 | 62230 22031 412550 18.7 | 80.529 % | 40.59 c | 31676 | 140023 287590 | 68453 22256 418337 18.8 | 80.689 % | 40.74 c | 32183 | 140023 287590 | 75299 22763 438437 19.3 | 80.689 % | 41.06 c ============================================================================== 41.06 c [1mFound solution: -47[0m 41.06 o -47 41.09 c ---[ 0]---> Sorter-cost: 0 Base: 41.20 c ==================================[MINISAT+]================================== 41.20 c | Conflicts | Original | Learnt | Progress | 41.20 c | | Clauses Literals | Max Clauses Literals LPC | | 41.20 c ============================================================================== 41.20 c | 32937 | 140085 287791 | 46695 23512 471006 20.0 | 80.689 % | 41.25 c | 33037 | 140085 287791 | 51364 23612 474023 20.1 | 80.668 % | 41.37 c | 33188 | 139985 287565 | 56500 23703 476332 20.1 | 80.768 % | 41.48 c | 33413 | 139925 287414 | 62151 23901 482389 20.2 | 80.840 % | 41.62 c | 33750 | 139819 287160 | 68366 24223 491372 20.3 | 80.958 % | 41.95 c | 34257 | 139501 286378 | 75202 24523 504115 20.6 | 81.320 % | 42.34 c | 35016 | 139221 285698 | 82723 25080 519407 20.7 | 81.634 % | 42.85 c | 36155 | 138949 285015 | 90995 26080 578152 22.2 | 81.958 % | 43.59 c | 37863 | 138937 284987 | 100094 27753 670991 24.2 | 81.971 % | 45.02 c | 40425 | 138358 283576 | 110104 29587 808674 27.3 | 82.622 % | 45.71 c ============================================================================== 45.71 c [1mFound solution: -49[0m 45.71 o -49 45.73 c ---[ 0]---> Sorter-cost: 0 Base: 45.85 c ==================================[MINISAT+]================================== 45.85 c | Conflicts | Original | Learnt | Progress | 45.85 c | | Clauses Literals | Max Clauses Literals LPC | | 45.85 c ============================================================================== 45.85 c | 41630 | 138147 283085 | 46049 30685 883161 28.8 | 82.622 % | 45.95 c | 41730 | 138092 282958 | 50653 30763 884351 28.7 | 82.933 % | 46.14 c | 41880 | 137941 282583 | 55719 30835 887360 28.8 | 83.109 % | 46.23 c | 42105 | 137901 282493 | 61291 31052 893326 28.8 | 83.149 % | 46.40 c | 42442 | 137895 282479 | 67420 31375 909461 29.0 | 83.155 % | 46.65 c | 42948 | 137873 282425 | 74162 31874 947781 29.7 | 83.181 % | 46.93 c | 43707 | 137873 282425 | 81578 32633 990787 30.4 | 83.181 % | 47.46 c | 44846 | 137866 282408 | 89736 33764 1042346 30.9 | 83.189 % | 48.45 c | 46554 | 137539 281618 | 98710 35123 1108640 31.6 | 83.556 % | 49.90 c | 49116 | 137311 281072 | 108581 37144 1292520 34.8 | 83.810 % | 52.04 c | 52960 | 137157 280708 | 119439 40856 1598714 39.1 | 83.978 % | 55.96 c | 58727 | 136513 279109 | 131383 45613 1978665 43.4 | 84.730 % | 59.51 c ============================================================================== 59.51 c [1mFound solution: -50[0m 59.51 o -50 59.54 c ---[ 0]---> Sorter-cost: 0 Base: 59.69 c ==================================[MINISAT+]================================== 59.69 c | Conflicts | Original | Learnt | Progress | 59.69 c | | Clauses Literals | Max Clauses Literals LPC | | 59.69 c ============================================================================== 59.69 c | 64383 | 136428 278853 | 45476 50690 2426715 47.9 | 84.730 % | 59.84 c | 64483 | 136372 278721 | 50023 50704 2426821 47.9 | 84.888 % | 59.95 c | 64633 | 136372 278721 | 55025 50854 2434364 47.9 | 84.888 % | 60.12 c | 64858 | 136372 278721 | 60528 51079 2451936 48.0 | 84.888 % | 60.40 c | 65195 | 136354 278679 | 66581 51330 2465308 48.0 | 84.907 % | 60.72 c | 65701 | 136354 278679 | 73239 51836 2497084 48.2 | 84.907 % | 61.22 c | 66460 | 136315 278575 | 80563 52539 2537278 48.3 | 84.952 % | 62.01 c | 67599 | 136315 278575 | 88619 53678 2687895 50.1 | 84.952 % | 63.32 c | 69307 | 136315 278575 | 97481 55386 2882870 52.1 | 84.952 % | 65.52 c | 71869 | 136315 278575 | 107230 57948 3297295 56.9 | 84.952 % | 67.68 c ============================================================================== 67.68 c [1mFound solution: -51[0m 67.68 o -51 67.71 c ---[ 0]---> Sorter-cost: 0 Base: 67.87 c ==================================[MINISAT+]================================== 67.87 c | Conflicts | Original | Learnt | Progress | 67.87 c | | Clauses Literals | Max Clauses Literals LPC | | 67.87 c ============================================================================== 67.87 c | 74103 | 136106 278085 | 45368 59809 3485256 58.3 | 84.952 % | 67.95 c | 74203 | 136106 278085 | 49904 59909 3491775 58.3 | 85.223 % | 68.11 c | 74353 | 136063 277970 | 54895 59670 3485850 58.4 | 85.278 % | 68.29 c | 74578 | 136063 277970 | 60384 59895 3498842 58.4 | 85.278 % | 68.60 c | 74916 | 136058 277957 | 66423 60226 3530651 58.6 | 85.284 % | 69.27 c | 75422 | 135994 277802 | 73065 60597 3563296 58.8 | 85.355 % | 70.00 c | 76181 | 135950 277698 | 80372 61179 3620235 59.2 | 85.403 % | 70.98 c | 77320 | 135945 277687 | 88409 62293 3702636 59.4 | 85.408 % | 72.49 c | 79028 | 135928 277644 | 97250 63981 3892624 60.8 | 85.429 % | 75.21 c | 81590 | 135691 277063 | 106975 65768 4131868 62.8 | 85.702 % | 78.91 c | 85436 | 135590 276824 | 117672 69157 4565212 66.0 | 85.813 % | 84.77 c | 91202 | 135583 276807 | 129440 74866 5415516 72.3 | 85.821 % | 94.02 c | 99851 | 135540 276704 | 142384 83045 6414369 77.2 | 85.869 % | 110.13 c | 112826 | 135455 276509 | 156622 95875 8314958 86.7 | 85.957 % | 134.85 c ============================================================================== 134.85 c [1mFound solution: -52[0m 134.85 o -52 134.87 c ---[ 0]---> Sorter-cost: 0 Base: 135.14 c ==================================[MINISAT+]================================== 135.14 c | Conflicts | Original | Learnt | Progress | 135.14 c | | Clauses Literals | Max Clauses Literals LPC | | 135.14 c ============================================================================== 135.14 c | 127962 | 135394 276336 | 45131 109446 11574582 105.8 | 85.957 % | 135.39 c | 128062 | 135394 276336 | 49644 22310 3255192 145.9 | 86.028 % | 135.63 c | 128212 | 135295 276100 | 54608 22395 3259721 145.6 | 86.136 % | 135.78 c | 128437 | 135290 276089 | 60069 22610 3275212 144.9 | 86.141 % | 136.04 c | 128775 | 135238 275955 | 66076 22938 3289266 143.4 | 86.207 % | 136.49 c | 129281 | 135204 275877 | 72683 23429 3310280 141.3 | 86.242 % | 136.93 c | 130040 | 135194 275853 | 79952 24166 3344207 138.4 | 86.253 % | 137.62 c | 131179 | 135186 275835 | 87947 25295 3433065 135.7 | 86.261 % | 138.81 c | 132888 | 135178 275815 | 96742 26972 3689589 136.8 | 86.271 % | 140.69 c | 135450 | 135123 275675 | 106416 29433 4012571 136.3 | 86.338 % | 143.17 c | 139294 | 135123 275675 | 117058 33277 4564286 137.2 | 86.338 % | 147.62 c | 145060 | 134993 275371 | 128764 38714 5165896 133.4 | 86.475 % | 157.43 c | 153709 | 134993 275371 | 141640 47363 7432043 156.9 | 86.475 % | 171.39 c | 166684 | 134984 275352 | 155804 60336 9779793 162.1 | 86.483 % | 195.59 c | 186146 | 134984 275352 | 171384 79798 13225885 165.7 | 86.483 % | 242.04 c | 215338 | 134936 275238 | 188523 108912 18650008 171.2 | 86.536 % | 333.44 c | 259127 | 134911 275179 | 207375 152675 26672713 174.7 | 86.563 % | 505.98 c | 324813 | 134871 275082 | 228113 218353 37755388 172.9 | 86.608 % | 738.12 c | 423339 | 134694 274655 | 250924 59850 6824772 114.0 | 86.809 % | 1050.53 c | 571128 | 134616 274473 | 276017 207606 36886035 177.7 | 86.893 % | 1660.87 c | 792811 | 134345 273815 | 303618 120044 22066728 183.8 | 87.203 % | 1708.83 c ============================================================================== 1708.83 c [1mFound solution: -53[0m 1708.83 o -53 1708.86 c ---[ 0]---> Sorter-cost: 0 Base: 1709.28 c ==================================[MINISAT+]================================== 1709.28 c | Conflicts | Original | Learnt | Progress | 1709.28 c | | Clauses Literals | Max Clauses Literals LPC | | 1709.28 c ============================================================================== 1709.28 c | 816118 | 134367 273876 | 44789 143351 26236269 183.0 | 87.203 % | 1711.12 c | 816218 | 134367 273876 | 49267 24779 2656873 107.2 | 87.186 % | 1711.25 c | 816368 | 134355 273848 | 54194 24926 2658679 106.7 | 87.199 % | 1711.41 c | 816593 | 134343 273818 | 59614 25146 2665287 106.0 | 87.214 % | 1711.47 c | 816931 | 134343 273818 | 65575 25484 2669029 104.7 | 87.214 % | 1711.68 c | 817437 | 134343 273818 | 72133 25990 2683105 103.2 | 87.214 % | 1712.09 c | 818197 | 134343 273818 | 79346 26750 2749065 102.8 | 87.214 % | 1712.60 c | 819336 | 134338 273807 | 87281 27885 2803944 100.6 | 87.219 % | 1713.73 c | 821045 | 134153 273352 | 96009 29550 2899463 98.1 | 87.432 % | 1715.13 c | 823607 | 134153 273352 | 105610 32112 3130599 97.5 | 87.432 % | 1717.38 c | 827451 | 134153 273352 | 116171 35956 3484719 96.9 | 87.432 % | 1721.72 c | 833218 | 134144 273329 | 127788 41711 4118800 98.7 | 87.443 % | 1728.13 c | 841868 | 134131 273298 | 140567 50335 4994249 99.2 | 87.458 % | 1740.51 c | 854843 | 134125 273284 | 154623 63306 6720226 106.2 | 87.464 % | 1766.09 c | 874304 | 134075 273164 | 170086 82730 9523268 115.1 | 87.520 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 s SATISFIABLE 1801.16 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1801.16 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 1801.16 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1801.16 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1801.16 v -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 1801.16 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 1801.16 v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 1801.16 v -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397 1801.16 v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 1801.16 v -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 1801.16 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 1801.16 v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329 1801.16 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312 1801.16 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 1801.16 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 1801.16 v -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 1801.16 v -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 1801.16 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 1801.16 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210 1801.16 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 1801.16 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 1801.16 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 1801.16 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 1801.16 v x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 1801.16 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 1801.16 v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 1801.16 v -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 1801.16 v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 1801.16 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 1801.16 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 1801.16 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 1801.16 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 1801.16 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 1801.16 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 1801.16 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 1801.16 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 1801.16 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 1801.16 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 1801.16 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 1801.16 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 1801.16 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 1801.16 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 1801.16 v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 1801.16 v -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 1801.16 v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 1801.16 v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 1801.16 v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 1801.16 v -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 1801.16 v -x649 x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 1801.16 v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 1801.16 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 1801.16 v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 1801.16 v -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 1801.16 v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 1801.16 v x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 1801.16 v -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 1801.16 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 1801.16 v -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 1801.16 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 1801.16 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 1801.16 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 1801.16 v -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 1801.16 v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 1801.16 v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 1801.16 v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 1801.16 v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 1801.16 v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 1801.16 v -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 1801.16 v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 1801.16 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 1801.16 v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 1801.16 v -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 1801.16 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 1801.16 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 1801.16 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 1801.16 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 1801.16 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 1801.16 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
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node36/watcher-35636-1149300177 -o ROOT/results/node36/solver-35636-1149300177 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35636-1149300177/instance-35636-1149300177.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.09 1.04 0.94 2/64 32505 /proc/meminfo: memFree=1422824/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=1180 CPUtime=0 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 129 0 0 0 0 0 0 0 19 0 1 0 195683865 1208320 114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 295 114 67 215 0 77 0 [startup+10.002 s] /proc/loadavg: 1.08 1.04 0.94 2/64 32505 /proc/meminfo: memFree=1380400/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=44968 CPUtime=9.98 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 10978 0 0 0 980 18 0 0 25 0 1 0 195683865 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569782 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 11242 10682 110 215 0 11024 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 44968 [startup+20.0078 s] /proc/loadavg: 1.07 1.04 0.94 2/64 32505 /proc/meminfo: memFree=1380528/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=44968 CPUtime=19.98 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 10978 0 0 0 1980 18 0 0 25 0 1 0 195683865 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 11242 10682 110 215 0 11024 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 44968 [startup+30.0137 s] /proc/loadavg: 1.06 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1380144/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=45480 CPUtime=29.98 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11079 0 0 0 2980 18 0 0 25 0 1 0 195683865 46571520 10783 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569827 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 11370 10783 110 215 0 11152 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 45480 [startup+40.0195 s] /proc/loadavg: 1.05 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1380144/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=45508 CPUtime=39.99 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11091 0 0 0 3980 19 0 0 25 0 1 0 195683865 46600192 10794 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667235 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 11377 10794 110 215 0 11159 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 45508 [startup+50.0253 s] /proc/loadavg: 1.04 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1380016/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=45668 CPUtime=49.99 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11122 0 0 0 4980 19 0 0 25 0 1 0 195683865 46764032 10825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 11417 10825 110 215 0 11199 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 45668 [startup+60.0311 s] /proc/loadavg: 1.03 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1379120/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=46404 CPUtime=59.99 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11355 0 0 0 5980 19 0 0 25 0 1 0 195683865 47517696 11025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 11601 11025 110 215 0 11383 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 46404 [startup+70.0369 s] /proc/loadavg: 1.03 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1374512/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=51140 CPUtime=69.99 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 12565 0 0 0 6979 20 0 0 25 0 1 0 195683865 52367360 12202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 12785 12202 110 215 0 12567 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 51140 [startup+80.0427 s] /proc/loadavg: 1.02 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1369968/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=55836 CPUtime=79.99 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 13700 0 0 0 7978 21 0 0 25 0 1 0 195683865 57176064 13337 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 13959 13337 110 215 0 13741 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 55836 [startup+90.0485 s] /proc/loadavg: 1.02 1.03 0.94 2/64 32505 /proc/meminfo: memFree=1364464/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=61348 CPUtime=90 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 15085 0 0 0 8977 23 0 0 25 0 1 0 195683865 62820352 14722 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 15337 14722 110 215 0 15119 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 61348 [startup+100.054 s] /proc/loadavg: 1.02 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1359664/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=66072 CPUtime=100 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 16278 0 0 0 9976 24 0 0 25 0 1 0 195683865 67657728 15915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 16518 15915 110 215 0 16300 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 66072 [startup+110.06 s] /proc/loadavg: 1.01 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1354544/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=71224 CPUtime=110 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 17545 0 0 0 10975 25 0 0 25 0 1 0 195683865 72933376 17182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 17806 17182 110 215 0 17588 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 71224 [startup+120.066 s] /proc/loadavg: 1.01 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1348912/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=76868 CPUtime=120.01 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 18964 0 0 0 11974 27 0 0 25 0 1 0 195683865 78712832 18601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 19217 18601 110 215 0 18999 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 76868 [startup+130.072 s] /proc/loadavg: 1.01 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1342192/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=83552 CPUtime=130.01 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 20635 0 0 0 12973 28 0 0 25 0 1 0 195683865 85557248 20272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 20888 20272 110 215 0 20670 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 83552 [startup+140.078 s] /proc/loadavg: 1.01 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=85956 CPUtime=140 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 13972 28 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 21489 20887 110 215 0 21271 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 85956 [startup+150.083 s] /proc/loadavg: 1.00 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=85956 CPUtime=150.02 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 14973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 21489 20887 110 215 0 21271 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 85956 [startup+160.09 s] /proc/loadavg: 1.00 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=85956 CPUtime=160.02 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 15973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 21489 20887 110 215 0 21271 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 85956 [startup+170.097 s] /proc/loadavg: 1.00 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=85956 CPUtime=170.02 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 16973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 21489 20887 110 215 0 21271 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 85956 [startup+180.104 s] /proc/loadavg: 1.00 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=85956 CPUtime=180.02 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 17973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 21489 20887 110 215 0 21271 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 85956 [startup+190.11 s] /proc/loadavg: 1.00 1.02 0.94 2/64 32505 /proc/meminfo: memFree=1337584/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=88184 CPUtime=190.02 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21817 0 0 0 18973 29 0 0 25 0 1 0 195683865 90300416 21421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 22046 21421 110 215 0 21828 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 88184 [startup+200.116 s] /proc/loadavg: 1.00 1.01 0.94 2/64 32505 /proc/meminfo: memFree=1332272/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=93420 CPUtime=200.03 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 23140 0 0 0 19972 31 0 0 25 0 1 0 195683865 95662080 22744 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 23355 22744 110 215 0 23137 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 93420 [startup+210.122 s] /proc/loadavg: 1.00 1.01 0.94 2/64 32505 /proc/meminfo: memFree=1326768/2055920 swapFree=4181452/4192956 ################ # More data... # ################ [pid=32505] ppid=32503 vsize=282656 CPUtime=1781.45 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178059 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584161 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 282656 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1782.45 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178159 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 282656 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1783.46 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178260 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 282656 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1784.46 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178360 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 282656 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1785.46 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178460 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 282656 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1786.47 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178561 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 282656 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1787.47 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178661 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 282656 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1788.48 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178762 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 282656 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1789.48 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178862 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 282656 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1790.49 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178963 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 282656 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1791.49 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179063 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 282656 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1792.5 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179164 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 282656 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1793.5 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179264 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 282656 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1794.5 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179364 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 282656 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1795.51 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179465 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 282656 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1796.51 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179565 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 282656 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1797.52 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179666 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 282656 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1798.52 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179766 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 282656 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1799.53 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179867 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 282656 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1800.53 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179967 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 282656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.94 2/64 32505 /proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956 [pid=32505] ppid=32503 vsize=282656 CPUtime=1800.53 /proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179967 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32505/statm: 70664 69929 110 215 0 70446 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 282656 Sending SIGTERM to -32505 Sleeping 2 seconds Child status: 10 Real time (s): 1801.21 CPU time (s): 1800.59 CPU user time (s): 1799.68 CPU system time (s): 0.911861 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (Kb): 282656
Begin job on node36 on Sat Jun 3 02:02:57 UTC 2006 FILE ID= 35636-1149300177 PBS_JOBID= 307325 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35636-1149300177/instance-35636-1149300177.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-35636-1149300177 -o ROOT/results/node36/solver-35636-1149300177 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35636-1149300177/instance-35636-1149300177.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1 RANDOM SEED= 85517741 /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.284 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.284 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: 1423096 kB Buffers: 30260 kB Cached: 529336 kB SwapCached: 3444 kB Active: 90560 kB Inactive: 477948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1423096 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14928 kB Slab: 50412 kB Committed_AS: 245740 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Sat Jun 3 02:32:59 UTC 2006