Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -54 | 1800.57 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | a2418d45f4247bab260506429e96e746 |
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.22 |
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 | 126555 |
Number of constraints which are clauses | 126555 |
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.39 c Converting 126555 PB-constraints to clauses... 3.41 c -- Unit propagations: (none) 3.41 c -- Detecting intervals from adjacent constraints: (none) 3.41 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.71 c ==================================[MINISAT+]================================== 3.71 c | Conflicts | Original | Learnt | Progress | 3.71 c | | Clauses Literals | Max Clauses Literals LPC | | 3.71 c ============================================================================== 3.71 c | 0 | 126555 253110 | 42185 0 0 nan | 0.000 % | 3.71 c ============================================================================== 3.71 c [1mFound solution: -38[0m 3.71 o -38 3.72 c ---[ 0]---> Sorter-cost:85954 Base: 3.92 c ==================================[MINISAT+]================================== 3.92 c | Conflicts | Original | Learnt | Progress | 3.92 c | | Clauses Literals | Max Clauses Literals LPC | | 3.92 c ============================================================================== 3.92 c | 0 | 217069 465444 | 72356 0 0 nan | 0.000 % | 4.18 c | 100 | 216790 464872 | 79591 89 600 6.7 | 0.248 % | 4.47 c | 250 | 216274 463770 | 87550 214 1440 6.7 | 0.724 % | 4.94 c | 475 | 214965 460959 | 96305 387 3800 9.8 | 1.942 % | 5.65 c | 812 | 213132 456972 | 105936 636 6869 10.8 | 3.690 % | 6.82 c | 1318 | 209951 449961 | 116530 1002 10730 10.7 | 6.792 % | 8.47 c | 2077 | 205662 440456 | 128183 1519 16520 10.9 | 11.021 % | 10.74 c | 3216 | 199835 427331 | 141001 2396 25951 10.8 | 16.918 % | 10.81 c ============================================================================== 10.81 c [1mFound solution: -43[0m 10.81 o -43 10.83 c ---[ 0]---> Sorter-cost: 0 Base: 10.92 c ==================================[MINISAT+]================================== 10.92 c | Conflicts | Original | Learnt | Progress | 10.92 c | | Clauses Literals | Max Clauses Literals LPC | | 10.92 c ============================================================================== 10.92 c | 3223 | 200270 428729 | 66756 2403 26015 10.8 | 16.918 % | 11.22 c | 3323 | 199641 427323 | 73431 2482 27299 11.0 | 17.474 % | 11.48 c | 3473 | 199268 426478 | 80774 2623 28620 10.9 | 17.853 % | 11.94 c | 3698 | 198296 424266 | 88852 2793 31030 11.1 | 18.843 % | 12.54 c | 4035 | 197051 421439 | 97737 3060 33694 11.0 | 20.114 % | 13.67 c | 4541 | 194569 415770 | 107511 3395 37438 11.0 | 22.737 % | 15.16 c | 5300 | 190369 406170 | 118262 3960 44788 11.3 | 27.005 % | 17.73 c | 6439 | 182768 388764 | 130088 4700 55187 11.7 | 34.909 % | 20.65 c | 8147 | 174224 368940 | 143097 5708 72305 12.7 | 43.717 % | 24.30 c | 10709 | 165439 348267 | 157407 7267 89810 12.4 | 53.135 % | 28.52 c | 14553 | 156316 326744 | 173147 9959 124967 12.5 | 63.024 % | 33.00 c | 20319 | 147828 306496 | 190462 14080 183519 13.0 | 72.300 % | 36.36 c ============================================================================== 36.36 c [1mFound solution: -44[0m 36.36 o -44 36.38 c ---[ 0]---> Sorter-cost: 0 Base: 36.49 c ==================================[MINISAT+]================================== 36.49 c | Conflicts | Original | Learnt | Progress | 36.49 c | | Clauses Literals | Max Clauses Literals LPC | | 36.49 c ============================================================================== 36.49 c | 25837 | 143368 295674 | 47789 17986 271545 15.1 | 72.300 % | 36.54 c | 25937 | 143318 295554 | 52567 18069 272521 15.1 | 77.378 % | 36.60 c | 26087 | 143318 295554 | 57824 18219 275625 15.1 | 77.378 % | 36.67 c | 26312 | 143318 295554 | 63607 18444 284168 15.4 | 77.378 % | 36.82 c | 26649 | 143163 295179 | 69967 18736 288281 15.4 | 77.554 % | 37.08 c ============================================================================== 37.08 c [1mFound solution: -45[0m 37.08 o -45 37.10 c ---[ 0]---> Sorter-cost: 0 Base: 37.22 c ==================================[MINISAT+]================================== 37.22 c | Conflicts | Original | Learnt | Progress | 37.22 c | | Clauses Literals | Max Clauses Literals LPC | | 37.22 c ============================================================================== 37.22 c | 27143 | 143076 295011 | 47692 19144 298953 15.6 | 77.554 % | 37.43 c | 27243 | 142556 293745 | 52461 19063 298397 15.7 | 78.265 % | 37.55 c | 27393 | 142450 293495 | 57707 19186 301638 15.7 | 78.379 % | 37.73 c | 27618 | 142241 292993 | 63478 19268 305978 15.9 | 78.614 % | 38.00 c | 27955 | 141995 292408 | 69825 19544 313502 16.0 | 78.883 % | 38.30 c | 28461 | 141729 291765 | 76808 19836 322624 16.3 | 79.180 % | 38.53 c ============================================================================== 38.53 c [1mFound solution: -46[0m 38.53 o -46 38.56 c ---[ 0]---> Sorter-cost: 0 Base: 38.67 c ==================================[MINISAT+]================================== 38.67 c | Conflicts | Original | Learnt | Progress | 38.67 c | | Clauses Literals | Max Clauses Literals LPC | | 38.67 c ============================================================================== 38.67 c | 28871 | 141560 291295 | 47186 20008 322581 16.1 | 79.180 % | 38.73 c | 28971 | 141515 291186 | 51904 20090 324233 16.1 | 79.429 % | 38.83 c | 29121 | 141400 290922 | 57095 20163 327469 16.2 | 79.549 % | 38.94 c | 29346 | 141396 290914 | 62804 20385 331852 16.3 | 79.552 % | 39.06 c | 29683 | 141396 290914 | 69085 20722 343595 16.6 | 79.552 % | 39.34 c | 30189 | 141159 290330 | 75993 21078 358393 17.0 | 79.823 % | 39.74 c | 30948 | 140973 289868 | 83592 21771 380728 17.5 | 80.043 % | 40.41 c | 32087 | 140117 287815 | 91952 22672 424529 18.7 | 80.992 % | 41.14 c | 33796 | 139646 286654 | 101147 23974 467827 19.5 | 81.524 % | 42.21 c | 36358 | 139155 285455 | 111262 26220 579099 22.1 | 82.076 % | 43.01 c ============================================================================== 43.01 c [1mFound solution: -47[0m 43.01 o -47 43.03 c ---[ 0]---> Sorter-cost: 0 Base: 43.15 c ==================================[MINISAT+]================================== 43.15 c | Conflicts | Original | Learnt | Progress | 43.15 c | | Clauses Literals | Max Clauses Literals LPC | | 43.15 c ============================================================================== 43.15 c | 38530 | 139217 285652 | 46405 28392 692199 24.4 | 82.076 % | 43.25 c | 38630 | 139120 285424 | 51045 28405 692322 24.4 | 82.155 % | 43.35 c | 38780 | 139069 285299 | 56150 28506 695478 24.4 | 82.215 % | 43.46 c | 39005 | 139069 285299 | 61765 28731 709046 24.7 | 82.215 % | 43.70 c | 39342 | 138819 284706 | 67941 28972 715394 24.7 | 82.490 % | 43.97 c | 39848 | 138809 284682 | 74735 29437 735124 25.0 | 82.502 % | 44.47 c | 40607 | 138612 284206 | 82209 29922 839034 28.0 | 82.721 % | 45.08 c | 41746 | 138426 283742 | 90430 30998 891426 28.8 | 82.941 % | 45.19 c ============================================================================== 45.19 c [1mFound solution: -49[0m 45.19 o -49 45.22 c ---[ 0]---> Sorter-cost: 0 Base: 45.34 c ==================================[MINISAT+]================================== 45.34 c | Conflicts | Original | Learnt | Progress | 45.34 c | | Clauses Literals | Max Clauses Literals LPC | | 45.34 c ============================================================================== 45.34 c | 41990 | 138454 283837 | 46151 31242 911340 29.2 | 82.941 % | 45.41 c | 42091 | 138428 283771 | 50766 31312 912232 29.1 | 82.953 % | 45.48 c | 42241 | 138428 283771 | 55842 31462 917434 29.2 | 82.953 % | 45.67 c | 42466 | 138278 283417 | 61426 31611 923903 29.2 | 83.114 % | 46.04 c | 42803 | 137928 282540 | 67569 31679 928965 29.3 | 83.529 % | 46.33 c | 43310 | 137872 282400 | 74326 32119 950929 29.6 | 83.595 % | 46.60 c | 44069 | 137866 282386 | 81759 32875 983833 29.9 | 83.602 % | 47.40 c | 45208 | 137455 281361 | 89935 33634 1027157 30.5 | 84.088 % | 48.34 c | 46916 | 137280 280916 | 98928 35056 1089866 31.1 | 84.300 % | 49.66 c | 49478 | 137202 280728 | 108821 37522 1272111 33.9 | 84.387 % | 52.12 c | 53324 | 137143 280585 | 119703 41254 1866319 45.2 | 84.453 % | 56.14 c | 59090 | 136637 279332 | 131674 46104 2356760 51.1 | 85.042 % | 62.62 c | 67740 | 136556 279141 | 144841 54534 3483570 63.9 | 85.129 % | 75.08 c | 80716 | 136315 278541 | 159325 66526 5357733 80.5 | 85.409 % | 86.95 c ============================================================================== 86.95 c [1mFound solution: -50[0m 86.95 o -50 86.98 c ---[ 0]---> Sorter-cost: 0 Base: 87.18 c ==================================[MINISAT+]================================== 87.18 c | Conflicts | Original | Learnt | Progress | 87.18 c | | Clauses Literals | Max Clauses Literals LPC | | 87.18 c ============================================================================== 87.18 c | 91931 | 136028 277798 | 45342 76435 6823228 89.3 | 85.409 % | 87.31 c | 92031 | 136028 277798 | 49876 76535 6827573 89.2 | 85.731 % | 87.49 c | 92181 | 136028 277798 | 54863 76685 6837964 89.2 | 85.731 % | 87.70 c | 92406 | 136028 277798 | 60350 76910 6853645 89.1 | 85.731 % | 88.09 c | 92743 | 136028 277798 | 66385 77247 6888984 89.2 | 85.731 % | 88.81 c | 93249 | 136006 277746 | 73023 77393 6919823 89.4 | 85.755 % | 90.34 c | 94008 | 135801 277258 | 80326 77892 6992575 89.8 | 85.981 % | 91.56 c | 95149 | 135801 277258 | 88358 79033 7143161 90.4 | 85.981 % | 93.36 c | 96858 | 135801 277258 | 97194 80742 7310652 90.5 | 85.981 % | 96.53 c | 99421 | 135794 277239 | 106914 83280 7717781 92.7 | 85.990 % | 101.10 c | 103266 | 135744 277110 | 117605 86790 8302212 95.7 | 86.052 % | 109.02 c | 109032 | 135618 276804 | 129366 92180 9208017 99.9 | 86.195 % | 121.36 c | 117681 | 135583 276725 | 142302 100781 10796546 107.1 | 86.230 % | 142.18 c | 130655 | 135583 276725 | 156532 113755 13366729 117.5 | 86.230 % | 163.17 c ============================================================================== 163.17 c [1mFound solution: -51[0m 163.17 o -51 163.19 c ---[ 0]---> Sorter-cost: 0 Base: 163.50 c ==================================[MINISAT+]================================== 163.50 c | Conflicts | Original | Learnt | Progress | 163.50 c | | Clauses Literals | Max Clauses Literals LPC | | 163.50 c ============================================================================== 163.50 c | 142723 | 135521 276601 | 45173 125296 15573034 124.3 | 86.230 % | 163.99 c | 142823 | 135506 276566 | 49690 25450 2459778 96.7 | 86.339 % | 164.10 c | 142973 | 135506 276566 | 54659 25600 2465974 96.3 | 86.339 % | 164.22 c | 143198 | 135506 276566 | 60125 25825 2473790 95.8 | 86.339 % | 164.48 c | 143538 | 135466 276463 | 66137 26120 2508871 96.1 | 86.389 % | 164.78 c | 144046 | 135457 276442 | 72751 26623 2535133 95.2 | 86.399 % | 165.27 c | 144805 | 135457 276442 | 80026 27382 2623469 95.8 | 86.399 % | 166.20 c | 145945 | 135318 276111 | 88029 28446 2748631 96.6 | 86.553 % | 167.28 c | 147654 | 135313 276100 | 96832 30150 2908905 96.5 | 86.558 % | 169.25 c | 150216 | 135305 276080 | 106515 32705 3332788 101.9 | 86.567 % | 172.39 c | 154060 | 135186 275787 | 117167 36497 3895528 106.7 | 86.706 % | 177.33 c | 159826 | 135186 275787 | 128883 42263 5032494 119.1 | 86.706 % | 185.95 c | 168476 | 135056 275467 | 141772 50809 6500407 127.9 | 86.855 % | 200.02 c | 181450 | 134967 275239 | 155949 63604 8803501 138.4 | 86.966 % | 227.42 c | 200911 | 134960 275222 | 171544 83064 12598146 151.7 | 86.974 % | 277.72 c | 230103 | 134960 275222 | 188698 112256 18482499 164.6 | 86.974 % | 363.58 c | 273892 | 134955 275211 | 207568 156043 26526961 170.0 | 86.979 % | 468.14 c ============================================================================== 468.14 c [1mFound solution: -52[0m 468.14 o -52 468.17 c ---[ 0]---> Sorter-cost: 0 Base: 468.71 c ==================================[MINISAT+]================================== 468.71 c | Conflicts | Original | Learnt | Progress | 468.71 c | | Clauses Literals | Max Clauses Literals LPC | | 468.71 c ============================================================================== 468.71 c | 314535 | 134933 275135 | 44977 196524 34023565 173.1 | 86.979 % | 469.51 c | 314635 | 134933 275135 | 49474 23158 2639091 114.0 | 87.003 % | 469.63 c | 314785 | 134933 275135 | 54422 23308 2642752 113.4 | 87.003 % | 469.74 c | 315010 | 134933 275135 | 59864 23533 2656843 112.9 | 87.003 % | 469.90 c | 315347 | 134933 275135 | 65850 23870 2671683 111.9 | 87.003 % | 470.16 c | 315853 | 134888 275026 | 72435 24367 2683352 110.1 | 87.053 % | 470.52 c | 316612 | 134872 274984 | 79679 25118 2711008 107.9 | 87.074 % | 470.96 c | 317751 | 134872 274984 | 87647 26257 2761370 105.2 | 87.074 % | 471.67 c | 319463 | 134865 274969 | 96412 27967 2859009 102.2 | 87.080 % | 472.94 c | 322025 | 134861 274959 | 106053 30526 3049773 99.9 | 87.085 % | 475.21 c | 325869 | 134844 274920 | 116658 34367 3514654 102.3 | 87.103 % | 478.67 c | 331635 | 134844 274920 | 128324 40133 4127965 102.9 | 87.103 % | 486.11 c | 340284 | 134844 274920 | 141157 48782 5741749 117.7 | 87.103 % | 499.94 c | 353259 | 134807 274833 | 155272 61741 8155044 132.1 | 87.143 % | 526.46 c | 372720 | 134801 274819 | 170800 81199 11830259 145.7 | 87.149 % | 577.53 c | 401912 | 134789 274791 | 187880 110386 16841117 152.6 | 87.162 % | 662.07 c | 445701 | 134752 274700 | 206668 154157 24896479 161.5 | 87.205 % | 822.41 c | 511385 | 134728 274638 | 227334 219811 36240330 164.9 | 87.236 % | 1037.57 c ============================================================================== 1037.57 c [1mFound solution: -53[0m 1037.57 o -53 1037.59 c ---[ 0]---> Sorter-cost: 0 Base: 1037.76 c ==================================[MINISAT+]================================== 1037.76 c | Conflicts | Original | Learnt | Progress | 1037.76 c | | Clauses Literals | Max Clauses Literals LPC | | 1037.76 c ============================================================================== 1037.76 c | 586778 | 134750 274701 | 44916 35986 3899568 108.4 | 87.236 % | 1037.85 c | 586878 | 134750 274701 | 49407 36086 3903988 108.2 | 87.220 % | 1038.01 c | 587028 | 134732 274655 | 54348 36231 3910336 107.9 | 87.242 % | 1038.25 c | 587253 | 134722 274631 | 59783 36434 3917265 107.5 | 87.254 % | 1038.58 c | 587590 | 134686 274544 | 65761 36767 3936358 107.1 | 87.291 % | 1039.03 c | 588096 | 134642 274442 | 72337 37264 3966125 106.4 | 87.337 % | 1039.49 c | 588855 | 134642 274442 | 79571 38023 4024889 105.9 | 87.337 % | 1040.18 c | 589995 | 134642 274442 | 87528 39163 4137877 105.7 | 87.337 % | 1041.51 c | 591704 | 134592 274320 | 96281 40862 4393858 107.5 | 87.395 % | 1043.70 c | 594266 | 134592 274320 | 105909 43424 4939722 113.8 | 87.395 % | 1046.70 c | 598111 | 134592 274320 | 116500 47269 5425615 114.8 | 87.395 % | 1051.95 c | 603878 | 134592 274320 | 128150 53036 6374320 120.2 | 87.395 % | 1060.73 c ============================================================================== 1060.73 c [1mFound solution: -54[0m 1060.73 o -54 1060.75 c ---[ 0]---> Sorter-cost: 0 Base: 1060.96 c ==================================[MINISAT+]================================== 1060.96 c | Conflicts | Original | Learnt | Progress | 1060.96 c | | Clauses Literals | Max Clauses Literals LPC | | 1060.96 c ============================================================================== 1060.96 c | 610897 | 134559 274208 | 44853 60037 7823694 130.3 | 87.395 % | 1061.09 c | 610999 | 134559 274208 | 49338 60139 7828607 130.2 | 87.434 % | 1061.25 c | 611149 | 134559 274208 | 54272 60289 7835223 130.0 | 87.434 % | 1061.58 c | 611374 | 134522 274119 | 59699 60471 7850575 129.8 | 87.476 % | 1061.91 c | 611711 | 134522 274119 | 65669 60808 7874206 129.5 | 87.476 % | 1062.42 c | 612217 | 134522 274119 | 72236 61314 7915795 129.1 | 87.476 % | 1063.18 c | 612976 | 134522 274119 | 79459 62073 7975609 128.5 | 87.476 % | 1064.33 c | 614116 | 134484 274034 | 87405 63166 8052146 127.5 | 87.512 % | 1066.27 c | 615824 | 134480 274024 | 96146 64872 8255672 127.3 | 87.517 % | 1069.32 c | 618386 | 134463 273983 | 105761 67427 8684173 128.8 | 87.537 % | 1073.56 c | 622230 | 134463 273983 | 116337 71271 9177585 128.8 | 87.537 % | 1081.10 c | 627996 | 134463 273983 | 127970 77037 9923850 128.8 | 87.537 % | 1092.84 c | 636646 | 134453 273961 | 140767 85681 11004010 128.4 | 87.546 % | 1112.24 c | 649620 | 134453 273961 | 154844 98655 12990368 131.7 | 87.546 % | 1143.30 c | 669081 | 134436 273920 | 170329 118108 15248440 129.1 | 87.565 % | 1195.41 c | 698273 | 134436 273920 | 187362 147300 18275115 124.1 | 87.565 % | 1285.18 c | 742063 | 134299 273581 | 206098 191000 22986132 120.3 | 87.728 % | 1451.69 c | 807748 | 134290 273560 | 226708 256682 33539200 130.7 | 87.737 % | 1633.61 c | 906275 | 134281 273539 | 249378 96618 11595122 120.0 | 87.747 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s SATISFIABLE 1801.18 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 1801.18 v -x1517 -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 1801.18 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 1801.18 v -x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 1801.18 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 1801.18 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 1801.18 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 1801.18 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 1801.18 v -x1398 -x1397 -x1396 -x1395 -x1394 x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 1801.18 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 1801.18 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x1352 x1351 -x1350 -x1349 -x1348 -x1347 1801.18 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 1801.18 v -x1329 -x1328 -x1327 x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 1801.18 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 1801.18 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 1801.18 v x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 1801.18 v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 1801.18 v -x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 1801.18 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 1801.18 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 1801.18 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 1801.18 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 x1160 1801.18 v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 1801.18 v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 1801.18 v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 1801.18 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 1801.18 v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 1801.18 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 1801.18 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 1801.18 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 1801.18 v x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 1801.18 v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 1801.18 v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 1801.18 v -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 1801.18 v x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 1801.18 v -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 1801.18 v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 1801.18 v -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 1801.18 v -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 1801.18 v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 1801.18 v -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 1801.18 v -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 1801.18 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 1801.18 v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 1801.18 v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 1801.18 v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 1801.18 v -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 1801.18 v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 1801.18 v -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 1801.18 v -x627 -x626 -x625 x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 1801.18 v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 1801.18 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 1801.18 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 1801.18 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 1801.18 v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 1801.18 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 1801.18 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 1801.18 v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 1801.18 v -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 1801.18 v -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 1801.18 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 1801.18 v x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 1801.18 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 1801.18 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 1801.18 v -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 1801.18 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 1801.18 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 1801.18 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 1801.18 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 1801.18 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 1801.18 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 1801.18 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 1801.18 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 1801.18 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 1801.18 v -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 1801.18 v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 1801.18 v -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 1801.18 v -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -54
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/node1/watcher-35633-1149299608 -o ROOT/results/node1/solver-35633-1149299608 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node1/35633-1149299608/instance-35633-1149299608.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1564440/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=1340 CPUtime=0 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 156 0 0 0 0 0 0 0 19 0 1 0 195622398 1372160 141 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 335 142 67 215 0 117 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1521832/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=45080 CPUtime=9.98 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 11007 0 0 0 978 20 0 0 25 0 1 0 195622398 46161920 10712 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 11270 10712 110 215 0 11052 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 45080 [startup+20.0092 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1521640/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=45592 CPUtime=19.98 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 11109 0 0 0 1978 20 0 0 25 0 1 0 195622398 46686208 10814 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 11398 10814 111 215 0 11180 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 45592 [startup+30.0154 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1521704/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=45592 CPUtime=29.98 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 11109 0 0 0 2978 20 0 0 25 0 1 0 195622398 46686208 10814 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 11398 10814 111 215 0 11180 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 45592 [startup+40.0216 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1521576/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=45728 CPUtime=39.99 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 11139 0 0 0 3979 20 0 0 25 0 1 0 195622398 46825472 10843 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 11432 10843 111 215 0 11214 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 45728 [startup+50.0277 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1521576/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=45780 CPUtime=49.99 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 11153 0 0 0 4979 20 0 0 25 0 1 0 195622398 46878720 10857 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 11445 10857 111 215 0 11227 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 45780 [startup+60.0339 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1518632/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=48812 CPUtime=59.99 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 11899 0 0 0 5979 20 0 0 25 0 1 0 195622398 49983488 11603 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 12203 11603 111 215 0 11985 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 48812 [startup+70.0401 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1511912/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=55508 CPUtime=69.99 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 13568 0 0 0 6978 21 0 0 25 0 1 0 195622398 56840192 13272 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 13877 13272 111 215 0 13659 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 55508 [startup+80.0463 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1506600/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=60860 CPUtime=80 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 14892 0 0 0 7978 22 0 0 25 0 1 0 195622398 62320640 14596 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 15215 14596 111 215 0 14997 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 60860 [startup+90.0524 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1502120/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=65280 CPUtime=90 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 16035 0 0 0 8976 24 0 0 25 0 1 0 195622398 66846720 15706 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 16320 15706 111 215 0 16102 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 65280 [startup+100.059 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1497192/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=70124 CPUtime=100 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 17263 0 0 0 9975 25 0 0 25 0 1 0 195622398 71806976 16934 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134576846 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 17531 16934 111 215 0 17313 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 70124 [startup+110.065 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1492456/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=75024 CPUtime=110.01 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 18455 0 0 0 10975 26 0 0 25 0 1 0 195622398 76824576 18126 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 18756 18126 111 215 0 18538 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 75024 [startup+120.071 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1486504/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=80940 CPUtime=120.01 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 19927 0 0 0 11973 28 0 0 25 0 1 0 195622398 82882560 19598 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 20235 19598 111 215 0 20017 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 80940 [startup+130.077 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1481640/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=85676 CPUtime=130.01 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 21138 0 0 0 12972 29 0 0 25 0 1 0 195622398 87732224 20809 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 21419 20809 111 215 0 21201 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 85676 [startup+140.083 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1476712/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=90644 CPUtime=140.02 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 22380 0 0 0 13971 31 0 0 25 0 1 0 195622398 92819456 22051 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 22661 22051 111 215 0 22443 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 90644 [startup+150.089 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1471976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=95360 CPUtime=150.02 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 23550 0 0 0 14970 32 0 0 25 0 1 0 195622398 97648640 23221 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 23840 23221 111 215 0 23622 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 95360 [startup+160.095 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1468008/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=99308 CPUtime=160.02 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 24549 0 0 0 15969 33 0 0 25 0 1 0 195622398 101691392 24220 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 24827 24220 111 215 0 24609 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 99308 [startup+170.101 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1466088/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=100968 CPUtime=170.03 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 25017 0 0 0 16969 34 0 0 25 0 1 0 195622398 103391232 24655 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 25242 24655 111 215 0 25024 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 100968 [startup+180.107 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1466088/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=100968 CPUtime=180.03 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 25017 0 0 0 17969 34 0 0 25 0 1 0 195622398 103391232 24655 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 25242 24655 111 215 0 25024 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 100968 [startup+190.113 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1466088/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=100968 CPUtime=190.04 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 25017 0 0 0 18970 34 0 0 25 0 1 0 195622398 103391232 24655 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 25242 24655 111 215 0 25024 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 100968 [startup+200.119 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1466088/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=100968 CPUtime=200.04 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 25017 0 0 0 19970 34 0 0 25 0 1 0 195622398 103391232 24655 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580809 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 25242 24655 111 215 0 25024 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 100968 [startup+210.126 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2071 /proc/meminfo: memFree=1466088/2055920 swapFree=4181372/4192956 ################ # More data... # ################ [pid=2071] ppid=2069 vsize=231656 CPUtime=1781.43 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178070 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 231656 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1782.43 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178170 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 231656 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1783.44 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178271 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 231656 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1784.44 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178371 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 231656 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1785.45 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178472 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 231656 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1786.45 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178572 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 231656 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1787.46 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178673 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 231656 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1788.46 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178773 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 231656 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1789.47 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178874 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 231656 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1790.47 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 178974 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 231656 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1791.48 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179075 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 231656 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1792.48 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179175 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 231656 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1793.49 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179276 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 231656 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1794.49 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179376 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 231656 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1795.49 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179476 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 231656 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1796.5 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179577 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 231656 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1797.5 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179677 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 231656 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1798.51 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179778 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581178 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 231656 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1799.51 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179878 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 231656 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1800.52 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179979 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 231656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2753 /proc/meminfo: memFree=1327976/2055920 swapFree=4181372/4192956 [pid=2071] ppid=2069 vsize=231656 CPUtime=1800.52 /proc/2071/stat : 2071 (minisat+) R 2069 2071 2022 0 -1 4194304 57692 0 0 0 179979 73 0 0 25 0 1 0 195622398 237215744 57298 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2071/statm: 57914 57298 111 215 0 57696 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 231656 Sending SIGTERM to -2071 Sleeping 2 seconds Child status: 10 Real time (s): 1801.23 CPU time (s): 1800.57 CPU user time (s): 1799.8 CPU system time (s): 0.769882 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (Kb): 231656
Begin job on node1 on Sat Jun 3 01:53:28 UTC 2006 FILE ID= 35633-1149299608 PBS_JOBID= 307282 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-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node1/35633-1149299608/instance-35633-1149299608.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-35633-1149299608 -o ROOT/results/node1/solver-35633-1149299608 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node1/35633-1149299608/instance-35633-1149299608.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= a2418d45f4247bab260506429e96e746 RANDOM SEED= 767501740 /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.231 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.231 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: 1564648 kB Buffers: 24104 kB Cached: 400572 kB SwapCached: 3452 kB Active: 33256 kB Inactive: 400348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1564648 kB SwapTotal: 4192956 kB SwapFree: 4181372 kB Dirty: 252 kB Writeback: 0 kB Mapped: 14908 kB Slab: 43656 kB Committed_AS: 275864 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Sat Jun 3 02:23:29 UTC 2006