Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -52 | 1800.49 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb |
MD5SUM | 937ec96fd1742e5ed6250d14e65c707b |
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.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 127011 |
Number of constraints which are clauses | 127011 |
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.43 c Converting 127011 PB-constraints to clauses... 3.44 c -- Unit propagations: (none) 3.45 c -- Detecting intervals from adjacent constraints: (none) 3.45 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.75 c ==================================[MINISAT+]================================== 3.75 c | Conflicts | Original | Learnt | Progress | 3.75 c | | Clauses Literals | Max Clauses Literals LPC | | 3.75 c ============================================================================== 3.75 c | 0 | 127011 254022 | 42337 0 0 nan | 0.000 % | 3.75 c ============================================================================== 3.75 c [1mFound solution: -39[0m 3.75 o -39 3.77 c ---[ 0]---> Sorter-cost:85954 Base: 3.98 c ==================================[MINISAT+]================================== 3.98 c | Conflicts | Original | Learnt | Progress | 3.98 c | | Clauses Literals | Max Clauses Literals LPC | | 3.98 c ============================================================================== 3.98 c | 0 | 217724 466825 | 72574 0 0 nan | 0.000 % | 4.28 c | 101 | 217100 465520 | 79831 75 1891 25.2 | 0.552 % | 4.69 c | 251 | 216142 463482 | 87814 175 2869 16.4 | 1.472 % | 4.87 c ============================================================================== 4.87 c [1mFound solution: -41[0m 4.87 o -41 4.88 c ---[ 0]---> Sorter-cost: 0 Base: 4.97 c ==================================[MINISAT+]================================== 4.97 c | Conflicts | Original | Learnt | Progress | 4.97 c | | Clauses Literals | Max Clauses Literals LPC | | 4.97 c ============================================================================== 4.97 c | 283 | 215895 463068 | 71965 196 3081 15.7 | 1.472 % | 5.17 c | 383 | 215282 461707 | 79161 278 3977 14.3 | 2.308 % | 5.54 c | 533 | 214159 459226 | 87077 364 4788 13.2 | 3.458 % | 6.11 c | 758 | 213006 456739 | 95785 549 6483 11.8 | 4.484 % | 7.13 c | 1095 | 209782 449507 | 105363 745 9421 12.6 | 7.724 % | 8.42 c | 1601 | 206432 442115 | 115900 1112 13705 12.3 | 10.979 % | 10.30 c | 2360 | 201924 431973 | 127490 1602 20009 12.5 | 15.533 % | 12.87 c | 3500 | 195490 417458 | 140239 2379 31301 13.2 | 22.054 % | 16.53 c | 5208 | 186285 396444 | 154263 3408 43041 12.6 | 31.638 % | 20.93 c | 7770 | 173869 367796 | 169689 5209 63334 12.2 | 44.393 % | 26.07 c | 11614 | 161751 339183 | 186658 7679 87729 11.4 | 57.565 % | 27.82 c ============================================================================== 27.82 c [1mFound solution: -42[0m 27.82 o -42 27.84 c ---[ 0]---> Sorter-cost: 0 Base: 27.94 c ==================================[MINISAT+]================================== 27.94 c | Conflicts | Original | Learnt | Progress | 27.94 c | | Clauses Literals | Max Clauses Literals LPC | | 27.94 c ============================================================================== 27.94 c | 13187 | 157688 329476 | 52562 8663 102201 11.8 | 57.565 % | 28.20 c | 13287 | 156933 327666 | 57818 8663 102407 11.8 | 62.822 % | 28.40 c | 13437 | 156496 326637 | 63600 8745 104289 11.9 | 63.301 % | 28.62 c | 13662 | 155926 325281 | 69960 8819 104473 11.8 | 63.932 % | 28.90 c | 13999 | 155223 323650 | 76956 9083 108132 11.9 | 64.683 % | 29.52 c | 14505 | 153620 319797 | 84651 9246 108097 11.7 | 66.481 % | 30.08 c | 15266 | 152501 317114 | 93116 9748 115430 11.8 | 67.730 % | 31.03 c | 16405 | 150344 311979 | 102428 10394 122912 11.8 | 70.057 % | 32.37 c | 18113 | 147697 305619 | 112671 11549 139462 12.1 | 72.985 % | 32.66 c ============================================================================== 32.66 c [1mFound solution: -43[0m 32.66 o -43 32.68 c ---[ 0]---> Sorter-cost: 0 Base: 32.79 c ==================================[MINISAT+]================================== 32.79 c | Conflicts | Original | Learnt | Progress | 32.79 c | | Clauses Literals | Max Clauses Literals LPC | | 32.79 c ============================================================================== 32.79 c | 18694 | 147539 305334 | 49179 12008 148388 12.4 | 72.985 % | 32.87 c | 18794 | 147400 304996 | 54096 12090 148857 12.3 | 73.377 % | 33.06 c | 18945 | 146811 303591 | 59506 12125 150381 12.4 | 74.016 % | 33.27 c | 19170 | 146618 303111 | 65457 12274 152728 12.4 | 74.244 % | 33.54 c | 19507 | 145916 301459 | 72002 12424 155150 12.5 | 75.006 % | 33.95 c | 20013 | 145431 300287 | 79203 12767 162117 12.7 | 75.554 % | 34.48 c | 20772 | 144765 298681 | 87123 13375 171555 12.8 | 76.309 % | 35.24 c | 21911 | 143552 295765 | 95835 14116 185523 13.1 | 77.671 % | 35.93 c ============================================================================== 35.93 c [1mFound solution: -44[0m 35.93 o -44 35.95 c ---[ 0]---> Sorter-cost: 0 Base: 36.06 c ==================================[MINISAT+]================================== 36.06 c | Conflicts | Original | Learnt | Progress | 36.06 c | | Clauses Literals | Max Clauses Literals LPC | | 36.06 c ============================================================================== 36.06 c | 23059 | 142709 293706 | 47569 14897 209048 14.0 | 77.671 % | 36.16 c | 23159 | 142510 293231 | 52325 14949 209340 14.0 | 78.860 % | 36.30 c | 23310 | 142062 292140 | 57558 14929 208787 14.0 | 79.346 % | 36.49 c | 23536 | 141876 291690 | 63314 15084 214231 14.2 | 79.559 % | 36.71 c | 23873 | 141619 291066 | 69645 15263 216726 14.2 | 79.842 % | 36.97 c | 24380 | 141451 290658 | 76610 15623 225005 14.4 | 80.026 % | 37.20 c | 25139 | 141389 290517 | 84271 16374 240561 14.7 | 80.090 % | 37.66 c | 26278 | 141010 289613 | 92698 17296 268483 15.5 | 80.505 % | 38.39 c | 27986 | 140784 289062 | 101968 18835 308966 16.4 | 80.767 % | 39.48 c | 30548 | 140209 287664 | 112165 21022 405981 19.3 | 81.421 % | 40.19 c ============================================================================== 40.19 c [1mFound solution: -45[0m 40.19 o -45 40.22 c ---[ 0]---> Sorter-cost: 0 Base: 40.33 c ==================================[MINISAT+]================================== 40.33 c | Conflicts | Original | Learnt | Progress | 40.33 c | | Clauses Literals | Max Clauses Literals LPC | | 40.33 c ============================================================================== 40.33 c | 31778 | 139373 285667 | 46457 21842 443937 20.3 | 81.421 % | 40.41 c | 31878 | 139276 285430 | 51102 21902 444674 20.3 | 82.494 % | 40.46 c | 32029 | 139276 285430 | 56212 22053 447802 20.3 | 82.494 % | 40.64 c | 32254 | 139132 285074 | 61834 22160 457327 20.6 | 82.665 % | 40.77 c | 32591 | 139096 284980 | 68017 22456 466009 20.8 | 82.711 % | 41.00 c | 33097 | 139094 284976 | 74819 22954 500316 21.8 | 82.712 % | 41.28 c | 33856 | 139054 284872 | 82301 23600 526498 22.3 | 82.762 % | 41.88 c | 34995 | 138920 284556 | 90531 24549 663204 27.0 | 82.909 % | 42.66 c ============================================================================== 42.66 c [1mFound solution: -46[0m 42.66 o -46 42.69 c ---[ 0]---> Sorter-cost: 0 Base: 42.81 c ==================================[MINISAT+]================================== 42.81 c | Conflicts | Original | Learnt | Progress | 42.81 c | | Clauses Literals | Max Clauses Literals LPC | | 42.81 c ============================================================================== 42.81 c | 36284 | 138821 284259 | 46273 25668 883732 34.4 | 82.909 % | 42.95 c | 36385 | 138694 283953 | 50900 25669 884126 34.4 | 83.174 % | 43.02 c | 36536 | 138694 283953 | 55990 25820 891891 34.5 | 83.174 % | 43.18 c | 36762 | 138602 283731 | 61589 25934 893650 34.5 | 83.279 % | 43.34 c | 37100 | 138554 283617 | 67748 26205 902693 34.4 | 83.333 % | 43.67 c | 37606 | 138370 283163 | 74523 26546 924148 34.8 | 83.550 % | 44.03 c | 38365 | 138313 283026 | 81975 27113 948062 35.0 | 83.615 % | 44.25 c ============================================================================== 44.25 c [1mFound solution: -48[0m 44.25 o -48 44.27 c ---[ 0]---> Sorter-cost: 0 Base: 44.40 c ==================================[MINISAT+]================================== 44.40 c | Conflicts | Original | Learnt | Progress | 44.40 c | | Clauses Literals | Max Clauses Literals LPC | | 44.40 c ============================================================================== 44.40 c | 38791 | 138360 283160 | 46120 27022 836672 31.0 | 83.615 % | 44.45 c | 38892 | 138358 283156 | 50732 27122 837742 30.9 | 83.607 % | 44.58 c | 39043 | 138332 283094 | 55805 27268 842795 30.9 | 83.636 % | 44.79 c | 39268 | 138117 282577 | 61385 27410 845816 30.9 | 83.879 % | 44.96 c | 39605 | 138117 282577 | 67524 27747 884440 31.9 | 83.879 % | 45.23 c | 40111 | 138075 282477 | 74276 28208 904104 32.1 | 83.926 % | 45.66 c | 40870 | 137982 282266 | 81704 28889 956337 33.1 | 84.019 % | 46.25 c | 42009 | 137859 281970 | 89874 29943 1018380 34.0 | 84.157 % | 47.22 c | 43717 | 137738 281685 | 98862 31588 1206634 38.2 | 84.288 % | 48.57 c | 46279 | 137357 280740 | 108748 33696 1418373 42.1 | 84.732 % | 51.25 c | 50123 | 137309 280630 | 119623 37526 2132174 56.8 | 84.782 % | 55.02 c ============================================================================== 55.02 c [1mFound solution: -49[0m 55.02 o -49 55.05 c ---[ 0]---> Sorter-cost: 0 Base: 55.20 c ==================================[MINISAT+]================================== 55.20 c | Conflicts | Original | Learnt | Progress | 55.20 c | | Clauses Literals | Max Clauses Literals LPC | | 55.20 c ============================================================================== 55.20 c | 55401 | 137127 280197 | 45709 42680 2974708 69.7 | 84.782 % | 55.24 c | 55501 | 137127 280197 | 50279 42780 2976346 69.6 | 85.002 % | 55.41 c | 55651 | 136978 279835 | 55307 42557 2970739 69.8 | 85.168 % | 55.57 c | 55876 | 136978 279835 | 60838 42782 2981811 69.7 | 85.168 % | 55.92 c | 56213 | 136946 279745 | 66922 42968 2999837 69.8 | 85.208 % | 56.34 c | 56720 | 136769 279322 | 73614 42865 3011417 70.3 | 85.406 % | 56.94 c | 57479 | 136682 279123 | 80976 43566 3091567 71.0 | 85.496 % | 57.67 c | 58618 | 136682 279123 | 89073 44705 3176085 71.0 | 85.496 % | 58.91 c | 60327 | 136677 279112 | 97981 46359 3394772 73.2 | 85.501 % | 61.19 c | 62889 | 136606 278935 | 107779 48822 3952476 81.0 | 85.586 % | 64.09 c | 66734 | 136606 278935 | 118557 52667 4362427 82.8 | 85.586 % | 67.40 c ============================================================================== 67.40 c [1mFound solution: -50[0m 67.40 o -50 67.43 c ---[ 0]---> Sorter-cost: 0 Base: 67.60 c ==================================[MINISAT+]================================== 67.60 c | Conflicts | Original | Learnt | Progress | 67.60 c | | Clauses Literals | Max Clauses Literals LPC | | 67.60 c ============================================================================== 67.60 c | 70484 | 136545 278743 | 45515 56061 4839854 86.3 | 85.586 % | 67.69 c | 70585 | 136545 278743 | 50066 56162 4844298 86.3 | 85.659 % | 67.81 c | 70735 | 136545 278743 | 55073 56312 4853620 86.2 | 85.659 % | 68.10 c | 70965 | 136508 278657 | 60580 56513 4877293 86.3 | 85.698 % | 68.44 c | 71302 | 136496 278631 | 66638 56834 4903232 86.3 | 85.709 % | 68.80 c | 71808 | 136496 278631 | 73302 57340 4937196 86.1 | 85.709 % | 69.33 c | 72567 | 136496 278631 | 80632 58099 4981194 85.7 | 85.709 % | 70.55 c | 73706 | 136461 278546 | 88695 59205 5136627 86.8 | 85.749 % | 72.32 c | 75418 | 136461 278546 | 97565 60917 5434311 89.2 | 85.749 % | 74.84 c | 77980 | 136417 278438 | 107321 63453 5774796 91.0 | 85.799 % | 79.01 c | 81824 | 136321 278208 | 118054 67105 6309832 94.0 | 85.907 % | 86.55 c | 87590 | 136321 278208 | 129859 72871 7685311 105.5 | 85.907 % | 97.76 c | 96241 | 136217 277949 | 142845 81328 9191572 113.0 | 86.031 % | 117.03 c | 109215 | 136204 277918 | 157130 94286 11641845 123.5 | 86.046 % | 149.04 c ============================================================================== 149.04 c [1mFound solution: -51[0m 149.04 o -51 149.07 c ---[ 0]---> Sorter-cost: 0 Base: 149.38 c ==================================[MINISAT+]================================== 149.38 c | Conflicts | Original | Learnt | Progress | 149.38 c | | Clauses Literals | Max Clauses Literals LPC | | 149.38 c ============================================================================== 149.38 c | 125220 | 136194 277914 | 45398 110254 16471650 149.4 | 86.046 % | 149.75 c | 125320 | 136181 277883 | 49937 20057 4267558 212.8 | 86.113 % | 149.89 c | 125470 | 136169 277853 | 54931 20206 4271480 211.4 | 86.113 % | 149.92 c | 125697 | 136169 277853 | 60424 20433 4273810 209.2 | 86.113 % | 150.17 c | 126034 | 136117 277724 | 66467 20608 4287831 208.1 | 86.174 % | 150.81 c | 126540 | 135890 277186 | 73113 21097 4314903 204.5 | 86.423 % | 151.17 c | 127299 | 135890 277186 | 80425 21856 4363796 199.7 | 86.423 % | 151.67 c | 128438 | 135890 277186 | 88467 22995 4434339 192.8 | 86.423 % | 152.48 c | 130146 | 135868 277130 | 97314 24672 4540070 184.0 | 86.451 % | 153.72 c | 132709 | 135755 276862 | 107046 27219 4704140 172.8 | 86.574 % | 156.33 c | 136554 | 135751 276852 | 117750 31061 5320921 171.3 | 86.579 % | 160.17 c | 142320 | 135645 276598 | 129525 36769 5908029 160.7 | 86.698 % | 167.22 c | 150969 | 135622 276541 | 142478 45411 7122478 156.8 | 86.725 % | 179.18 c | 163943 | 135377 275953 | 156726 58104 8615626 148.3 | 86.995 % | 201.26 c | 183404 | 135186 275506 | 172398 77279 11243538 145.5 | 87.201 % | 242.68 c | 212596 | 135136 275378 | 189638 106355 16308482 153.3 | 87.262 % | 338.13 c | 256385 | 135136 275378 | 208602 150144 24609310 163.9 | 87.262 % | 495.93 c ============================================================================== 495.93 c [1mFound solution: -52[0m 495.93 o -52 495.96 c ---[ 0]---> Sorter-cost: 0 Base: 496.52 c ==================================[MINISAT+]================================== 496.52 c | Conflicts | Original | Learnt | Progress | 496.52 c | | Clauses Literals | Max Clauses Literals LPC | | 496.52 c ============================================================================== 496.52 c | 319218 | 135118 275317 | 45039 212629 36982741 173.9 | 87.262 % | 497.34 c | 319319 | 135102 275277 | 49542 23999 2954720 123.1 | 87.302 % | 497.45 c | 319469 | 135102 275277 | 54497 24149 2958652 122.5 | 87.302 % | 497.58 c | 319694 | 135102 275277 | 59946 24374 2971371 121.9 | 87.302 % | 497.75 c | 320031 | 135102 275277 | 65941 24711 2996195 121.2 | 87.302 % | 497.97 c | 320537 | 135102 275277 | 72535 25217 3032767 120.3 | 87.302 % | 498.44 c | 321296 | 135070 275205 | 79789 25962 3089953 119.0 | 87.334 % | 499.03 c | 322435 | 135070 275205 | 87768 27101 3165373 116.8 | 87.334 % | 499.94 c | 324143 | 135070 275205 | 96545 28809 3294990 114.4 | 87.334 % | 501.48 c | 326705 | 135070 275205 | 106199 31371 3594774 114.6 | 87.334 % | 504.24 c | 330549 | 135025 275096 | 116819 35180 4108395 116.8 | 87.386 % | 508.59 c | 336315 | 135025 275096 | 128501 40946 4934785 120.5 | 87.386 % | 515.57 c | 344964 | 134979 274988 | 141351 49583 6070038 122.4 | 87.436 % | 528.08 c | 357939 | 134979 274988 | 155486 62558 8149187 130.3 | 87.436 % | 552.12 c | 377401 | 134971 274968 | 171035 82016 11007905 134.2 | 87.445 % | 596.72 c | 406593 | 134952 274923 | 188139 111200 16198587 145.7 | 87.466 % | 678.59 c | 450383 | 134930 274869 | 206952 154931 23785627 153.5 | 87.492 % | 850.04 c | 516067 | 134920 274845 | 227648 220565 35722294 162.0 | 87.503 % | 1113.92 c | 614594 | 134911 274822 | 250413 58194 11304096 194.2 | 87.514 % | 1391.50 c | 762383 | 134819 274614 | 275454 205959 37702602 183.1 | 87.607 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s SATISFIABLE 1801.19 v -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1801.19 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1801.19 v -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1801.19 v -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1801.19 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1801.19 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433 1801.19 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 1801.19 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1801.19 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1801.19 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1801.19 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347 1801.19 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 1801.19 v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 1801.19 v -x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 1801.19 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 1801.19 v -x1278 -x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 1801.19 v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 1801.19 v -x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 1801.19 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 1801.19 v -x1210 -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 1801.19 v -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 1801.19 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 1801.19 v -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 1801.19 v -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 1801.19 v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 1801.19 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 1801.19 v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 1801.19 v -x1074 -x1073 -x1072 -x1071 -x1070 x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 1801.19 v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041 1801.19 v -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 1801.19 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 1801.19 v -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 1801.19 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 1801.19 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 1801.19 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 1801.19 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1801.19 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1801.19 v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1801.19 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1801.19 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 1801.19 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1801.19 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 x779 -x778 1801.19 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1801.19 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 1801.19 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1801.19 v -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1801.19 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1801.19 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1801.19 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1801.19 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1801.19 v -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 1801.19 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1801.19 v x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1801.19 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1801.19 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1801.19 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1801.19 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 1801.19 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1801.19 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1801.19 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1801.19 v x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1801.19 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1801.19 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 1801.19 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1801.19 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1801.19 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1801.19 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1801.19 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1801.19 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1801.19 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1801.19 v -x189 -x188 x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1801.19 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1801.19 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1801.19 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1801.19 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.19 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.19 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.19 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.19 v -x1
OK -52
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/node74/watcher-35634-1149299922 -o ROOT/results/node74/solver-35634-1149299922 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node74/35634-1149299922/instance-35634-1149299922.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 5164 /proc/meminfo: memFree=1417576/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=1340 CPUtime=0 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 171 0 0 0 0 0 0 0 19 0 1 0 195656538 1372160 156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 335 156 68 215 0 117 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/64 5164 /proc/meminfo: memFree=1374448/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=45724 CPUtime=9.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 11140 0 0 0 979 19 0 0 25 0 1 0 195656538 46821376 10844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 11431 10844 111 215 0 11213 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 45724 [startup+20.0093 s] /proc/loadavg: 0.94 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1374576/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=45724 CPUtime=19.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 11140 0 0 0 1979 19 0 0 25 0 1 0 195656538 46821376 10844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 11431 10844 111 215 0 11213 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 45724 [startup+30.0163 s] /proc/loadavg: 0.95 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1374576/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=45724 CPUtime=29.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 11140 0 0 0 2979 19 0 0 25 0 1 0 195656538 46821376 10844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 11431 10844 111 215 0 11213 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 45724 [startup+40.0232 s] /proc/loadavg: 0.95 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1374576/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=45752 CPUtime=39.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 11152 0 0 0 3979 20 0 0 25 0 1 0 195656538 46850048 10855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 11438 10855 111 215 0 11220 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 45752 [startup+50.0302 s] /proc/loadavg: 0.96 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1374448/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=45912 CPUtime=49.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 11183 0 0 0 4979 20 0 0 25 0 1 0 195656538 47013888 10886 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 11478 10886 111 215 0 11260 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 45912 [startup+60.0361 s] /proc/loadavg: 0.97 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1369712/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=50772 CPUtime=59.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 12414 0 0 0 5978 21 0 0 25 0 1 0 195656538 51990528 12083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 12693 12083 111 215 0 12475 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 50772 [startup+70.0421 s] /proc/loadavg: 0.97 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1363440/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=56912 CPUtime=69.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 14011 0 0 0 6977 22 0 0 25 0 1 0 195656538 58277888 13646 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 14228 13646 111 215 0 14010 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 56912 [startup+80.0481 s] /proc/loadavg: 0.98 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1357744/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=62696 CPUtime=79.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 15431 0 0 0 7976 23 0 0 25 0 1 0 195656538 64200704 15066 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 15674 15066 111 215 0 15456 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 62696 [startup+90.054 s] /proc/loadavg: 0.98 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1350512/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=69924 CPUtime=89.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 17233 0 0 0 8975 24 0 0 25 0 1 0 195656538 71602176 16868 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 17481 16868 111 215 0 17263 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 69924 [startup+100.06 s] /proc/loadavg: 0.98 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1345456/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=74912 CPUtime=100 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 18493 0 0 0 9974 26 0 0 25 0 1 0 195656538 76709888 18128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 18728 18128 111 215 0 18510 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 74912 [startup+110.066 s] /proc/loadavg: 0.98 0.96 0.91 2/64 5164 /proc/meminfo: memFree=1339952/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=80300 CPUtime=109.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 19861 0 0 0 10972 27 0 0 25 0 1 0 195656538 82227200 19496 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581139 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 20075 19496 111 215 0 19857 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 80300 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5164 /proc/meminfo: memFree=1334832/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=85584 CPUtime=120 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 21146 0 0 0 11971 29 0 0 25 0 1 0 195656538 87638016 20781 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 21396 20781 111 215 0 21178 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 85584 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5164 /proc/meminfo: memFree=1328304/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=92144 CPUtime=130 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 22768 0 0 0 12970 30 0 0 25 0 1 0 195656538 94355456 22403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 23036 22403 111 215 0 22818 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 92144 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.91 2/70 5187 /proc/meminfo: memFree=1320832/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=98548 CPUtime=139.99 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 24373 0 0 0 13967 32 0 0 25 0 1 0 195656538 100913152 24008 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 24637 24008 111 215 0 24419 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 98548 [startup+150.091 s] /proc/loadavg: 0.99 0.97 0.91 2/70 5235 /proc/meminfo: memFree=1314928/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=104056 CPUtime=149.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 25810 0 0 0 14962 36 0 0 25 0 1 0 195656538 106553344 25413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 26014 25413 111 215 0 25796 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 104056 [startup+160.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5359 /proc/meminfo: memFree=1315872/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=104056 CPUtime=159.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 25810 0 0 0 15957 41 0 0 25 0 1 0 195656538 106553344 25413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 26014 25413 111 215 0 25796 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 104056 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5359 /proc/meminfo: memFree=1315888/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=104056 CPUtime=169.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 25810 0 0 0 16957 41 0 0 25 0 1 0 195656538 106553344 25413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 26014 25413 111 215 0 25796 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 104056 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5359 /proc/meminfo: memFree=1315888/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=104056 CPUtime=179.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 25810 0 0 0 17957 41 0 0 25 0 1 0 195656538 106553344 25413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 26014 25413 111 215 0 25796 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 104056 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5359 /proc/meminfo: memFree=1315888/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=104056 CPUtime=189.98 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 25810 0 0 0 18957 41 0 0 25 0 1 0 195656538 106553344 25413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 26014 25413 111 215 0 25796 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 104056 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.91 4/72 5730 /proc/meminfo: memFree=1313552/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=104056 CPUtime=199.97 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 25810 0 0 0 19955 42 0 0 25 0 1 0 195656538 106553344 25413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/5164/statm: 26014 25413 111 215 0 25796 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 104056 [startup+210.128 s] /proc/loadavg: 1.07 0.99 0.91 2/64 5835 /proc/meminfo: memFree=1315488/2055920 swapFree=4182292/4192956 ################ # More data... # ################ [pid=5164] ppid=5162 vsize=275156 CPUtime=1781.35 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68483 0 0 0 178044 91 0 0 25 0 1 0 195656538 281759744 68054 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68789 68054 111 215 0 68571 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 275156 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1145008/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275284 CPUtime=1782.36 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68503 0 0 0 178145 91 0 0 25 0 1 0 195656538 281890816 68074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135139026 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68821 68074 111 215 0 68603 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 275284 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144880/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275284 CPUtime=1783.36 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68523 0 0 0 178245 91 0 0 25 0 1 0 195656538 281890816 68094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68821 68094 111 215 0 68603 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 275284 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144816/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275412 CPUtime=1784.37 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68551 0 0 0 178346 91 0 0 25 0 1 0 195656538 282021888 68122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68853 68122 111 215 0 68635 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 275412 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144624/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275540 CPUtime=1785.37 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68585 0 0 0 178446 91 0 0 25 0 1 0 195656538 282152960 68156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575416 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68885 68156 111 215 0 68667 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 275540 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144560/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275672 CPUtime=1786.37 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68608 0 0 0 178546 91 0 0 25 0 1 0 195656538 282288128 68179 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68918 68179 111 215 0 68700 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 275672 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144496/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275672 CPUtime=1787.38 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68622 0 0 0 178647 91 0 0 25 0 1 0 195656538 282288128 68193 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68918 68193 111 215 0 68700 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 275672 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144432/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275800 CPUtime=1788.38 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68647 0 0 0 178747 91 0 0 25 0 1 0 195656538 282419200 68218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68950 68218 111 215 0 68732 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 275800 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144304/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=275932 CPUtime=1789.39 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68671 0 0 0 178848 91 0 0 25 0 1 0 195656538 282554368 68242 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 68983 68242 111 215 0 68765 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 275932 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144176/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276060 CPUtime=1790.39 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68706 0 0 0 178948 91 0 0 25 0 1 0 195656538 282685440 68277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69015 68277 111 215 0 68797 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 276060 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1144048/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276188 CPUtime=1791.39 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68741 0 0 0 179048 91 0 0 25 0 1 0 195656538 282816512 68312 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69047 68312 111 215 0 68829 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 276188 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143856/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276316 CPUtime=1792.4 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68776 0 0 0 179149 91 0 0 25 0 1 0 195656538 282947584 68347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69079 68347 111 215 0 68861 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 276316 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143728/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276448 CPUtime=1793.4 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68807 0 0 0 179249 91 0 0 25 0 1 0 195656538 283082752 68378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581165 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69112 68378 111 215 0 68894 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 276448 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143600/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276576 CPUtime=1794.4 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68844 0 0 0 179349 91 0 0 25 0 1 0 195656538 283213824 68415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69144 68415 111 215 0 68926 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 276576 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143472/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276704 CPUtime=1795.41 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68875 0 0 0 179450 91 0 0 25 0 1 0 195656538 283344896 68446 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69176 68446 111 215 0 68958 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 276704 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143408/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276832 CPUtime=1796.41 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68901 0 0 0 179550 91 0 0 25 0 1 0 195656538 283475968 68472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69208 68472 111 215 0 68990 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 276832 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143280/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276960 CPUtime=1797.42 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68933 0 0 0 179651 91 0 0 25 0 1 0 195656538 283607040 68504 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69240 68504 111 215 0 69022 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 276960 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143216/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276960 CPUtime=1798.42 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68949 0 0 0 179751 91 0 0 25 0 1 0 195656538 283607040 68520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69240 68520 111 215 0 69022 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 276960 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143216/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276960 CPUtime=1799.43 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68949 0 0 0 179852 91 0 0 25 0 1 0 195656538 283607040 68520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69240 68520 111 215 0 69022 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 276960 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143216/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276960 CPUtime=1800.43 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68949 0 0 0 179952 91 0 0 25 0 1 0 195656538 283607040 68520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69240 68520 111 215 0 69022 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 276960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 5835 /proc/meminfo: memFree=1143216/2055920 swapFree=4182292/4192956 [pid=5164] ppid=5162 vsize=276960 CPUtime=1800.43 /proc/5164/stat : 5164 (minisat+) R 5162 5164 5118 0 -1 4194304 68949 0 0 0 179952 91 0 0 25 0 1 0 195656538 283607040 68520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5164/statm: 69240 68520 111 215 0 69022 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 276960 Sending SIGTERM to -5164 Sleeping 2 seconds Child status: 10 Real time (s): 1801.24 CPU time (s): 1800.49 CPU user time (s): 1799.53 CPU system time (s): 0.962853 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (Kb): 276960
Begin job on node74 on Sat Jun 3 01:58:42 UTC 2006 FILE ID= 35634-1149299922 PBS_JOBID= 307292 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-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node74/35634-1149299922/instance-35634-1149299922.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-35634-1149299922 -o ROOT/results/node74/solver-35634-1149299922 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node74/35634-1149299922/instance-35634-1149299922.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b RANDOM SEED= 720687826 /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.274 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.274 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1417784 kB Buffers: 39164 kB Cached: 520244 kB SwapCached: 2476 kB Active: 27104 kB Inactive: 541180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1417784 kB SwapTotal: 4192956 kB SwapFree: 4182292 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15808 kB Slab: 55860 kB Committed_AS: 265496 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node74 on Sat Jun 3 02:28:43 UTC 2006