Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -53 | 1800.72 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb |
MD5SUM | 2295cbab79cf702b6a93f1d0b8bae876 |
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.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -58 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 125982 |
Number of constraints which are clauses | 125982 |
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.19 c Converting 125982 PB-constraints to clauses... 3.20 c -- Unit propagations: (none) 3.20 c -- Detecting intervals from adjacent constraints: (none) 3.21 c -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 3.47 c ==================================[MINISAT+]================================== 3.47 c | Conflicts | Original | Learnt | Progress | 3.47 c | | Clauses Literals | Max Clauses Literals LPC | | 3.47 c ============================================================================== 3.47 c | 0 | 125982 251964 | 41994 0 0 nan | 0.000 % | 3.47 c ============================================================================== 3.47 c [1mFound solution: -42[0m 3.47 o -42 3.48 c ---[ 0]---> Sorter-cost:85954 Base: 3.68 c ==================================[MINISAT+]================================== 3.68 c | Conflicts | Original | Learnt | Progress | 3.68 c | | Clauses Literals | Max Clauses Literals LPC | | 3.68 c ============================================================================== 3.68 c | 0 | 216721 464825 | 72240 0 0 nan | 0.000 % | 4.04 c | 100 | 215959 463222 | 79464 65 492 7.6 | 0.688 % | 4.39 c | 250 | 215163 461534 | 87410 185 1565 8.5 | 1.408 % | 4.73 c | 475 | 214472 460051 | 96151 367 3201 8.7 | 2.048 % | 5.29 c | 812 | 213299 457504 | 105766 663 6213 9.4 | 3.198 % | 6.26 c | 1318 | 210803 452048 | 116343 1052 10471 10.0 | 5.545 % | 7.80 c | 2078 | 206899 443392 | 127977 1632 16581 10.2 | 9.378 % | 10.20 c | 3217 | 199960 427819 | 140775 2503 25519 10.2 | 16.335 % | 13.39 c | 4925 | 192015 409778 | 154852 3695 39888 10.8 | 24.503 % | 17.47 c | 7488 | 180386 383175 | 170338 5442 62629 11.5 | 36.510 % | 19.86 c ============================================================================== 19.86 c [1mFound solution: -43[0m 19.86 o -43 19.88 c ---[ 0]---> Sorter-cost: 0 Base: 19.98 c ==================================[MINISAT+]================================== 19.98 c | Conflicts | Original | Learnt | Progress | 19.98 c | | Clauses Literals | Max Clauses Literals LPC | | 19.98 c ============================================================================== 19.98 c | 9101 | 174218 369045 | 58072 6524 77488 11.9 | 36.510 % | 20.21 c | 9201 | 173612 367663 | 63879 6598 78260 11.9 | 43.746 % | 20.62 c | 9352 | 172254 364438 | 70267 6634 78701 11.9 | 45.220 % | 21.04 c | 9577 | 171126 361800 | 77293 6770 80672 11.9 | 46.408 % | 21.37 c | 9915 | 170107 359398 | 85023 7035 83170 11.8 | 47.468 % | 22.05 c | 10421 | 168416 355375 | 93525 7369 86547 11.7 | 49.288 % | 22.93 c | 11180 | 166329 350476 | 102878 7889 92417 11.7 | 51.500 % | 24.50 c | 12319 | 162134 340596 | 113165 8719 103213 11.8 | 56.044 % | 26.42 c | 14027 | 157622 329892 | 124482 9863 120023 12.2 | 60.978 % | 28.13 c | 16590 | 154141 321594 | 136930 11740 143012 12.2 | 64.795 % | 31.04 c | 20434 | 148827 308955 | 150623 14218 196223 13.8 | 70.642 % | 34.66 c | 26201 | 143510 296212 | 165686 18448 300139 16.3 | 76.485 % | 34.88 c ============================================================================== 34.88 c [1mFound solution: -44[0m 34.88 o -44 34.90 c ---[ 0]---> Sorter-cost: 0 Base: 35.00 c ==================================[MINISAT+]================================== 35.00 c | Conflicts | Original | Learnt | Progress | 35.00 c | | Clauses Literals | Max Clauses Literals LPC | | 35.00 c ============================================================================== 35.00 c | 26706 | 143396 295898 | 47798 18911 307260 16.2 | 76.485 % | 35.07 c | 26807 | 143365 295823 | 52577 19010 309012 16.3 | 76.650 % | 35.16 c | 26957 | 143346 295776 | 57835 19153 311224 16.2 | 76.673 % | 35.23 c | 27182 | 143346 295776 | 63619 19378 315135 16.3 | 76.673 % | 35.40 c | 27519 | 143147 295303 | 69981 19597 320396 16.3 | 76.894 % | 35.60 c | 28026 | 143091 295163 | 76979 20091 335810 16.7 | 76.962 % | 36.21 c | 28786 | 142405 293484 | 84677 20635 354173 17.2 | 77.752 % | 36.70 c | 29925 | 142052 292643 | 93144 21385 377394 17.6 | 78.191 % | 37.61 c | 31633 | 141301 290830 | 102459 22900 434457 19.0 | 78.986 % | 38.13 c ============================================================================== 38.13 c [1mFound solution: -45[0m 38.13 o -45 38.15 c ---[ 0]---> Sorter-cost: 0 Base: 38.25 c ==================================[MINISAT+]================================== 38.25 c | Conflicts | Original | Learnt | Progress | 38.25 c | | Clauses Literals | Max Clauses Literals LPC | | 38.25 c ============================================================================== 38.25 c | 32831 | 141162 290523 | 47054 23957 491822 20.5 | 78.986 % | 38.44 c | 32932 | 140811 289673 | 51759 23932 490747 20.5 | 79.557 % | 38.48 c | 33082 | 140811 289673 | 56935 24082 494759 20.5 | 79.557 % | 38.59 c | 33307 | 140758 289546 | 62628 24212 497422 20.5 | 79.617 % | 38.71 c | 33644 | 140708 289438 | 68891 24539 505279 20.6 | 79.664 % | 38.88 c | 34150 | 140708 289438 | 75780 25045 526109 21.0 | 79.664 % | 39.12 c ============================================================================== 39.12 c [1mFound solution: -47[0m 39.12 o -47 39.14 c ---[ 0]---> Sorter-cost: 0 Base: 39.25 c ==================================[MINISAT+]================================== 39.25 c | Conflicts | Original | Learnt | Progress | 39.25 c | | Clauses Literals | Max Clauses Literals LPC | | 39.25 c ============================================================================== 39.26 c | 34585 | 140706 289496 | 46902 25409 545666 21.5 | 79.664 % | 39.34 c | 34685 | 140631 289325 | 51592 25488 547741 21.5 | 79.790 % | 39.50 c | 34835 | 140502 289012 | 56751 25504 551262 21.6 | 79.937 % | 39.65 c | 35060 | 140402 288768 | 62426 25617 555828 21.7 | 80.050 % | 39.90 c | 35397 | 140196 288258 | 68669 25847 566341 21.9 | 80.291 % | 40.21 c | 35903 | 139974 287726 | 75536 26221 579362 22.1 | 80.531 % | 40.57 c | 36662 | 139868 287454 | 83089 26872 608330 22.6 | 80.663 % | 41.32 c | 37801 | 139004 285361 | 91398 27413 642062 23.4 | 81.628 % | 42.20 c | 39510 | 138731 284704 | 100538 28798 697757 24.2 | 81.934 % | 43.53 c | 42072 | 138129 283247 | 110592 30903 807101 26.1 | 82.604 % | 45.61 c | 45917 | 137418 281505 | 121651 33977 991265 29.2 | 83.419 % | 48.61 c ============================================================================== 48.61 c [1mFound solution: -48[0m 48.61 o -48 48.64 c ---[ 0]---> Sorter-cost: 0 Base: 48.76 c ==================================[MINISAT+]================================== 48.76 c | Conflicts | Original | Learnt | Progress | 48.76 c | | Clauses Literals | Max Clauses Literals LPC | | 48.76 c ============================================================================== 48.76 c | 50963 | 136707 279714 | 45569 38071 1355297 35.6 | 83.419 % | 48.83 c | 51064 | 136665 279612 | 50125 38151 1356275 35.6 | 84.305 % | 48.95 c | 51214 | 136633 279530 | 55138 38260 1360588 35.6 | 84.344 % | 49.13 c | 51440 | 136573 279388 | 60652 38306 1366438 35.7 | 84.410 % | 49.40 c | 51777 | 136483 279176 | 66717 38425 1384832 36.0 | 84.508 % | 49.69 c | 52284 | 136441 279076 | 73389 38870 1410855 36.3 | 84.555 % | 50.21 c | 53044 | 136283 278706 | 80728 39261 1464008 37.3 | 84.726 % | 50.85 c | 54183 | 136243 278610 | 88801 40352 1545061 38.3 | 84.771 % | 51.88 c | 55891 | 136190 278485 | 97681 41887 1699101 40.6 | 84.827 % | 53.47 c | 58453 | 136091 278234 | 107449 44175 1922681 43.5 | 84.946 % | 56.21 c | 62297 | 136041 278108 | 118194 47904 2464514 51.4 | 85.006 % | 60.67 c | 68063 | 135763 277417 | 130013 53108 3155017 59.4 | 85.333 % | 64.00 c ============================================================================== 64.00 c [1mFound solution: -49[0m 64.00 o -49 64.02 c ---[ 0]---> Sorter-cost: 0 Base: 64.17 c ==================================[MINISAT+]================================== 64.17 c | Conflicts | Original | Learnt | Progress | 64.17 c | | Clauses Literals | Max Clauses Literals LPC | | 64.17 c ============================================================================== 64.17 c | 72442 | 135783 277482 | 45261 57408 3652183 63.6 | 85.333 % | 64.25 c | 72542 | 135783 277482 | 49787 57508 3657004 63.6 | 85.319 % | 64.42 c | 72693 | 135749 277402 | 54765 57629 3661230 63.5 | 85.356 % | 64.65 c | 72918 | 135744 277391 | 60242 57848 3671369 63.5 | 85.361 % | 64.97 c | 73256 | 135732 277365 | 66266 58171 3703940 63.7 | 85.372 % | 65.40 c | 73763 | 135695 277274 | 72893 58562 3756826 64.2 | 85.416 % | 65.99 c | 74522 | 135611 277064 | 80182 59191 3786127 64.0 | 85.514 % | 66.94 c | 75662 | 135611 277064 | 88200 60331 3934420 65.2 | 85.514 % | 68.50 c | 77370 | 135597 277030 | 97020 62037 4154789 67.0 | 85.530 % | 70.06 c ============================================================================== 70.06 c [1mFound solution: -50[0m 70.06 o -50 70.08 c ---[ 0]---> Sorter-cost: 0 Base: 70.24 c ==================================[MINISAT+]================================== 70.24 c | Conflicts | Original | Learnt | Progress | 70.24 c | | Clauses Literals | Max Clauses Literals LPC | | 70.24 c ============================================================================== 70.24 c | 78950 | 135575 276913 | 45191 62522 4231397 67.7 | 85.530 % | 70.36 c | 79050 | 135532 276799 | 49710 62546 4231449 67.7 | 85.609 % | 70.46 c | 79200 | 135532 276799 | 54681 62696 4238985 67.6 | 85.609 % | 70.73 c | 79425 | 135529 276792 | 60149 62920 4255939 67.6 | 85.613 % | 71.05 c | 79762 | 135529 276792 | 66164 63257 4304084 68.0 | 85.613 % | 71.50 c | 80270 | 135529 276792 | 72780 63765 4359392 68.4 | 85.613 % | 72.27 c | 81029 | 135444 276590 | 80058 64283 4405638 68.5 | 85.704 % | 73.30 c | 82168 | 135444 276590 | 88064 65422 4514282 69.0 | 85.704 % | 73.82 c ============================================================================== 73.82 c [1mFound solution: -51[0m 73.82 o -51 73.84 c ---[ 0]---> Sorter-cost: 0 Base: 74.01 c ==================================[MINISAT+]================================== 74.01 c | Conflicts | Original | Learnt | Progress | 74.01 c | | Clauses Literals | Max Clauses Literals LPC | | 74.01 c ============================================================================== 74.01 c | 82761 | 135475 276684 | 45158 66015 4553481 69.0 | 85.704 % | 74.23 c | 82861 | 135465 276660 | 49673 66081 4556332 69.0 | 85.710 % | 74.35 c | 83011 | 135465 276660 | 54641 66231 4565254 68.9 | 85.710 % | 74.45 c | 83236 | 135465 276660 | 60105 66456 4570299 68.8 | 85.710 % | 74.73 c | 83573 | 135465 276660 | 66115 66793 4594919 68.8 | 85.710 % | 75.44 c | 84079 | 135342 276354 | 72727 67152 4631108 69.0 | 85.848 % | 76.36 c | 84839 | 135228 276086 | 80000 67812 4691309 69.2 | 85.972 % | 77.59 c | 85979 | 135203 276023 | 88000 68603 4777095 69.6 | 86.003 % | 79.37 c | 87687 | 135029 275598 | 96800 69732 4907965 70.4 | 86.203 % | 81.95 c | 90249 | 135029 275598 | 106480 72294 5274639 73.0 | 86.203 % | 85.84 c | 94093 | 134944 275390 | 117128 75951 5693190 75.0 | 86.301 % | 92.40 c | 99859 | 134883 275249 | 128841 81592 6421159 78.7 | 86.366 % | 103.22 c | 108508 | 134835 275135 | 141725 90163 7860535 87.2 | 86.419 % | 120.51 c | 121482 | 134799 275042 | 155897 102952 9664105 93.9 | 86.462 % | 153.15 c | 140943 | 134747 274910 | 171487 122344 13291931 108.6 | 86.526 % | 216.66 c | 170136 | 134672 274727 | 188636 151088 19209599 127.1 | 86.613 % | 248.93 c ============================================================================== 248.93 c [1mFound solution: -52[0m 248.93 o -52 248.96 c ---[ 0]---> Sorter-cost: 0 Base: 249.32 c ==================================[MINISAT+]================================== 249.32 c | Conflicts | Original | Learnt | Progress | 249.32 c | | Clauses Literals | Max Clauses Literals LPC | | 249.32 c ============================================================================== 249.32 c | 186163 | 134612 274561 | 44870 165904 21520868 129.7 | 86.613 % | 249.92 c | 186263 | 134612 274561 | 49357 25515 2207333 86.5 | 86.684 % | 250.04 c | 186414 | 134601 274534 | 54292 25642 2217650 86.5 | 86.697 % | 250.20 c | 186639 | 134601 274534 | 59721 25867 2241685 86.7 | 86.697 % | 250.37 c | 186976 | 134524 274345 | 65694 26124 2249912 86.1 | 86.787 % | 250.74 c | 187482 | 134420 274095 | 72263 26616 2278339 85.6 | 86.903 % | 251.13 c | 188241 | 134420 274095 | 79489 27375 2319156 84.7 | 86.903 % | 251.85 c | 189380 | 134420 274095 | 87438 28514 2435373 85.4 | 86.903 % | 252.82 c | 191088 | 134420 274095 | 96182 30222 2600030 86.0 | 86.903 % | 254.70 c | 193650 | 134417 274088 | 105801 32781 3007387 91.7 | 86.906 % | 257.67 c | 197495 | 134364 273965 | 116381 36616 3563866 97.3 | 86.962 % | 262.16 c | 203261 | 134364 273965 | 128019 42382 4293921 101.3 | 86.962 % | 270.20 c | 211910 | 134328 273873 | 140821 51012 5544856 108.7 | 87.005 % | 284.86 c | 224884 | 134328 273873 | 154903 63986 7907749 123.6 | 87.005 % | 310.81 c | 244345 | 134328 273873 | 170393 83447 11620820 139.3 | 87.005 % | 321.55 c ============================================================================== 321.55 c [1mFound solution: -53[0m 321.55 o -53 321.57 c ---[ 0]---> Sorter-cost: 0 Base: 321.83 c ==================================[MINISAT+]================================== 321.83 c | Conflicts | Original | Learnt | Progress | 321.83 c | | Clauses Literals | Max Clauses Literals LPC | | 321.83 c ============================================================================== 321.83 c | 251911 | 134341 273909 | 44780 90983 12874260 141.5 | 87.005 % | 321.96 c | 252011 | 134341 273909 | 49258 91083 12879997 141.4 | 87.002 % | 322.20 c | 252162 | 134341 273909 | 54183 91234 12893752 141.3 | 87.002 % | 322.56 c | 252387 | 134341 273909 | 59602 91459 12918345 141.2 | 87.002 % | 323.06 c | 252725 | 134341 273909 | 65562 91797 12950424 141.1 | 87.002 % | 323.87 c | 253231 | 134337 273899 | 72118 92302 12995661 140.8 | 87.007 % | 325.05 c | 253991 | 134323 273863 | 79330 93028 13081442 140.6 | 87.025 % | 326.91 c | 255130 | 134323 273863 | 87263 94167 13274461 141.0 | 87.025 % | 329.32 c | 256838 | 134323 273863 | 95989 95875 13445425 140.2 | 87.025 % | 333.61 c | 259400 | 134283 273763 | 105588 98400 13873992 141.0 | 87.073 % | 339.47 c | 263244 | 134283 273763 | 116147 102244 14537960 142.2 | 87.073 % | 347.63 c | 269010 | 134283 273763 | 127762 108010 15238191 141.1 | 87.073 % | 361.28 c | 277659 | 134277 273749 | 140538 116656 16475671 141.2 | 87.079 % | 384.51 c | 290634 | 134255 273697 | 154592 129612 18285321 141.1 | 87.103 % | 425.26 c | 310096 | 134255 273697 | 170051 149074 21255001 142.6 | 87.103 % | 488.01 c | 339288 | 134239 273657 | 187057 178263 25394300 142.5 | 87.123 % | 608.09 c | 383077 | 134131 273393 | 205762 221447 32434452 146.5 | 87.245 % | 762.04 c | 448762 | 134096 273306 | 226339 50706 5024975 99.1 | 87.286 % | 916.65 c | 547288 | 134076 273258 | 248973 149226 22862294 153.2 | 87.309 % | 1326.96 c | 695077 | 134070 273244 | 273870 297014 44653188 150.3 | 87.315 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s SATISFIABLE 1801.18 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 x1518 1801.18 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 1801.18 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1801.18 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1801.18 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1801.18 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1801.18 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1801.18 v -x1415 x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1801.18 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 x1383 -x1382 1801.18 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1801.18 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 1801.18 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 1801.18 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 1801.18 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 1801.18 v -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 1801.18 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 1801.18 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 1801.18 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 1801.18 v x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 1801.18 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 1801.18 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177 1801.18 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 1801.18 v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 1801.18 v -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 1801.18 v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 1801.18 v -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 1801.18 v -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 1801.18 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 1801.18 v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 1801.18 v -x1040 -x1039 -x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 1801.18 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 1801.18 v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 1801.18 v x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 1801.18 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 1801.18 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 1801.18 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1801.18 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1801.18 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1801.18 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1801.18 v -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1801.18 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1801.18 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1801.18 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1801.18 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1801.18 v x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1801.18 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1801.18 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 1801.18 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1801.18 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 1801.18 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1801.18 v -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1801.18 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 1801.18 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1801.18 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 1801.18 v -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1801.18 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 1801.18 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1801.18 v x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 1801.18 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1801.18 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1801.18 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 1801.18 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1801.18 v -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1801.18 v -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1801.18 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 1801.18 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1801.18 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 1801.18 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1801.18 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 1801.18 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1801.18 v -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1801.18 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1801.18 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 1801.18 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1801.18 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1801.18 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1801.18 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1801.18 v -x29 -x28 x27 -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 1801.18 v -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/node77/watcher-35637-1149300245 -o ROOT/results/node77/solver-35637-1149300245 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/35637-1149300245/instance-35637-1149300245.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.97 0.93 2/67 4395 /proc/meminfo: memFree=1479704/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=1340 CPUtime=0 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 154 0 0 0 0 0 0 0 20 0 1 0 195663676 1372160 140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134601182 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 335 141 67 215 0 117 0 [startup+10.0026 s] /proc/loadavg: 0.94 0.97 0.93 2/67 4395 /proc/meminfo: memFree=1437408/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=44760 CPUtime=9.99 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 11050 0 0 0 983 16 0 0 25 0 1 0 195663676 45834240 10665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569829 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 11190 10665 110 215 0 10972 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 44760 [startup+20.0088 s] /proc/loadavg: 0.95 0.97 0.93 2/67 4395 /proc/meminfo: memFree=1437216/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=45392 CPUtime=19.99 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 11149 0 0 0 1983 16 0 0 25 0 1 0 195663676 46481408 10764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 11348 10764 110 215 0 11130 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 45392 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.93 2/67 4395 /proc/meminfo: memFree=1437344/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=45392 CPUtime=30 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 11149 0 0 0 2984 16 0 0 25 0 1 0 195663676 46481408 10764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 11348 10764 110 215 0 11130 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 45392 [startup+40.0213 s] /proc/loadavg: 0.96 0.97 0.93 2/67 4395 /proc/meminfo: memFree=1437280/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=45392 CPUtime=40 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 11165 0 0 0 3984 16 0 0 25 0 1 0 195663676 46481408 10777 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 11348 10777 110 215 0 11130 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 45392 [startup+50.0286 s] /proc/loadavg: 1.04 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1437152/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=45556 CPUtime=50 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 11204 0 0 0 4984 16 0 0 25 0 1 0 195663676 46649344 10816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 11389 10816 110 215 0 11171 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 45556 [startup+60.0338 s] /proc/loadavg: 1.03 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1434272/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=48524 CPUtime=60 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 11915 0 0 0 5984 16 0 0 25 0 1 0 195663676 49688576 11527 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 12131 11527 110 215 0 11913 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48524 [startup+70.04 s] /proc/loadavg: 1.03 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1428192/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=54676 CPUtime=70.01 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 13467 0 0 0 6983 18 0 0 25 0 1 0 195663676 55988224 13045 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 13669 13045 110 215 0 13451 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 54676 [startup+80.0463 s] /proc/loadavg: 1.02 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1425696/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=57068 CPUtime=80.01 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 14154 0 0 0 7982 19 0 0 25 0 1 0 195663676 58437632 13665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 14267 13665 110 215 0 14049 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 57068 [startup+90.0525 s] /proc/loadavg: 1.02 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1420768/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=61920 CPUtime=90.02 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 15382 0 0 0 8981 21 0 0 25 0 1 0 195663676 63406080 14893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 15480 14893 110 215 0 15262 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 61920 [startup+100.059 s] /proc/loadavg: 1.01 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1415648/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=67040 CPUtime=100.01 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 16668 0 0 0 9980 21 0 0 25 0 1 0 195663676 68648960 16179 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 16760 16179 110 215 0 16542 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 67040 [startup+110.065 s] /proc/loadavg: 1.01 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1410208/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=72708 CPUtime=110.03 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 18029 0 0 0 10980 23 0 0 25 0 1 0 195663676 74452992 17540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 18177 17540 110 215 0 17959 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 72708 [startup+120.07 s] /proc/loadavg: 1.01 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1406112/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=76784 CPUtime=120.02 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 19057 0 0 0 11978 24 0 0 25 0 1 0 195663676 78626816 18568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 19196 18568 110 215 0 18978 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 76784 [startup+130.076 s] /proc/loadavg: 1.01 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1400928/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=81900 CPUtime=130.03 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 20356 0 0 0 12977 26 0 0 25 0 1 0 195663676 83865600 19867 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 20475 19867 110 215 0 20257 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 81900 [startup+140.083 s] /proc/loadavg: 1.01 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1396704/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=86088 CPUtime=140.03 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 21406 0 0 0 13976 27 0 0 25 0 1 0 195663676 88154112 20917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 21522 20917 110 215 0 21304 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 86088 [startup+150.089 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1392096/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=90648 CPUtime=150.04 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 22548 0 0 0 14976 28 0 0 25 0 1 0 195663676 92823552 22059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 22662 22059 110 215 0 22444 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 90648 [startup+160.095 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1388320/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=94452 CPUtime=160.03 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 23495 0 0 0 15974 29 0 0 25 0 1 0 195663676 96718848 23006 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 23613 23006 110 215 0 23395 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 94452 [startup+170.101 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1383584/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=99032 CPUtime=170.04 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 24670 0 0 0 16973 31 0 0 25 0 1 0 195663676 101408768 24181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 24758 24181 110 215 0 24540 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 99032 [startup+180.107 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1379104/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=103576 CPUtime=180.05 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 25786 0 0 0 17972 33 0 0 25 0 1 0 195663676 106061824 25297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 25894 25297 110 215 0 25676 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 103576 [startup+190.113 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1375136/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=107760 CPUtime=190.05 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 26772 0 0 0 18971 34 0 0 25 0 1 0 195663676 110346240 26283 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 26940 26283 110 215 0 26722 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 107760 [startup+200.119 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1371232/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=111552 CPUtime=200.05 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 27744 0 0 0 19970 35 0 0 25 0 1 0 195663676 114229248 27255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 27888 27255 110 215 0 27670 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 111552 [startup+210.125 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1368352/2055892 swapFree=4085336/4096564 ################ # More data... # ################ [pid=4395] ppid=4393 vsize=243860 CPUtime=1781.58 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178080 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 243860 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1782.58 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178180 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 243860 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1783.58 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178280 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 243860 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1784.59 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178381 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 243860 [startup+1786.11 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1785.59 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178481 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 243860 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1786.6 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178582 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 243860 [startup+1788.12 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1787.6 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178682 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 243860 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1788.61 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178783 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 243860 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1789.61 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178883 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 243860 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1790.62 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 178984 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 243860 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1791.62 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179084 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 243860 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1792.63 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179185 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 243860 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1793.63 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179285 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 243860 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1794.64 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179386 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581173 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 243860 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1795.64 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179486 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 243860 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1796.64 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179586 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 243860 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1797.65 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179687 78 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 243860 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1798.66 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179787 79 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 243860 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1799.67 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179888 79 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 243860 [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1800.67 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179988 79 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 243860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.93 2/67 4395 /proc/meminfo: memFree=1238944/2055892 swapFree=4085336/4096564 [pid=4395] ppid=4393 vsize=243860 CPUtime=1800.68 /proc/4395/stat : 4395 (minisat+) R 4393 4395 4349 0 -1 4194304 60758 0 0 0 179989 79 0 0 25 0 1 0 195663676 249712640 60236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4395/statm: 60965 60236 110 215 0 60747 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 243860 Sending SIGTERM to -4395 Sleeping 2 seconds Child status: 10 Real time (s): 1801.22 CPU time (s): 1800.72 CPU user time (s): 1799.89 CPU system time (s): 0.824874 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (Kb): 243860
Begin job on node77 on Sat Jun 3 02:04:05 UTC 2006 FILE ID= 35637-1149300245 PBS_JOBID= 307338 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/35637-1149300245/instance-35637-1149300245.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-35637-1149300245 -o ROOT/results/node77/solver-35637-1149300245 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/35637-1149300245/instance-35637-1149300245.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876 RANDOM SEED= 313145955 /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.238 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 : 6006.16 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.238 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1480104 kB Buffers: 38548 kB Cached: 468400 kB SwapCached: 2644 kB Active: 112092 kB Inactive: 403696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1480104 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 212 kB Writeback: 0 kB Mapped: 16132 kB Slab: 46724 kB Committed_AS: 291360 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sat Jun 3 02:34:06 UTC 2006