Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -50 | 1800.72 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
MD5SUM | 09bf68c118cd38b954800f61edb04c4b |
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.61 |
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 | 110038 |
Number of constraints which are clauses | 110038 |
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.97 c Converting 110038 PB-constraints to clauses... 2.98 c -- Unit propagations: (none) 2.98 c -- Detecting intervals from adjacent constraints: (none) 2.99 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.23 c ==================================[MINISAT+]================================== 3.23 c | Conflicts | Original | Learnt | Progress | 3.23 c | | Clauses Literals | Max Clauses Literals LPC | | 3.23 c ============================================================================== 3.23 c | 0 | 110038 220076 | 36679 0 0 nan | 0.000 % | 3.23 c ============================================================================== 3.23 c [1mFound solution: -41[0m 3.23 o -41 3.25 c ---[ 0]---> Sorter-cost:78076 Base: 3.41 c ==================================[MINISAT+]================================== 3.41 c | Conflicts | Original | Learnt | Progress | 3.41 c | | Clauses Literals | Max Clauses Literals LPC | | 3.41 c ============================================================================== 3.41 c | 0 | 193767 416453 | 64589 0 0 nan | 0.000 % | 3.68 c | 100 | 193211 415303 | 71047 71 567 8.0 | 0.523 % | 4.04 c | 250 | 192296 413340 | 78152 193 1687 8.7 | 1.443 % | 4.61 c | 475 | 190686 409826 | 85967 345 4411 12.8 | 3.114 % | 5.29 c | 812 | 189125 406459 | 94564 630 6997 11.1 | 4.700 % | 6.23 c | 1318 | 186296 400188 | 104021 1000 11394 11.4 | 7.721 % | 7.78 c | 2077 | 181158 388688 | 114423 1569 17663 11.3 | 13.295 % | 10.09 c | 3216 | 173643 371821 | 125865 2397 27786 11.6 | 21.467 % | 13.11 c | 4924 | 165143 352394 | 138452 3575 41683 11.7 | 30.985 % | 16.96 c | 7486 | 153437 325407 | 152297 5345 66987 12.5 | 44.181 % | 21.39 c | 11330 | 141122 296343 | 167527 7819 99133 12.7 | 58.622 % | 26.36 c | 17097 | 130209 270346 | 184279 11567 161806 14.0 | 71.611 % | 27.36 c ============================================================================== 27.36 c [1mFound solution: -42[0m 27.36 o -42 27.38 c ---[ 0]---> Sorter-cost: 0 Base: 27.47 c ==================================[MINISAT+]================================== 27.47 c | Conflicts | Original | Learnt | Progress | 27.47 c | | Clauses Literals | Max Clauses Literals LPC | | 27.47 c ============================================================================== 27.47 c | 18566 | 128729 266792 | 42909 12571 182083 14.5 | 71.611 % | 27.56 c | 18666 | 128551 266373 | 47199 12611 182963 14.5 | 73.626 % | 27.63 c | 18816 | 128445 266115 | 51919 12742 184752 14.5 | 73.759 % | 27.83 c | 19041 | 127939 264905 | 57111 12835 186093 14.5 | 74.370 % | 27.94 c | 19378 | 127939 264905 | 62823 13172 193447 14.7 | 74.370 % | 28.24 c | 19884 | 127611 264143 | 69105 13513 204336 15.1 | 74.751 % | 28.65 c | 20644 | 127200 263140 | 76015 14084 218616 15.5 | 75.260 % | 29.29 c | 21783 | 126721 261991 | 83617 15017 237295 15.8 | 75.841 % | 29.69 c ============================================================================== 29.69 c [1mFound solution: -43[0m 29.69 o -43 29.71 c ---[ 0]---> Sorter-cost: 0 Base: 29.81 c ==================================[MINISAT+]================================== 29.81 c | Conflicts | Original | Learnt | Progress | 29.81 c | | Clauses Literals | Max Clauses Literals LPC | | 29.81 c ============================================================================== 29.81 c | 22546 | 126525 261588 | 42175 15588 259656 16.7 | 75.841 % | 29.95 c | 22647 | 126182 260749 | 46392 15599 260038 16.7 | 76.562 % | 30.04 c | 22799 | 126172 260725 | 51031 15750 262977 16.7 | 76.574 % | 30.17 c | 23024 | 126057 260455 | 56134 15916 268753 16.9 | 76.707 % | 30.28 c | 23361 | 126057 260455 | 61748 16253 280191 17.2 | 76.707 % | 30.62 c | 23867 | 125749 259709 | 67923 16626 292865 17.6 | 77.086 % | 30.99 c | 24628 | 125481 259056 | 74715 17132 307189 17.9 | 77.420 % | 31.48 c | 25767 | 125214 258403 | 82187 18114 345667 19.1 | 77.751 % | 32.37 c ============================================================================== 32.37 c [1mFound solution: -44[0m 32.37 o -44 32.39 c ---[ 0]---> Sorter-cost: 0 Base: 32.49 c ==================================[MINISAT+]================================== 32.49 c | Conflicts | Original | Learnt | Progress | 32.49 c | | Clauses Literals | Max Clauses Literals LPC | | 32.49 c ============================================================================== 32.49 c | 27463 | 124678 257111 | 41559 19343 381365 19.7 | 77.751 % | 32.54 c | 27563 | 124664 257081 | 45714 19429 383445 19.7 | 78.418 % | 32.61 c | 27713 | 124617 256960 | 50286 19546 386496 19.8 | 78.483 % | 32.78 c | 27938 | 124421 256474 | 55315 19639 390151 19.9 | 78.735 % | 32.93 c | 28275 | 124368 256346 | 60846 19905 399588 20.1 | 78.800 % | 33.15 c | 28781 | 124219 255995 | 66931 20357 418681 20.6 | 78.976 % | 33.67 c | 29540 | 123568 254406 | 73624 20735 434974 21.0 | 79.786 % | 34.18 c | 30679 | 123324 253817 | 80986 21711 475126 21.9 | 80.080 % | 34.90 c | 32387 | 123105 253279 | 89085 23245 534203 23.0 | 80.353 % | 36.09 c | 34949 | 122598 252034 | 97993 25509 655764 25.7 | 80.984 % | 37.74 c | 38794 | 122155 250955 | 107793 29028 828204 28.5 | 81.525 % | 39.30 c ============================================================================== 39.30 c [1mFound solution: -45[0m 39.30 o -45 39.32 c ---[ 0]---> Sorter-cost: 0 Base: 39.43 c ==================================[MINISAT+]================================== 39.43 c | Conflicts | Original | Learnt | Progress | 39.43 c | | Clauses Literals | Max Clauses Literals LPC | | 39.43 c ============================================================================== 39.43 c | 42330 | 122073 250778 | 40691 32394 1050976 32.4 | 81.525 % | 39.54 c | 42430 | 121963 250525 | 44760 32424 1051305 32.4 | 81.759 % | 39.66 c | 42580 | 121924 250432 | 49236 32452 1053238 32.5 | 81.807 % | 39.80 c | 42805 | 121916 250414 | 54159 32642 1059551 32.5 | 81.815 % | 39.99 c | 43142 | 121909 250399 | 59575 32975 1079180 32.7 | 81.822 % | 40.30 c | 43649 | 121762 250044 | 65533 33418 1099764 32.9 | 82.003 % | 40.74 c | 44409 | 121635 249732 | 72086 34086 1132460 33.2 | 82.160 % | 41.28 c | 45549 | 121592 249637 | 79295 35182 1198499 34.1 | 82.206 % | 42.08 c ============================================================================== 42.08 c [1mFound solution: -46[0m 42.08 o -46 42.10 c ---[ 0]---> Sorter-cost: 0 Base: 42.22 c ==================================[MINISAT+]================================== 42.22 c | Conflicts | Original | Learnt | Progress | 42.22 c | | Clauses Literals | Max Clauses Literals LPC | | 42.22 c ============================================================================== 42.22 c | 46735 | 121306 248888 | 40435 35907 1285951 35.8 | 82.206 % | 42.32 c | 46835 | 121264 248786 | 44478 35960 1288209 35.8 | 82.623 % | 42.42 c | 46985 | 121264 248786 | 48926 36110 1295337 35.9 | 82.623 % | 42.61 c | 47211 | 121125 248464 | 53818 36215 1301784 35.9 | 82.782 % | 42.77 c | 47548 | 121125 248464 | 59200 36552 1323780 36.2 | 82.782 % | 43.06 c | 48056 | 121085 248366 | 65120 37018 1357054 36.7 | 82.831 % | 43.47 c | 48816 | 121038 248253 | 71633 37741 1396995 37.0 | 82.889 % | 44.08 c | 49957 | 121038 248253 | 78796 38882 1491934 38.4 | 82.889 % | 45.10 c | 51665 | 120776 247607 | 86676 40316 1593143 39.5 | 83.220 % | 46.64 c | 54227 | 120578 247108 | 95343 42660 1731750 40.6 | 83.482 % | 49.17 c | 58071 | 120466 246838 | 104877 46186 2175305 47.1 | 83.621 % | 50.75 c ============================================================================== 50.75 c [1mFound solution: -47[0m 50.75 o -47 50.78 c ---[ 0]---> Sorter-cost: 0 Base: 50.91 c ==================================[MINISAT+]================================== 50.91 c | Conflicts | Original | Learnt | Progress | 50.91 c | | Clauses Literals | Max Clauses Literals LPC | | 50.91 c ============================================================================== 50.91 c | 60431 | 120513 246983 | 40171 48546 2396212 49.4 | 83.621 % | 51.14 c | 60532 | 120390 246680 | 44188 48589 2397470 49.3 | 83.755 % | 51.30 c | 60682 | 120383 246663 | 48606 48619 2401968 49.4 | 83.763 % | 51.46 c | 60908 | 120383 246663 | 53467 48845 2416094 49.5 | 83.763 % | 51.75 c | 61245 | 120379 246653 | 58814 49181 2436369 49.5 | 83.769 % | 52.07 c | 61751 | 120334 246550 | 64695 49651 2463070 49.6 | 83.819 % | 52.55 c | 62510 | 120334 246550 | 71165 50410 2525544 50.1 | 83.819 % | 53.39 c | 63649 | 120329 246539 | 78281 51547 2594009 50.3 | 83.824 % | 54.55 c | 65357 | 120324 246528 | 86110 53252 2746627 51.6 | 83.830 % | 56.46 c | 67920 | 120284 246428 | 94721 55627 3049475 54.8 | 83.880 % | 59.83 c | 71764 | 120284 246428 | 104193 59471 3664380 61.6 | 83.880 % | 64.78 c | 77531 | 120274 246404 | 114612 65223 4262331 65.4 | 83.893 % | 73.68 c | 86180 | 120039 245833 | 126073 73304 5452615 74.4 | 84.182 % | 87.83 c | 99154 | 119824 245314 | 138681 85604 7053597 82.4 | 84.444 % | 114.92 c | 118615 | 119399 244284 | 152549 104335 9894511 94.8 | 84.960 % | 132.75 c ============================================================================== 132.75 c [1mFound solution: -48[0m 132.75 o -48 132.78 c ---[ 0]---> Sorter-cost: 0 Base: 133.03 c ==================================[MINISAT+]================================== 133.03 c | Conflicts | Original | Learnt | Progress | 133.03 c | | Clauses Literals | Max Clauses Literals LPC | | 133.03 c ============================================================================== 133.03 c | 131166 | 119128 243585 | 39709 115450 11394890 98.7 | 84.960 % | 133.34 c | 131266 | 119128 243585 | 43679 25589 1732926 67.7 | 85.318 % | 133.45 c | 131416 | 119109 243538 | 48047 25717 1737032 67.5 | 85.343 % | 133.58 c | 131641 | 119109 243538 | 52852 25942 1754432 67.6 | 85.343 % | 133.79 c | 131978 | 119109 243538 | 58137 26279 1788678 68.1 | 85.343 % | 134.06 c | 132485 | 119109 243538 | 63951 26786 1831948 68.4 | 85.343 % | 134.45 c | 133246 | 119103 243524 | 70346 27545 1879086 68.2 | 85.350 % | 135.12 c | 134385 | 119103 243524 | 77381 28684 2005655 69.9 | 85.350 % | 136.11 c | 136093 | 119103 243524 | 85119 30392 2181580 71.8 | 85.350 % | 137.73 c | 138655 | 119018 243320 | 93631 32806 2505869 76.4 | 85.453 % | 140.50 c | 142499 | 118947 243149 | 102994 36618 2957459 80.8 | 85.540 % | 145.70 c | 148265 | 118904 243048 | 113294 42373 3999187 94.4 | 85.591 % | 153.36 c | 156914 | 118778 242752 | 124623 50901 5151512 101.2 | 85.739 % | 166.42 c | 169890 | 118778 242752 | 137086 63877 7363093 115.3 | 85.739 % | 190.30 c | 189352 | 118712 242584 | 150794 83215 10573767 127.1 | 85.828 % | 194.39 c ============================================================================== 194.39 c [1mFound solution: -49[0m 194.39 o -49 194.41 c ---[ 0]---> Sorter-cost: 0 Base: 194.65 c ==================================[MINISAT+]================================== 194.65 c | Conflicts | Original | Learnt | Progress | 194.65 c | | Clauses Literals | Max Clauses Literals LPC | | 194.65 c ============================================================================== 194.65 c | 192438 | 118734 242648 | 39578 86301 11024722 127.7 | 85.828 % | 194.80 c | 192538 | 118734 242648 | 43535 86401 11032497 127.7 | 85.811 % | 195.00 c | 192688 | 118734 242648 | 47889 86551 11044645 127.6 | 85.811 % | 195.10 c | 192914 | 118734 242648 | 52678 86777 11050467 127.3 | 85.811 % | 195.69 c | 193252 | 118660 242476 | 57946 87109 11062072 127.0 | 85.897 % | 196.40 c | 193758 | 118660 242476 | 63740 87615 11140756 127.2 | 85.897 % | 197.61 c | 194517 | 118651 242455 | 70114 88372 11223980 127.0 | 85.907 % | 199.30 c | 195660 | 118651 242455 | 77126 89515 11423672 127.6 | 85.907 % | 201.37 c | 197369 | 118651 242455 | 84838 91224 11599410 127.2 | 85.907 % | 204.92 c | 199931 | 118651 242455 | 93322 93786 11943051 127.3 | 85.907 % | 210.78 c | 203776 | 118619 242379 | 102655 97621 12547536 128.5 | 85.946 % | 220.18 c | 209542 | 118619 242379 | 112920 103387 13545077 131.0 | 85.946 % | 234.78 c | 218192 | 118619 242379 | 124212 112037 14738228 131.5 | 85.946 % | 257.23 c | 231166 | 118619 242379 | 136633 125011 16463619 131.7 | 85.946 % | 292.03 c | 250628 | 118619 242379 | 150297 144473 19099031 132.2 | 85.946 % | 358.26 c | 279820 | 118619 242379 | 165327 173665 23277081 134.0 | 85.946 % | 469.31 c | 323609 | 118619 242379 | 181859 217454 29567967 136.0 | 85.946 % | 557.80 c | 389295 | 118375 241796 | 200045 72522 8937082 123.2 | 86.241 % | 777.67 c | 487822 | 118375 241796 | 220050 171049 31049318 181.5 | 86.241 % | 824.16 c ============================================================================== 824.16 c [1mFound solution: -50[0m 824.16 o -50 824.18 c ---[ 0]---> Sorter-cost: 0 Base: 824.70 c ==================================[MINISAT+]================================== 824.70 c | Conflicts | Original | Learnt | Progress | 824.70 c | | Clauses Literals | Max Clauses Literals LPC | | 824.70 c ============================================================================== 824.70 c | 508585 | 118353 241712 | 39451 191631 34089750 177.9 | 86.241 % | 825.61 c | 508685 | 118353 241712 | 43396 26180 2257445 86.2 | 86.269 % | 825.79 c | 508835 | 118353 241712 | 47735 26330 2277004 86.5 | 86.269 % | 825.92 c | 509060 | 118353 241712 | 52509 26555 2293560 86.4 | 86.269 % | 826.15 c | 509397 | 118353 241712 | 57760 26892 2328134 86.6 | 86.269 % | 826.48 c | 509903 | 118346 241693 | 63536 27395 2360710 86.2 | 86.280 % | 826.93 c | 510663 | 118346 241693 | 69889 28155 2435849 86.5 | 86.280 % | 827.75 c | 511802 | 118307 241596 | 76878 29290 2555872 87.3 | 86.328 % | 829.02 c | 513511 | 118216 241382 | 84566 30953 2771125 89.5 | 86.435 % | 831.01 c | 516073 | 118216 241382 | 93023 33515 3128450 93.3 | 86.435 % | 833.82 c | 519918 | 118216 241382 | 102325 37360 3601672 96.4 | 86.435 % | 837.88 c | 525684 | 118216 241382 | 112558 43126 4184094 97.0 | 86.435 % | 845.98 c | 534333 | 118200 241346 | 123814 51768 5380736 103.9 | 86.452 % | 859.44 c | 547307 | 118191 241323 | 136195 64737 6995049 108.1 | 86.465 % | 884.97 c | 566769 | 118121 241147 | 149815 84173 9909347 117.7 | 86.557 % | 927.95 c | 595962 | 118121 241147 | 164796 113366 13685830 120.7 | 86.557 % | 1010.69 c | 639751 | 118039 240937 | 181276 157117 19245355 122.5 | 86.662 % | 1167.47 c | 705437 | 118004 240850 | 199403 222791 28464480 127.8 | 86.707 % | 1353.28 c | 803963 | 118004 240850 | 219344 97037 10209129 105.2 | 86.707 % | 1687.10 c | 951752 | 117976 240780 | 241278 244816 31409121 128.3 | 86.744 % | 1801.13 c 1801.13 c *** TERMINATED *** 1801.13 s SATISFIABLE 1801.13 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1801.13 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1801.13 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 1801.13 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 1801.13 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1801.13 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 -x1299 1801.13 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 x1284 -x1283 -x1282 1801.13 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1801.13 v x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1801.13 v x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1801.13 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1801.13 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1801.13 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1801.13 v -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1801.13 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1801.13 v x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1801.13 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1801.13 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1801.13 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 1801.13 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 1801.13 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 1801.13 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 1801.13 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 1801.13 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 1801.13 v -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 1801.13 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 1801.13 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 1801.13 v -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 1801.13 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 1801.13 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 1801.13 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 1801.13 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 1801.13 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 1801.13 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 1801.13 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 1801.13 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 1801.13 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 1801.13 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 1801.13 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 1801.13 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 1801.13 v -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 1801.13 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 1801.13 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 1801.13 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 1801.13 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 1801.13 v -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 1801.13 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 1801.13 v -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 1801.13 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 1801.13 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 1801.13 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 1801.13 v -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 1801.13 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 1801.13 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 1801.13 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 1801.13 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 1801.13 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 1801.13 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 1801.13 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 1801.13 v -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 1801.13 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 1801.13 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 1801.13 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 x172 1801.13 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 1801.13 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 1801.13 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 1801.13 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 1801.13 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 1801.13 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 1801.13 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 1801.13 v -x7 -x6 -x5 -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/node69/watcher-35614-1149294656 -o ROOT/results/node69/solver-35614-1149294656 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/35614-1149294656/instance-35614-1149294656.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1808300/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=1048 CPUtime=0 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 195135620 1073152 82 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 262 84 67 215 0 44 0 [startup+10.0027 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1771252/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=38840 CPUtime=9.98 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 9482 0 0 0 984 14 0 0 25 0 1 0 195135620 39772160 9352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 9710 9352 110 215 0 9492 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 38840 [startup+20.0085 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1771444/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=38840 CPUtime=19.98 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 9482 0 0 0 1984 14 0 0 25 0 1 0 195135620 39772160 9352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 9710 9352 110 215 0 9492 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 38840 [startup+30.0144 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1771188/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=39308 CPUtime=29.99 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 9555 0 0 0 2984 15 0 0 25 0 1 0 195135620 40251392 9425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 9827 9425 110 215 0 9609 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 39308 [startup+40.0202 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1771188/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=39308 CPUtime=39.99 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 9555 0 0 0 3984 15 0 0 25 0 1 0 195135620 40251392 9425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 9827 9425 110 215 0 9609 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 39308 [startup+50.0261 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1770164/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=40496 CPUtime=49.99 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 9838 0 0 0 4984 15 0 0 25 0 1 0 195135620 41467904 9708 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 10124 9708 110 215 0 9906 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 40496 [startup+60.0319 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1764084/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=46484 CPUtime=60 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 11379 0 0 0 5983 17 0 0 25 0 1 0 195135620 47599616 11218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 11621 11218 110 215 0 11403 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 46484 [startup+70.0378 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1758836/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=51832 CPUtime=70 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 12691 0 0 0 6983 17 0 0 25 0 1 0 195135620 53075968 12530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 12958 12530 110 215 0 12740 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 51832 [startup+80.0436 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1753588/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=56960 CPUtime=80.01 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 13987 0 0 0 7982 19 0 0 25 0 1 0 195135620 58327040 13826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 14240 13826 110 215 0 14022 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 56960 [startup+90.0495 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1748788/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=61820 CPUtime=90 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 15193 0 0 0 8980 20 0 0 25 0 1 0 195135620 63303680 15032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 15455 15032 110 215 0 15237 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 61820 [startup+100.055 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1743668/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=67124 CPUtime=100.01 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 16472 0 0 0 9980 21 0 0 25 0 1 0 195135620 68734976 16311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 16781 16311 110 215 0 16563 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 67124 [startup+110.061 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1738868/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=71844 CPUtime=110.01 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 17667 0 0 0 10979 22 0 0 25 0 1 0 195135620 73568256 17506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574403 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 17961 17506 110 215 0 17743 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 71844 [startup+120.067 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1736308/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=74336 CPUtime=120.02 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 18313 0 0 0 11979 23 0 0 25 0 1 0 195135620 76120064 18152 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 18584 18152 110 215 0 18366 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 74336 [startup+130.073 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19049 /proc/meminfo: memFree=1731636/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=79056 CPUtime=130.02 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19470 0 0 0 12978 24 0 0 25 0 1 0 195135620 80953344 19309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 19764 19309 110 215 0 19546 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 79056 [startup+140.078 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730420/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80040 CPUtime=140.03 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19781 0 0 0 13978 25 0 0 25 0 1 0 195135620 81960960 19589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20010 19589 110 215 0 19792 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 80040 [startup+150.084 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730420/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80040 CPUtime=150.03 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19781 0 0 0 14978 25 0 0 25 0 1 0 195135620 81960960 19589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20010 19589 110 215 0 19792 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 80040 [startup+160.089 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730420/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80040 CPUtime=160.04 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19781 0 0 0 15979 25 0 0 25 0 1 0 195135620 81960960 19589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20010 19589 110 215 0 19792 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 80040 [startup+170.095 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730420/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80040 CPUtime=170.04 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19781 0 0 0 16979 25 0 0 25 0 1 0 195135620 81960960 19589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20010 19589 110 215 0 19792 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 80040 [startup+180.101 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730420/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80040 CPUtime=180.04 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19781 0 0 0 17979 25 0 0 25 0 1 0 195135620 81960960 19589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577420 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20010 19589 110 215 0 19792 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 80040 [startup+190.107 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730420/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80040 CPUtime=190.05 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19781 0 0 0 18980 25 0 0 25 0 1 0 195135620 81960960 19589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20010 19589 110 215 0 19792 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 80040 [startup+200.112 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1730292/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=80304 CPUtime=200.05 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 19829 0 0 0 19980 25 0 0 25 0 1 0 195135620 82231296 19637 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 20076 19637 110 215 0 19858 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 80304 [startup+210.118 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1726260/2055920 swapFree=4182216/4192956 ################ # More data... # ################ [pid=19049] ppid=19047 vsize=187572 CPUtime=1781.59 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46679 0 0 0 178102 57 0 0 25 0 1 0 195135620 192073728 46445 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 46893 46445 110 215 0 46675 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 187572 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1622332/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=187700 CPUtime=1782.59 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46718 0 0 0 178202 57 0 0 25 0 1 0 195135620 192204800 46484 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 46925 46484 110 215 0 46707 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 187700 [startup+1784.04 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1622140/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=187828 CPUtime=1783.6 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46756 0 0 0 178303 57 0 0 25 0 1 0 195135620 192335872 46522 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 46957 46522 110 215 0 46739 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 187828 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1622012/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=188088 CPUtime=1784.6 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46799 0 0 0 178403 57 0 0 25 0 1 0 195135620 192602112 46565 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47022 46565 110 215 0 46804 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 188088 [startup+1786.05 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1621820/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=188216 CPUtime=1785.61 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46840 0 0 0 178504 57 0 0 25 0 1 0 195135620 192733184 46606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47054 46606 110 215 0 46836 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 188216 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1621692/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=188344 CPUtime=1786.61 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46880 0 0 0 178604 57 0 0 25 0 1 0 195135620 192864256 46646 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47086 46646 110 215 0 46868 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 188344 [startup+1788.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1621564/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=188600 CPUtime=1787.62 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46927 0 0 0 178705 57 0 0 25 0 1 0 195135620 193126400 46693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47150 46693 110 215 0 46932 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 188600 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1621372/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=188728 CPUtime=1788.62 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 46975 0 0 0 178805 57 0 0 25 0 1 0 195135620 193257472 46741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580349 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47182 46741 110 215 0 46964 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 188728 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1621180/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=188988 CPUtime=1789.63 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47017 0 0 0 178905 58 0 0 25 0 1 0 195135620 193523712 46783 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47247 46783 110 215 0 47029 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 188988 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1621052/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189120 CPUtime=1790.64 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47053 0 0 0 179006 58 0 0 25 0 1 0 195135620 193658880 46819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580842 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47280 46819 110 215 0 47062 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 189120 [startup+1792.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620924/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189248 CPUtime=1791.64 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47088 0 0 0 179106 58 0 0 25 0 1 0 195135620 193789952 46854 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47312 46854 110 215 0 47094 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 189248 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620732/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189380 CPUtime=1792.64 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47126 0 0 0 179206 58 0 0 25 0 1 0 195135620 193925120 46892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47345 46892 110 215 0 47127 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 189380 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620604/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189508 CPUtime=1793.65 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47168 0 0 0 179307 58 0 0 25 0 1 0 195135620 194056192 46934 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47377 46934 110 215 0 47159 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 189508 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620476/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189636 CPUtime=1794.65 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47201 0 0 0 179407 58 0 0 25 0 1 0 195135620 194187264 46967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47409 46967 110 215 0 47191 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 189636 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620284/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189768 CPUtime=1795.66 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47238 0 0 0 179508 58 0 0 25 0 1 0 195135620 194322432 47004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47442 47004 110 215 0 47224 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 189768 [startup+1797.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620156/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=189900 CPUtime=1796.66 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47274 0 0 0 179608 58 0 0 25 0 1 0 195135620 194457600 47040 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47475 47040 110 215 0 47257 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 189900 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1620028/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=190160 CPUtime=1797.67 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47312 0 0 0 179709 58 0 0 25 0 1 0 195135620 194723840 47078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47540 47078 110 215 0 47322 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 190160 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1619836/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=190292 CPUtime=1798.67 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47350 0 0 0 179809 58 0 0 25 0 1 0 195135620 194859008 47116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47573 47116 110 215 0 47355 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 190292 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1619708/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=190424 CPUtime=1799.67 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47391 0 0 0 179909 58 0 0 25 0 1 0 195135620 194994176 47157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47606 47157 110 215 0 47388 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 190424 [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1619516/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=190556 CPUtime=1800.68 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47432 0 0 0 180010 58 0 0 25 0 1 0 195135620 195129344 47198 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47639 47198 110 215 0 47421 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 190556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 19051 /proc/meminfo: memFree=1619516/2055920 swapFree=4182216/4192956 [pid=19049] ppid=19047 vsize=190556 CPUtime=1800.68 /proc/19049/stat : 19049 (minisat+) R 19047 19049 19003 0 -1 4194304 47432 0 0 0 180010 58 0 0 25 0 1 0 195135620 195129344 47198 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19049/statm: 47639 47198 110 215 0 47421 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 190556 Sending SIGTERM to -19049 Sleeping 2 seconds Child status: 10 Real time (s): 1801.17 CPU time (s): 1800.72 CPU user time (s): 1800.11 CPU system time (s): 0.615906 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (Kb): 190556
Begin job on node69 on Sat Jun 3 00:30:56 UTC 2006 FILE ID= 35614-1149294656 PBS_JOBID= 307029 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-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/35614-1149294656/instance-35614-1149294656.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-35614-1149294656 -o ROOT/results/node69/solver-35614-1149294656 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/35614-1149294656/instance-35614-1149294656.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b RANDOM SEED= 396058989 /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.232 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.232 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: 1808572 kB Buffers: 24484 kB Cached: 156240 kB SwapCached: 2468 kB Active: 42392 kB Inactive: 147056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808572 kB SwapTotal: 4192956 kB SwapFree: 4182216 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15444 kB Slab: 43916 kB Committed_AS: 313076 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Sat Jun 3 01:00:57 UTC 2006