Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -50 | 1800.51 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
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.63 |
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 | 109601 |
Number of constraints which are clauses | 109601 |
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.95 c Converting 109601 PB-constraints to clauses... 2.96 c -- Unit propagations: (none) 2.96 c -- Detecting intervals from adjacent constraints: (none) 2.97 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 3.21 c ==================================[MINISAT+]================================== 3.21 c | Conflicts | Original | Learnt | Progress | 3.21 c | | Clauses Literals | Max Clauses Literals LPC | | 3.21 c ============================================================================== 3.21 c | 0 | 109601 219202 | 36533 0 0 nan | 0.000 % | 3.21 c ============================================================================== 3.21 c [1mFound solution: -37[0m 3.21 o -37 3.22 c ---[ 0]---> Sorter-cost:78076 Base: 3.39 c ==================================[MINISAT+]================================== 3.39 c | Conflicts | Original | Learnt | Progress | 3.39 c | | Clauses Literals | Max Clauses Literals LPC | | 3.39 c ============================================================================== 3.39 c | 0 | 193124 415097 | 64374 0 0 nan | 0.000 % | 3.69 c | 100 | 192416 413617 | 70811 76 921 12.1 | 0.681 % | 4.15 c | 250 | 191023 410616 | 77892 179 2197 12.3 | 2.096 % | 4.54 c | 475 | 190063 408538 | 85681 361 3680 10.2 | 3.080 % | 5.05 c | 812 | 188734 405627 | 94249 637 6636 10.4 | 4.472 % | 5.89 c | 1318 | 186843 401468 | 103674 1068 12098 11.3 | 6.468 % | 7.46 c | 2078 | 182356 391503 | 114042 1656 20682 12.5 | 11.351 % | 9.10 c | 3217 | 177722 381101 | 125446 2499 32422 13.0 | 16.364 % | 9.85 c ============================================================================== 9.85 c [1mFound solution: -42[0m 9.85 o -42 9.87 c ---[ 0]---> Sorter-cost: 0 Base: 9.94 c ==================================[MINISAT+]================================== 9.94 c | Conflicts | Original | Learnt | Progress | 9.94 c | | Clauses Literals | Max Clauses Literals LPC | | 9.94 c ============================================================================== 9.94 c | 3529 | 175621 376581 | 58540 2705 34651 12.8 | 16.364 % | 10.16 c | 3629 | 175081 375366 | 64394 2776 35448 12.8 | 19.578 % | 10.51 c | 3779 | 174172 373327 | 70833 2879 36988 12.8 | 20.559 % | 10.92 c | 4004 | 173065 370801 | 77916 3042 38920 12.8 | 21.723 % | 11.58 c | 4341 | 171253 366710 | 85708 3295 42788 13.0 | 23.699 % | 12.70 c | 4847 | 168168 359645 | 94279 3646 46729 12.8 | 27.155 % | 13.86 c | 5606 | 165511 353533 | 103707 4196 52953 12.6 | 30.161 % | 15.63 c | 6746 | 160767 342641 | 114077 5044 64353 12.8 | 35.508 % | 17.74 c | 8454 | 155384 330180 | 125485 6279 81871 13.0 | 41.640 % | 20.42 c | 11016 | 149069 315430 | 138034 8200 110217 13.4 | 48.843 % | 24.29 c | 14860 | 139979 293955 | 151837 11004 152130 13.8 | 59.520 % | 28.53 c ============================================================================== 28.53 c [1mFound solution: -43[0m 28.53 o -43 28.55 c ---[ 0]---> Sorter-cost: 0 Base: 28.65 c ==================================[MINISAT+]================================== 28.65 c | Conflicts | Original | Learnt | Progress | 28.65 c | | Clauses Literals | Max Clauses Literals LPC | | 28.65 c ============================================================================== 28.65 c | 20499 | 132623 276547 | 44207 15087 233369 15.5 | 59.520 % | 28.71 c | 20599 | 132522 276302 | 48627 15164 235097 15.5 | 68.499 % | 28.85 c | 20749 | 132324 275837 | 53490 15279 237075 15.5 | 68.729 % | 29.00 c | 20974 | 132058 275218 | 58839 15436 241112 15.6 | 69.032 % | 29.17 c | 21311 | 131621 274190 | 64723 15651 243787 15.6 | 69.531 % | 29.51 c | 21817 | 131015 272757 | 71195 15990 252762 15.8 | 70.240 % | 30.03 c | 22576 | 130069 270499 | 78315 16497 264557 16.0 | 71.349 % | 30.79 c | 23715 | 128828 267554 | 86146 17352 289981 16.7 | 72.790 % | 31.92 c | 25423 | 127390 264042 | 94761 18639 326421 17.5 | 74.562 % | 33.08 c ============================================================================== 33.08 c [1mFound solution: -44[0m 33.08 o -44 33.10 c ---[ 0]---> Sorter-cost: 0 Base: 33.20 c ==================================[MINISAT+]================================== 33.20 c | Conflicts | Original | Learnt | Progress | 33.20 c | | Clauses Literals | Max Clauses Literals LPC | | 33.20 c ============================================================================== 33.20 c | 27608 | 126418 261648 | 42139 20404 389011 19.1 | 74.562 % | 33.40 c | 27708 | 126083 260820 | 46352 20406 388917 19.1 | 76.186 % | 33.55 c | 27858 | 125935 260464 | 50988 20480 393969 19.2 | 76.368 % | 33.72 c | 28083 | 125831 260210 | 56087 20649 399264 19.3 | 76.498 % | 33.85 c | 28420 | 125831 260210 | 61695 20986 410136 19.5 | 76.498 % | 34.00 c | 28926 | 125772 260065 | 67865 21475 417326 19.4 | 76.571 % | 34.32 c | 29687 | 125736 259979 | 74651 22220 469844 21.1 | 76.615 % | 34.91 c | 30826 | 125376 259109 | 82116 23271 508205 21.8 | 77.053 % | 35.79 c | 32535 | 124959 258114 | 90328 24674 574603 23.3 | 77.553 % | 37.04 c | 35097 | 124654 257365 | 99361 27056 731371 27.0 | 77.933 % | 39.20 c | 38941 | 123674 254985 | 109297 30310 953739 31.5 | 79.143 % | 40.00 c ============================================================================== 40.00 c [1mFound solution: -45[0m 40.00 o -45 40.02 c ---[ 0]---> Sorter-cost: 0 Base: 40.13 c ==================================[MINISAT+]================================== 40.13 c | Conflicts | Original | Learnt | Progress | 40.13 c | | Clauses Literals | Max Clauses Literals LPC | | 40.13 c ============================================================================== 40.13 c | 39981 | 123189 253844 | 41063 30770 1040985 33.8 | 79.143 % | 40.20 c | 40081 | 123136 253713 | 45169 30862 1043549 33.8 | 79.813 % | 40.38 c | 40231 | 122947 253253 | 49686 30899 1043609 33.8 | 80.048 % | 40.53 c | 40456 | 122945 253249 | 54654 31123 1055699 33.9 | 80.049 % | 40.68 c | 40794 | 122945 253249 | 60120 31461 1069312 34.0 | 80.049 % | 40.94 c | 41300 | 122900 253146 | 66132 31902 1099724 34.5 | 80.100 % | 41.38 c | 42059 | 122752 252790 | 72745 32334 1144268 35.4 | 80.272 % | 42.17 c | 43198 | 122366 251861 | 80020 33089 1185693 35.8 | 80.723 % | 43.07 c | 44907 | 122194 251428 | 88022 34657 1295375 37.4 | 80.945 % | 44.88 c | 47469 | 121548 249831 | 96824 36732 1490676 40.6 | 81.756 % | 46.35 c ============================================================================== 46.35 c [1mFound solution: -46[0m 46.35 o -46 46.37 c ---[ 0]---> Sorter-cost: 0 Base: 46.49 c ==================================[MINISAT+]================================== 46.49 c | Conflicts | Original | Learnt | Progress | 46.49 c | | Clauses Literals | Max Clauses Literals LPC | | 46.49 c ============================================================================== 46.49 c | 49597 | 121162 248821 | 40387 38360 1594354 41.6 | 81.756 % | 46.58 c | 49697 | 121121 248722 | 44425 38424 1596348 41.5 | 82.285 % | 46.71 c | 49847 | 121069 248597 | 48868 38550 1604324 41.6 | 82.348 % | 46.81 c | 50072 | 121069 248597 | 53755 38775 1614451 41.6 | 82.348 % | 47.08 c | 50409 | 120960 248347 | 59130 39032 1630054 41.8 | 82.467 % | 47.56 c | 50916 | 120636 247540 | 65043 39334 1644118 41.8 | 82.880 % | 48.08 c | 51675 | 120511 247232 | 71548 39793 1665108 41.8 | 83.036 % | 48.91 c | 52814 | 120273 246658 | 78702 40760 1749498 42.9 | 83.330 % | 50.12 c | 54522 | 120044 246077 | 86573 42192 1866998 44.3 | 83.631 % | 52.05 c | 57086 | 119856 245625 | 95230 44603 2084904 46.7 | 83.860 % | 54.52 c | 60930 | 119757 245394 | 104753 48320 2492696 51.6 | 83.975 % | 58.53 c | 66698 | 119630 245101 | 115228 53924 3060814 56.8 | 84.119 % | 65.80 c | 75349 | 119586 244999 | 126751 62536 4250466 68.0 | 84.170 % | 70.40 c ============================================================================== 70.40 c [1mFound solution: -47[0m 70.40 o -47 70.42 c ---[ 0]---> Sorter-cost: 0 Base: 70.59 c ==================================[MINISAT+]================================== 70.59 c | Conflicts | Original | Learnt | Progress | 70.59 c | | Clauses Literals | Max Clauses Literals LPC | | 70.59 c ============================================================================== 70.59 c | 80708 | 119633 245141 | 39877 67895 4961309 73.1 | 84.170 % | 70.72 c | 80808 | 119633 245141 | 43864 67995 4966277 73.0 | 84.150 % | 70.78 c | 80958 | 119633 245141 | 48251 68145 4968911 72.9 | 84.150 % | 71.04 c | 81183 | 119630 245134 | 53076 68360 4989143 73.0 | 84.154 % | 71.45 c | 81520 | 119590 245038 | 58383 68485 5032014 73.5 | 84.203 % | 71.88 c | 82026 | 119560 244960 | 64222 68956 5055540 73.3 | 84.243 % | 72.62 c | 82785 | 119541 244917 | 70644 69664 5112086 73.4 | 84.264 % | 73.85 c | 83924 | 119484 244782 | 77708 70593 5233348 74.1 | 84.330 % | 75.69 c | 85632 | 119390 244544 | 85479 72182 5364386 74.3 | 84.452 % | 78.42 c | 88194 | 119390 244544 | 94027 74744 5768919 77.2 | 84.452 % | 82.53 c | 92038 | 119330 244395 | 103430 78241 6251849 79.9 | 84.529 % | 86.04 c ============================================================================== 86.04 c [1mFound solution: -48[0m 86.04 o -48 86.07 c ---[ 0]---> Sorter-cost: 0 Base: 86.25 c ==================================[MINISAT+]================================== 86.25 c | Conflicts | Original | Learnt | Progress | 86.25 c | | Clauses Literals | Max Clauses Literals LPC | | 86.25 c ============================================================================== 86.25 c | 95222 | 119307 244312 | 39769 80797 6489917 80.3 | 84.529 % | 86.46 c | 95322 | 119302 244301 | 43745 80801 6494507 80.4 | 84.568 % | 86.55 c | 95473 | 119302 244301 | 48120 80952 6499168 80.3 | 84.568 % | 86.80 c | 95699 | 119302 244301 | 52932 81178 6517644 80.3 | 84.568 % | 87.22 c | 96037 | 119302 244301 | 58225 81516 6558349 80.5 | 84.568 % | 88.04 c | 96543 | 119251 244180 | 64048 81893 6601834 80.6 | 84.629 % | 88.89 c | 97302 | 119251 244180 | 70453 82652 6683850 80.9 | 84.629 % | 90.13 c | 98443 | 119251 244180 | 77498 83793 6792426 81.1 | 84.629 % | 92.15 c | 100152 | 119248 244173 | 85248 85501 7044565 82.4 | 84.633 % | 95.24 c | 102714 | 119224 244113 | 93773 87981 7416265 84.3 | 84.664 % | 100.08 c | 106558 | 119224 244113 | 103150 91825 8083263 88.0 | 84.664 % | 107.21 c | 112324 | 119173 243998 | 113465 97535 8694659 89.1 | 84.720 % | 121.22 c | 120973 | 119173 243998 | 124812 106184 10419020 98.1 | 84.720 % | 141.11 c | 133947 | 119051 243701 | 137293 118592 12175059 102.7 | 84.868 % | 174.04 c | 153408 | 118999 243571 | 151022 137826 14991766 108.8 | 84.933 % | 238.66 c | 182602 | 118921 243384 | 166124 166833 21119827 126.6 | 85.020 % | 341.88 c | 226392 | 118907 243352 | 182737 210607 28689871 136.2 | 85.036 % | 458.31 c | 292076 | 118826 243153 | 201011 65336 12142036 185.8 | 85.139 % | 570.07 c ============================================================================== 570.07 c [1mFound solution: -49[0m 570.07 o -49 570.10 c ---[ 0]---> Sorter-cost: 0 Base: 570.50 c ==================================[MINISAT+]================================== 570.50 c | Conflicts | Original | Learnt | Progress | 570.50 c | | Clauses Literals | Max Clauses Literals LPC | | 570.50 c ============================================================================== 570.50 c | 362050 | 118547 242484 | 39515 135200 24364046 180.2 | 85.139 % | 570.91 c | 362150 | 118547 242484 | 43466 23693 2474999 104.5 | 85.491 % | 571.05 c | 362300 | 118547 242484 | 47813 23843 2479606 104.0 | 85.491 % | 571.13 c | 362525 | 118547 242484 | 52594 24068 2487390 103.3 | 85.491 % | 571.38 c | 362862 | 118525 242430 | 57853 24401 2507229 102.8 | 85.519 % | 571.72 c | 363368 | 118494 242350 | 63639 24883 2543148 102.2 | 85.559 % | 572.18 c | 364127 | 118494 242350 | 70003 25642 2600407 101.4 | 85.559 % | 572.75 c | 365266 | 118489 242339 | 77003 26779 2655531 99.2 | 85.564 % | 573.74 c | 366974 | 118487 242335 | 84703 28484 2812900 98.8 | 85.566 % | 574.80 c | 369537 | 118479 242315 | 93174 31045 2948803 95.0 | 85.576 % | 577.50 c | 373382 | 118434 242210 | 102491 34866 3322484 95.3 | 85.629 % | 582.21 c | 379148 | 118428 242196 | 112740 40629 4130162 101.7 | 85.636 % | 588.94 c | 387797 | 118428 242196 | 124014 49278 5184958 105.2 | 85.636 % | 602.87 c | 400771 | 118323 241944 | 136416 62173 7267303 116.9 | 85.763 % | 630.81 c | 420233 | 118323 241944 | 150058 81635 10691948 131.0 | 85.763 % | 681.83 c | 449425 | 118321 241940 | 165063 110825 17124988 154.5 | 85.765 % | 697.19 c ============================================================================== 697.19 c [1mFound solution: -50[0m 697.19 o -50 697.21 c ---[ 0]---> Sorter-cost: 0 Base: 697.54 c ==================================[MINISAT+]================================== 697.54 c | Conflicts | Original | Learnt | Progress | 697.54 c | | Clauses Literals | Max Clauses Literals LPC | | 697.54 c ============================================================================== 697.54 c | 458198 | 118310 241876 | 39436 119559 18812888 157.4 | 85.765 % | 698.07 c | 458298 | 118304 241860 | 43379 25675 2833429 110.4 | 85.790 % | 698.23 c | 458448 | 118304 241860 | 47717 25825 2841856 110.0 | 85.790 % | 698.41 c | 458673 | 118300 241850 | 52489 26048 2857423 109.7 | 85.795 % | 698.64 c | 459010 | 118300 241850 | 57738 26385 2887102 109.4 | 85.795 % | 698.95 c | 459516 | 118300 241850 | 63512 26891 2940973 109.4 | 85.795 % | 699.51 c | 460275 | 118251 241731 | 69863 27644 2999938 108.5 | 85.856 % | 700.25 c | 461414 | 118251 241731 | 76849 28783 3114100 108.2 | 85.856 % | 701.44 c | 463122 | 118169 241541 | 84534 30482 3273886 107.4 | 85.950 % | 703.21 c | 465684 | 118096 241352 | 92988 33011 3547276 107.5 | 86.051 % | 706.16 c | 469528 | 118096 241352 | 102286 36855 4118192 111.7 | 86.051 % | 710.55 c | 475295 | 118063 241277 | 112515 42615 4757818 111.6 | 86.088 % | 718.12 c | 483944 | 118060 241270 | 123767 51258 5742608 112.0 | 86.091 % | 732.42 c | 496918 | 118057 241263 | 136143 64230 7876670 122.6 | 86.095 % | 757.10 c | 516380 | 118003 241137 | 149758 83579 10931376 130.8 | 86.158 % | 805.13 c | 545573 | 118003 241137 | 164733 112772 16169482 143.4 | 86.158 % | 904.67 c | 589362 | 117997 241121 | 181207 156556 25826296 165.0 | 86.166 % | 1073.54 c | 655046 | 117830 240715 | 199328 221998 36757609 165.6 | 86.374 % | 1243.03 c | 753572 | 117683 240353 | 219260 90827 12058356 132.8 | 86.561 % | 1562.17 c | 901362 | 117470 239824 | 241186 238487 36221144 151.9 | 86.833 % | 1801.17 c 1801.17 c *** TERMINATED *** 1801.17 s SATISFIABLE 1801.17 v -x1400 -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1801.17 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1801.17 v x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1801.17 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1801.17 v x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1801.17 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1801.17 v -x1298 -x1297 x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1801.17 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1801.17 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1801.17 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1801.17 v x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1801.17 v x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1801.17 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1801.17 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 1801.17 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 x1146 1801.17 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1801.17 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112 1801.17 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1801.17 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 x1078 1801.17 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 1801.17 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 1801.17 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1801.17 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 1801.17 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 1801.17 v -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 1801.17 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1801.17 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1801.17 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1801.17 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1801.17 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 1801.17 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 1801.17 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 1801.17 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 1801.17 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1801.17 v -x779 -x778 -x777 x776 x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1801.17 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 1801.17 v x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1801.17 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 x697 -x696 1801.17 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1801.17 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 x658 -x657 -x656 -x655 -x654 1801.17 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 1801.17 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 1801.17 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 1801.17 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 1801.17 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 1801.17 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1801.17 v x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 1801.17 v -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1801.17 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1801.17 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 1801.17 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1801.17 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 1801.17 v -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 1801.17 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1801.17 v -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 1801.17 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 1801.17 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 1801.17 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 1801.17 v x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1801.17 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1801.17 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1801.17 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1801.17 v -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1801.17 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 1801.17 v -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1801.17 v -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 1801.17 v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 1801.17 v -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 1801.17 v -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 1801.17 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 1801.17 v -x4 -x3 -x2 -x1
OK -50
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-35615-1149294719 -o ROOT/results/node12/solver-35615-1149294719 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/35615-1149294719/instance-35615-1149294719.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.92 2/64 7453 /proc/meminfo: memFree=1719120/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=1180 CPUtime=0 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 117 0 0 0 0 0 0 0 19 0 1 0 195134512 1208320 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 295 102 67 215 0 77 0 [startup+10.0021 s] /proc/loadavg: 0.94 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1682384/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=38904 CPUtime=9.98 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 9548 0 0 0 983 15 0 0 25 0 1 0 195134512 39837696 9324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 9726 9324 111 215 0 9508 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 38904 [startup+20.0079 s] /proc/loadavg: 0.95 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1682384/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=38904 CPUtime=19.98 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 9548 0 0 0 1983 15 0 0 25 0 1 0 195134512 39837696 9324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 9726 9324 111 215 0 9508 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 38904 [startup+30.0137 s] /proc/loadavg: 0.95 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1682384/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=38904 CPUtime=29.99 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 9558 0 0 0 2983 16 0 0 25 0 1 0 195134512 39837696 9325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 9726 9325 111 215 0 9508 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 38904 [startup+40.0205 s] /proc/loadavg: 0.96 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1682320/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=39008 CPUtime=39.99 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 9583 0 0 0 3983 16 0 0 25 0 1 0 195134512 39944192 9350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 9752 9350 111 215 0 9534 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 39008 [startup+50.0273 s] /proc/loadavg: 0.97 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1682320/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=39064 CPUtime=49.99 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 9596 0 0 0 4983 16 0 0 25 0 1 0 195134512 40001536 9363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 9766 9363 111 215 0 9548 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 39064 [startup+60.0332 s] /proc/loadavg: 0.97 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1676304/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=45120 CPUtime=59.99 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 11097 0 0 0 5981 18 0 0 25 0 1 0 195134512 46202880 10864 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 11280 10864 111 215 0 11062 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 45120 [startup+70.04 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1669776/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=51668 CPUtime=69.99 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 12717 0 0 0 6980 19 0 0 25 0 1 0 195134512 52908032 12484 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 12917 12484 111 215 0 12699 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 51668 [startup+80.0468 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1665104/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=56324 CPUtime=79.99 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 13915 0 0 0 7979 20 0 0 25 0 1 0 195134512 57675776 13651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 14081 13651 111 215 0 13863 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 56324 [startup+90.0526 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1661456/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=59928 CPUtime=90 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 14856 0 0 0 8979 21 0 0 25 0 1 0 195134512 61366272 14561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 14982 14561 111 215 0 14764 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 59928 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7453 /proc/meminfo: memFree=1656080/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=65308 CPUtime=100 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 16202 0 0 0 9978 22 0 0 25 0 1 0 195134512 66875392 15907 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574427 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 16327 15907 111 215 0 16109 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 65308 [startup+110.065 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1652240/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=69292 CPUtime=110 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 17155 0 0 0 10977 23 0 0 25 0 1 0 195134512 70955008 16860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 17323 16860 111 215 0 17105 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 69292 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1646800/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=74652 CPUtime=120 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 18518 0 0 0 11976 24 0 0 25 0 1 0 195134512 76443648 18223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 18663 18223 111 215 0 18445 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 74652 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1643472/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=77936 CPUtime=130.01 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 19333 0 0 0 12976 25 0 0 25 0 1 0 195134512 79806464 19038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 19484 19038 111 215 0 19266 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 77936 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1639376/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=81992 CPUtime=140.01 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 20357 0 0 0 13975 26 0 0 25 0 1 0 195134512 83959808 20062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 20498 20062 111 215 0 20280 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 81992 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1635344/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=86024 CPUtime=150.02 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 21378 0 0 0 14975 27 0 0 25 0 1 0 195134512 88088576 21083 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 21506 21083 111 215 0 21288 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 86024 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1631376/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=89944 CPUtime=160.02 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 22370 0 0 0 15974 28 0 0 25 0 1 0 195134512 92102656 22075 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 22486 22075 111 215 0 22268 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 89944 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7453 /proc/meminfo: memFree=1627920/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=93356 CPUtime=170.02 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 23220 0 0 0 16973 29 0 0 25 0 1 0 195134512 95596544 22925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 23339 22925 111 215 0 23121 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 93356 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7455 /proc/meminfo: memFree=1624080/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=97396 CPUtime=180.02 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 24176 0 0 0 17971 31 0 0 25 0 1 0 195134512 99733504 23881 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 24349 23881 111 215 0 24131 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 97396 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7455 /proc/meminfo: memFree=1619216/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=102356 CPUtime=190.02 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 25399 0 0 0 18970 32 0 0 25 0 1 0 195134512 104812544 25104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 25589 25104 111 215 0 25371 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 102356 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7455 /proc/meminfo: memFree=1614608/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=106928 CPUtime=200.02 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 26545 0 0 0 19969 33 0 0 25 0 1 0 195134512 109494272 26250 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 26732 26250 111 215 0 26514 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 106928 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7455 /proc/meminfo: memFree=1610320/2055920 swapFree=4181420/4192956 ################ # More data... # ################ [pid=7453] ppid=7451 vsize=223440 CPUtime=1781.38 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178066 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 223440 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1782.38 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178166 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 223440 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1783.38 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178266 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 223440 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1784.39 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178367 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 223440 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1785.39 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178467 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 223440 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1786.4 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178568 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 223440 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1787.4 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178668 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 223440 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1788.41 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178769 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575414 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 223440 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1789.41 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178869 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 223440 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1790.42 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 178970 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 223440 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1791.42 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179070 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 223440 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1792.43 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179171 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 223440 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1793.43 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179271 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 223440 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1794.44 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179372 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 223440 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1795.44 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179472 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 223440 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1796.45 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179573 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 223440 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1797.45 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179673 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 223440 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1798.45 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179773 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 223440 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1799.46 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179874 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 223440 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1800.46 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179974 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 223440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7650 /proc/meminfo: memFree=1497040/2055920 swapFree=4181420/4192956 [pid=7453] ppid=7451 vsize=223440 CPUtime=1800.47 /proc/7453/stat : 7453 (minisat+) R 7451 7453 7407 0 -1 4194304 55724 0 0 0 179975 72 0 0 25 0 1 0 195134512 228802560 55429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7453/statm: 55860 55429 111 215 0 55642 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 223440 Sending SIGTERM to -7453 Sleeping 2 seconds Child status: 10 Real time (s): 1801.21 CPU time (s): 1800.51 CPU user time (s): 1799.75 CPU system time (s): 0.756884 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (Kb): 223440
Begin job on node12 on Sat Jun 3 00:31:59 UTC 2006 FILE ID= 35615-1149294719 PBS_JOBID= 307043 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/35615-1149294719/instance-35615-1149294719.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-35615-1149294719 -o ROOT/results/node12/solver-35615-1149294719 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/35615-1149294719/instance-35615-1149294719.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED= 11332941 /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.282 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.282 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: 1719520 kB Buffers: 23268 kB Cached: 250176 kB SwapCached: 3180 kB Active: 51032 kB Inactive: 231120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1719520 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14720 kB Slab: 40372 kB Committed_AS: 276848 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Sat Jun 3 01:02:00 UTC 2006