Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -50 | 1800.49 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | b8b0df75c0f0dbb89ae9601b9070a445 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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... 2.98 c Converting 109676 PB-constraints to clauses... 2.99 c -- Unit propagations: (none) 2.99 c -- Detecting intervals from adjacent constraints: (none) 3.00 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 3.26 c ==================================[MINISAT+]================================== 3.26 c | Conflicts | Original | Learnt | Progress | 3.26 c | | Clauses Literals | Max Clauses Literals LPC | | 3.26 c ============================================================================== 3.26 c | 0 | 109676 219352 | 36558 0 0 nan | 0.000 % | 3.26 c ============================================================================== 3.26 c [1mFound solution: -39[0m 3.26 o -39 3.27 c ---[ 0]---> Sorter-cost:78076 Base: 3.45 c ==================================[MINISAT+]================================== 3.45 c | Conflicts | Original | Learnt | Progress | 3.45 c | | Clauses Literals | Max Clauses Literals LPC | | 3.45 c ============================================================================== 3.45 c | 0 | 193374 415660 | 64458 0 0 nan | 0.000 % | 3.73 c | 100 | 192719 414299 | 70903 63 1093 17.3 | 0.622 % | 3.97 c | 250 | 192264 413332 | 77994 193 3275 17.0 | 1.071 % | 4.36 c | 476 | 191415 411505 | 85793 346 4129 11.9 | 1.930 % | 5.21 c | 813 | 188955 406147 | 94372 570 6726 11.8 | 4.475 % | 6.26 c | 1319 | 186406 400564 | 103810 962 13044 13.6 | 7.139 % | 8.02 c | 2078 | 180912 388275 | 114191 1479 18824 12.7 | 13.094 % | 9.99 c | 3217 | 175709 376585 | 125610 2357 32192 13.7 | 18.778 % | 13.30 c | 4925 | 166673 356010 | 138171 3574 49702 13.9 | 28.824 % | 16.78 c | 7487 | 157658 335240 | 151988 5415 74543 13.8 | 39.079 % | 21.69 c | 11331 | 143138 301148 | 167187 7961 113671 14.3 | 55.865 % | 22.75 c ============================================================================== 22.75 c [1mFound solution: -43[0m 22.75 o -43 22.77 c ---[ 0]---> Sorter-cost: 0 Base: 22.87 c ==================================[MINISAT+]================================== 22.87 c | Conflicts | Original | Learnt | Progress | 22.87 c | | Clauses Literals | Max Clauses Literals LPC | | 22.87 c ============================================================================== 22.87 c | 12525 | 140763 295746 | 46921 8929 130833 14.7 | 55.865 % | 23.10 c | 12625 | 139918 293726 | 51613 8922 130380 14.6 | 59.751 % | 23.23 c | 12775 | 139671 293133 | 56774 9032 131953 14.6 | 60.052 % | 23.40 c | 13000 | 139283 292232 | 62451 9203 135203 14.7 | 60.501 % | 23.68 c | 13337 | 138691 290861 | 68697 9414 138503 14.7 | 61.171 % | 24.01 c | 13843 | 138328 290009 | 75566 9866 147954 15.0 | 61.597 % | 24.70 c | 14602 | 137121 287145 | 83123 10409 155824 15.0 | 63.131 % | 25.58 c | 15741 | 135695 283700 | 91435 11210 169938 15.2 | 64.772 % | 26.77 c | 17449 | 133720 279037 | 100579 12512 198089 15.8 | 67.074 % | 28.93 c | 20011 | 128643 266845 | 110637 13856 224025 16.2 | 73.177 % | 31.25 c | 23856 | 125354 258987 | 121700 16543 306442 18.5 | 77.142 % | 34.21 c | 29622 | 122874 253024 | 133871 20367 492068 24.2 | 80.137 % | 34.75 c ============================================================================== 34.75 c [1mFound solution: -44[0m 34.75 o -44 34.77 c ---[ 0]---> Sorter-cost: 0 Base: 34.88 c ==================================[MINISAT+]================================== 34.88 c | Conflicts | Original | Learnt | Progress | 34.88 c | | Clauses Literals | Max Clauses Literals LPC | | 34.88 c ============================================================================== 34.88 c | 30967 | 122645 252423 | 40881 21516 531155 24.7 | 80.137 % | 34.91 c | 31067 | 122645 252423 | 44969 21616 531997 24.6 | 80.427 % | 35.00 c | 31217 | 122636 252402 | 49466 21757 536269 24.6 | 80.437 % | 35.11 c | 31442 | 122593 252300 | 54412 21951 542487 24.7 | 80.488 % | 35.26 c | 31779 | 122436 251912 | 59853 22120 548490 24.8 | 80.684 % | 35.44 c | 32285 | 122436 251912 | 65839 22626 572074 25.3 | 80.684 % | 35.75 c | 33044 | 122390 251788 | 72423 23361 600618 25.7 | 80.751 % | 36.19 c | 34183 | 122320 251616 | 79665 24453 657839 26.9 | 80.840 % | 36.97 c | 35892 | 122035 250934 | 87632 26003 710446 27.3 | 81.185 % | 38.40 c | 38454 | 121806 250367 | 96395 28222 984902 34.9 | 81.476 % | 38.73 c ============================================================================== 38.73 c [1mFound solution: -45[0m 38.73 o -45 38.75 c ---[ 0]---> Sorter-cost: 0 Base: 38.86 c ==================================[MINISAT+]================================== 38.86 c | Conflicts | Original | Learnt | Progress | 38.86 c | | Clauses Literals | Max Clauses Literals LPC | | 38.86 c ============================================================================== 38.86 c | 38938 | 121634 249984 | 40544 28578 1022037 35.8 | 81.476 % | 38.95 c | 39038 | 121617 249941 | 44598 28653 1023964 35.7 | 81.716 % | 39.17 c | 39188 | 121349 249292 | 49058 28508 1022934 35.9 | 82.043 % | 39.26 c | 39413 | 121349 249292 | 53964 28733 1031080 35.9 | 82.043 % | 39.49 c | 39750 | 121213 248952 | 59360 29014 1043187 36.0 | 82.215 % | 39.79 c | 40256 | 121088 248654 | 65296 29472 1065725 36.2 | 82.365 % | 40.07 c | 41015 | 121034 248515 | 71826 30083 1084053 36.0 | 82.437 % | 40.54 c | 42154 | 120996 248419 | 79008 31210 1134841 36.4 | 82.488 % | 41.44 c | 43862 | 120814 247954 | 86909 32806 1219139 37.2 | 82.733 % | 42.96 c | 46425 | 120660 247566 | 95600 35272 1481711 42.0 | 82.934 % | 45.03 c | 50269 | 120426 247002 | 105160 38769 1679322 43.3 | 83.221 % | 48.05 c ============================================================================== 48.05 c [1mFound solution: -46[0m 48.05 o -46 48.07 c ---[ 0]---> Sorter-cost: 0 Base: 48.20 c ==================================[MINISAT+]================================== 48.20 c | Conflicts | Original | Learnt | Progress | 48.20 c | | Clauses Literals | Max Clauses Literals LPC | | 48.20 c ============================================================================== 48.20 c | 55508 | 120404 246861 | 40134 43705 2184532 50.0 | 83.221 % | 48.27 c | 55608 | 120404 246861 | 44147 43805 2187268 49.9 | 83.253 % | 48.41 c | 55759 | 120401 246854 | 48562 43919 2198441 50.1 | 83.257 % | 48.68 c | 55984 | 120297 246612 | 53418 44129 2204023 49.9 | 83.377 % | 48.90 c | 56322 | 120297 246612 | 58760 44467 2221646 50.0 | 83.377 % | 49.19 c | 56828 | 120262 246523 | 64636 44943 2244896 49.9 | 83.425 % | 49.65 c | 57588 | 120262 246523 | 71099 45703 2321279 50.8 | 83.425 % | 50.48 c | 58727 | 120173 246296 | 78209 45708 2347180 51.4 | 83.542 % | 51.45 c | 60435 | 120173 246296 | 86030 47416 2483476 52.4 | 83.542 % | 53.66 c | 62998 | 119939 245717 | 94633 49359 2778436 56.3 | 83.841 % | 55.47 c ============================================================================== 55.47 c [1mFound solution: -47[0m 55.47 o -47 55.49 c ---[ 0]---> Sorter-cost: 0 Base: 55.63 c ==================================[MINISAT+]================================== 55.63 c | Conflicts | Original | Learnt | Progress | 55.63 c | | Clauses Literals | Max Clauses Literals LPC | | 55.63 c ============================================================================== 55.63 c | 65455 | 119986 245861 | 39995 51816 3103184 59.9 | 83.841 % | 55.73 c | 65555 | 119986 245861 | 43994 51916 3106425 59.8 | 83.823 % | 56.18 c | 65705 | 119842 245523 | 48393 51870 3106898 59.9 | 83.990 % | 56.40 c | 65931 | 119801 245428 | 53233 52001 3128578 60.2 | 84.037 % | 56.73 c | 66268 | 119776 245371 | 58556 52307 3156736 60.4 | 84.064 % | 57.18 c | 66774 | 119755 245323 | 64412 52795 3188273 60.4 | 84.086 % | 57.74 c | 67533 | 119752 245316 | 70853 53553 3227607 60.3 | 84.090 % | 58.59 c | 68672 | 119752 245316 | 77938 54692 3351972 61.3 | 84.090 % | 60.12 c | 70380 | 119623 244995 | 85732 55978 3468009 62.0 | 84.254 % | 62.24 c | 72942 | 119551 244815 | 94306 58246 3772441 64.8 | 84.346 % | 65.51 c | 76786 | 119544 244798 | 103736 62089 4097900 66.0 | 84.355 % | 71.35 c | 82552 | 119337 244296 | 114110 67497 4883125 72.3 | 84.607 % | 79.46 c ============================================================================== 79.46 c [1mFound solution: -48[0m 79.46 o -48 79.48 c ---[ 0]---> Sorter-cost: 0 Base: 79.66 c ==================================[MINISAT+]================================== 79.66 c | Conflicts | Original | Learnt | Progress | 79.66 c | | Clauses Literals | Max Clauses Literals LPC | | 79.66 c ============================================================================== 79.66 c | 91183 | 119326 244244 | 39775 75532 5875208 77.8 | 84.607 % | 79.73 c | 91283 | 119326 244244 | 43752 75632 5876836 77.7 | 84.623 % | 79.91 c | 91433 | 119326 244244 | 48127 75782 5886804 77.7 | 84.623 % | 80.33 c | 91658 | 119174 243872 | 52940 75571 5878542 77.8 | 84.815 % | 80.75 c | 91995 | 119169 243861 | 58234 75798 5913726 78.0 | 84.820 % | 81.25 c | 92501 | 119169 243861 | 64058 76304 5962450 78.1 | 84.820 % | 82.02 c | 93260 | 119169 243861 | 70463 77063 6047017 78.5 | 84.820 % | 83.09 c | 94399 | 119169 243861 | 77510 78202 6141731 78.5 | 84.820 % | 85.08 c | 96107 | 119164 243850 | 85261 79903 6346087 79.4 | 84.825 % | 87.91 c | 98670 | 119164 243850 | 93787 82466 6693670 81.2 | 84.825 % | 92.20 c | 102515 | 119130 243772 | 103166 86111 7282535 84.6 | 84.864 % | 99.55 c | 108281 | 119010 243470 | 113482 91427 8357465 91.4 | 85.016 % | 111.93 c | 116930 | 118952 243328 | 124830 100035 9709566 97.1 | 85.089 % | 129.89 c | 129904 | 118839 243050 | 137314 112031 11367601 101.5 | 85.232 % | 152.03 c ============================================================================== 152.03 c [1mFound solution: -49[0m 152.03 o -49 152.05 c ---[ 0]---> Sorter-cost: 0 Base: 152.33 c ==================================[MINISAT+]================================== 152.33 c | Conflicts | Original | Learnt | Progress | 152.33 c | | Clauses Literals | Max Clauses Literals LPC | | 152.33 c ============================================================================== 152.33 c | 142656 | 118861 243115 | 39620 124783 13424185 107.6 | 85.232 % | 152.79 c | 142756 | 118809 242989 | 43582 22640 2136428 94.4 | 85.280 % | 152.86 c | 142906 | 118809 242989 | 47940 22790 2140780 93.9 | 85.280 % | 153.07 c | 143131 | 118741 242820 | 52734 22993 2162172 94.0 | 85.368 % | 153.23 c | 143468 | 118741 242820 | 58007 23330 2174648 93.2 | 85.368 % | 153.50 c | 143974 | 118733 242802 | 63808 23832 2203863 92.5 | 85.376 % | 153.93 c | 144733 | 118722 242773 | 70189 24588 2263679 92.1 | 85.392 % | 154.42 c | 145872 | 118722 242773 | 77208 25727 2328778 90.5 | 85.392 % | 155.51 c | 147580 | 118596 242466 | 84928 27418 2490341 90.8 | 85.549 % | 157.16 c | 150144 | 118596 242466 | 93421 29982 2825667 94.2 | 85.549 % | 159.48 c | 153988 | 118581 242431 | 102764 33809 3133516 92.7 | 85.567 % | 163.67 c | 159757 | 118486 242200 | 113040 39498 3825619 96.9 | 85.685 % | 171.15 c | 168406 | 118465 242145 | 124344 48141 5116869 106.3 | 85.715 % | 183.28 c | 181380 | 118409 242007 | 136778 61109 6776970 110.9 | 85.787 % | 207.23 c | 200842 | 118409 242007 | 150456 80571 9946562 123.5 | 85.787 % | 254.56 c | 230034 | 118372 241919 | 165502 109697 15616229 142.4 | 85.830 % | 338.89 c | 273823 | 118197 241494 | 182052 153345 23390472 152.5 | 86.048 % | 501.37 c | 339508 | 118134 241339 | 200258 219012 34283176 156.5 | 86.129 % | 705.07 c | 438034 | 118097 241250 | 220283 91505 15255719 166.7 | 86.174 % | 995.67 c ============================================================================== 995.67 c [1mFound solution: -50[0m 995.67 o -50 995.70 c ---[ 0]---> Sorter-cost: 0 Base: 996.26 c ==================================[MINISAT+]================================== 996.26 c | Conflicts | Original | Learnt | Progress | 996.26 c | | Clauses Literals | Max Clauses Literals LPC | | 996.26 c ============================================================================== 996.26 c | 578567 | 117889 240733 | 39296 231646 41071094 177.3 | 86.174 % | 997.44 c | 578668 | 117889 240733 | 43225 25299 2276790 90.0 | 86.414 % | 997.55 c | 578818 | 117889 240733 | 47548 25449 2282754 89.7 | 86.414 % | 997.67 c | 579043 | 117889 240733 | 52302 25674 2300976 89.6 | 86.414 % | 997.84 c | 579380 | 117889 240733 | 57533 26011 2324684 89.4 | 86.414 % | 998.09 c | 579886 | 117889 240733 | 63286 26517 2368604 89.3 | 86.414 % | 998.49 c | 580645 | 117889 240733 | 69615 27276 2413542 88.5 | 86.414 % | 999.27 c | 581784 | 117889 240733 | 76576 28415 2576976 90.7 | 86.414 % | 1000.39 c | 583492 | 117889 240733 | 84234 30123 2785636 92.5 | 86.414 % | 1002.17 c | 586054 | 117848 240632 | 92657 32679 3062166 93.7 | 86.466 % | 1005.30 c | 589899 | 117838 240608 | 101923 36521 3693555 101.1 | 86.478 % | 1010.53 c | 595665 | 117838 240608 | 112116 42287 4686708 110.8 | 86.478 % | 1017.93 c | 604317 | 117834 240598 | 123327 50936 5687372 111.7 | 86.483 % | 1031.19 c | 617291 | 117823 240571 | 135660 63907 7267311 113.7 | 86.497 % | 1060.78 c | 636752 | 117823 240571 | 149226 83368 10137190 121.6 | 86.497 % | 1105.90 c | 665945 | 117807 240533 | 164149 112544 14909697 132.5 | 86.517 % | 1190.15 c | 709735 | 117807 240533 | 180564 156334 22492969 143.9 | 86.517 % | 1360.63 c | 775419 | 117793 240499 | 198620 221963 32848695 148.0 | 86.534 % | 1536.66 c | 873945 | 117725 240336 | 218482 96038 14512497 151.1 | 86.613 % | 1801.17 c 1801.17 c *** TERMINATED *** 1801.17 s SATISFIABLE 1801.17 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1801.17 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1801.17 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 x1351 -x1350 1801.17 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1801.17 v x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1801.17 v -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1801.17 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1801.17 v -x1281 -x1280 -x1279 -x1278 -x1277 x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 1801.17 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 1801.17 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 1801.17 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 1801.17 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 x1198 -x1197 -x1196 1801.17 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 1801.17 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 1801.17 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 1801.17 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 1801.17 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 1801.17 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 1801.17 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 1801.17 v -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 1801.17 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 x1043 1801.17 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1801.17 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 1801.17 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 1801.17 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 1801.17 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1801.17 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1801.17 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1801.17 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1801.17 v x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 1801.17 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 1801.17 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 1801.17 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 1801.17 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1801.17 v -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1801.17 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 1801.17 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1801.17 v -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 1801.17 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1801.17 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1801.17 v -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 1801.17 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1801.17 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 1801.17 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1801.17 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 1801.17 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1801.17 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 1801.17 v -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1801.17 v -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1801.17 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 1801.17 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1801.17 v -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 1801.17 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 1801.17 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1801.17 v x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 1801.17 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 1801.17 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 1801.17 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 1801.17 v x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1801.17 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1801.17 v -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1801.17 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1801.17 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1801.17 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 1801.17 v -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1801.17 v -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 1801.17 v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 1801.17 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 1801.17 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 1801.17 v -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 1801.17 v -x4 x3 -x2 -x1
OK -50
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/node37/watcher-35617-1149294814 -o ROOT/results/node37/solver-35617-1149294814 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node37/35617-1149294814/instance-35617-1149294814.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.94 0.90 2/64 28918 /proc/meminfo: memFree=1652912/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=1048 CPUtime=0 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 105 0 0 0 0 0 0 0 19 0 1 0 195147597 1073152 90 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 262 92 67 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 0.88 0.94 0.90 2/64 28918 /proc/meminfo: memFree=1616128/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=38444 CPUtime=9.98 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 9478 0 0 0 983 15 0 0 25 0 1 0 195147597 39366656 9255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572690 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 9611 9255 110 215 0 9393 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 38444 [startup+20.0081 s] /proc/loadavg: 0.89 0.94 0.90 2/64 28918 /proc/meminfo: memFree=1616256/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=38444 CPUtime=19.98 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 9478 0 0 0 1983 15 0 0 25 0 1 0 195147597 39366656 9255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 9611 9255 110 215 0 9393 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 38444 [startup+30.014 s] /proc/loadavg: 0.91 0.94 0.90 2/64 28918 /proc/meminfo: memFree=1616000/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=38912 CPUtime=29.98 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 9561 0 0 0 2983 15 0 0 25 0 1 0 195147597 39845888 9328 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 9728 9328 110 215 0 9510 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 38912 [startup+40.0198 s] /proc/loadavg: 0.92 0.94 0.90 2/64 28918 /proc/meminfo: memFree=1615872/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=39072 CPUtime=39.99 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 9600 0 0 0 3983 16 0 0 25 0 1 0 195147597 40009728 9367 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 9768 9367 110 215 0 9550 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 39072 [startup+50.0257 s] /proc/loadavg: 0.93 0.95 0.90 2/64 28918 /proc/meminfo: memFree=1614400/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=40572 CPUtime=49.99 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 10005 0 0 0 4983 16 0 0 25 0 1 0 195147597 41545728 9741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 10143 9741 110 215 0 9925 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 40572 [startup+60.0316 s] /proc/loadavg: 0.94 0.95 0.91 2/64 28919 /proc/meminfo: memFree=1609472/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=45524 CPUtime=59.99 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 11262 0 0 0 5982 17 0 0 25 0 1 0 195147597 46616576 10966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574211 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 11381 10966 110 215 0 11163 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 45524 [startup+70.0375 s] /proc/loadavg: 0.95 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1603904/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=51124 CPUtime=70 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 12637 0 0 0 6981 19 0 0 25 0 1 0 195147597 52350976 12341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583960 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 12781 12341 110 215 0 12563 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 51124 [startup+80.0434 s] /proc/loadavg: 0.96 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1598336/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=56424 CPUtime=79.99 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 14023 0 0 0 7979 20 0 0 25 0 1 0 195147597 57778176 13695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 14106 13695 110 215 0 13888 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 56424 [startup+90.0493 s] /proc/loadavg: 0.96 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1594368/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=60496 CPUtime=90 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 15046 0 0 0 8978 22 0 0 25 0 1 0 195147597 61947904 14718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 15124 14718 110 215 0 14906 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 60496 [startup+100.055 s] /proc/loadavg: 0.97 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1588480/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=66412 CPUtime=100.01 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 16519 0 0 0 9977 24 0 0 25 0 1 0 195147597 68005888 16191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 16603 16191 110 215 0 16385 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 66412 [startup+110.061 s] /proc/loadavg: 0.97 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1583872/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=71148 CPUtime=110 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 17676 0 0 0 10976 24 0 0 25 0 1 0 195147597 72855552 17348 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 17787 17348 110 215 0 17569 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 71148 [startup+120.067 s] /proc/loadavg: 0.98 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1579136/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=75876 CPUtime=120 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 18858 0 0 0 11975 25 0 0 25 0 1 0 195147597 77697024 18530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 18969 18530 110 215 0 18751 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 75876 [startup+130.073 s] /proc/loadavg: 0.98 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1575744/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=79296 CPUtime=130.01 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 19715 0 0 0 12975 26 0 0 25 0 1 0 195147597 81199104 19387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 19824 19387 110 215 0 19606 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 79296 [startup+140.079 s] /proc/loadavg: 0.98 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1571392/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=83620 CPUtime=140.01 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 20800 0 0 0 13974 27 0 0 25 0 1 0 195147597 85626880 20472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580756 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 20905 20472 110 215 0 20687 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 83620 [startup+150.085 s] /proc/loadavg: 0.98 0.95 0.91 2/64 28920 /proc/meminfo: memFree=1567744/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=87136 CPUtime=150.02 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 21702 0 0 0 14973 29 0 0 25 0 1 0 195147597 89227264 21374 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 21784 21374 110 215 0 21566 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 87136 [startup+160.09 s] /proc/loadavg: 0.99 0.96 0.91 2/64 28920 /proc/meminfo: memFree=1566912/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=87824 CPUtime=160.02 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 21906 0 0 0 15973 29 0 0 25 0 1 0 195147597 89931776 21547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 21956 21547 110 215 0 21738 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 87824 [startup+170.096 s] /proc/loadavg: 0.99 0.96 0.91 2/64 28920 /proc/meminfo: memFree=1566912/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=87824 CPUtime=170.02 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 21906 0 0 0 16973 29 0 0 25 0 1 0 195147597 89931776 21547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 21956 21547 110 215 0 21738 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 87824 [startup+180.103 s] /proc/loadavg: 0.99 0.96 0.91 2/64 28920 /proc/meminfo: memFree=1566912/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=87824 CPUtime=180.02 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 21906 0 0 0 17973 29 0 0 25 0 1 0 195147597 89931776 21547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 21956 21547 110 215 0 21738 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 87824 [startup+190.11 s] /proc/loadavg: 0.99 0.96 0.91 2/64 28920 /proc/meminfo: memFree=1566912/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=87824 CPUtime=190.03 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 21906 0 0 0 18974 29 0 0 25 0 1 0 195147597 89931776 21547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 21956 21547 110 215 0 21738 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 87824 [startup+200.117 s] /proc/loadavg: 0.99 0.96 0.91 2/64 28920 /proc/meminfo: memFree=1566912/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=87824 CPUtime=200.03 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 21906 0 0 0 19974 29 0 0 25 0 1 0 195147597 89931776 21547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574300 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 21956 21547 110 215 0 21738 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 87824 [startup+210.124 s] /proc/loadavg: 0.99 0.96 0.91 2/64 28920 /proc/meminfo: memFree=1566912/2055920 swapFree=4181380/4192956 ################ # More data... # ################ [pid=28918] ppid=28916 vsize=205068 CPUtime=1781.36 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178072 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1781.36 Current children cumulated vsize (Kb) 205068 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1782.36 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178172 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578884 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 205068 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1783.37 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178273 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (Kb) 205068 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1784.37 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178373 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 205068 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1785.38 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178474 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (Kb) 205068 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1786.38 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178574 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 205068 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1787.39 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178675 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 205068 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1788.39 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178775 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 205068 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1789.4 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178876 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 205068 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1790.4 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 178976 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 205068 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1791.41 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179077 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 205068 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1792.41 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179177 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1792.41 Current children cumulated vsize (Kb) 205068 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1793.42 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179278 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 205068 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1794.42 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179378 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 205068 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1795.42 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179478 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 205068 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1796.43 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179579 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1796.43 Current children cumulated vsize (Kb) 205068 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1797.43 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179679 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 205068 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1798.44 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179780 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006001 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 205068 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1799.44 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179880 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 205068 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1800.45 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179981 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 205068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 29115 /proc/meminfo: memFree=1449216/2055920 swapFree=4181380/4192956 [pid=28918] ppid=28916 vsize=205068 CPUtime=1800.45 /proc/28918/stat : 28918 (minisat+) R 28916 28918 28872 0 -1 4194304 51194 0 0 0 179981 64 0 0 25 0 1 0 195147597 209989632 50804 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28918/statm: 51267 50804 110 215 0 51049 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 205068 Sending SIGTERM to -28918 Sleeping 2 seconds Child status: 10 Real time (s): 1801.21 CPU time (s): 1800.49 CPU user time (s): 1799.82 CPU system time (s): 0.676897 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (Kb): 205068
Begin job on node37 on Sat Jun 3 00:33:34 UTC 2006 FILE ID= 35617-1149294814 PBS_JOBID= 307072 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node37/35617-1149294814/instance-35617-1149294814.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-35617-1149294814 -o ROOT/results/node37/solver-35617-1149294814 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node37/35617-1149294814/instance-35617-1149294814.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445 RANDOM SEED= 806645762 /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.281 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.281 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: 1653120 kB Buffers: 19636 kB Cached: 313588 kB SwapCached: 3308 kB Active: 48632 kB Inactive: 293344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1653120 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14932 kB Slab: 46964 kB Committed_AS: 250148 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node37 on Sat Jun 3 01:03:35 UTC 2006