Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -52 | 1800.55 | 1801.26 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb |
MD5SUM | 62a6bdf0e089cd0b8a79007277394096 |
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.46 |
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 | 109401 |
Number of constraints which are clauses | 109401 |
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.94 c Converting 109401 PB-constraints to clauses... 2.95 c -- Unit propagations: (none) 2.95 c -- Detecting intervals from adjacent constraints: (none) 2.96 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.20 c ==================================[MINISAT+]================================== 3.20 c | Conflicts | Original | Learnt | Progress | 3.20 c | | Clauses Literals | Max Clauses Literals LPC | | 3.20 c ============================================================================== 3.20 c | 0 | 109401 218802 | 36467 0 0 nan | 0.000 % | 3.20 c ============================================================================== 3.20 c [1mFound solution: -40[0m 3.20 o -40 3.22 c ---[ 0]---> Sorter-cost:78076 Base: 3.38 c ==================================[MINISAT+]================================== 3.38 c | Conflicts | Original | Learnt | Progress | 3.38 c | | Clauses Literals | Max Clauses Literals LPC | | 3.38 c ============================================================================== 3.38 c | 0 | 193094 415099 | 64364 0 0 nan | 0.000 % | 3.67 c | 100 | 192550 413981 | 70800 81 590 7.3 | 0.516 % | 4.08 c | 250 | 191694 412157 | 77880 191 2087 10.9 | 1.412 % | 4.55 c | 476 | 190523 409618 | 85668 373 4634 12.4 | 2.568 % | 5.30 c | 814 | 188009 404076 | 94235 603 7316 12.1 | 5.226 % | 6.19 c | 1320 | 185071 397592 | 103658 1000 11541 11.5 | 8.340 % | 7.86 c | 2079 | 180361 387088 | 114024 1525 18000 11.8 | 13.428 % | 9.92 c | 3218 | 174052 372857 | 125427 2298 26933 11.7 | 20.384 % | 12.51 c | 4926 | 167171 357178 | 137969 3480 42305 12.2 | 28.065 % | 16.21 c | 7488 | 157158 334221 | 151766 5331 61838 11.6 | 39.255 % | 20.85 c | 11332 | 144436 304457 | 166943 8039 94187 11.7 | 53.917 % | 25.37 c ============================================================================== 25.37 c [1mFound solution: -41[0m 25.37 o -41 25.39 c ---[ 0]---> Sorter-cost: 0 Base: 25.49 c ==================================[MINISAT+]================================== 25.49 c | Conflicts | Original | Learnt | Progress | 25.49 c | | Clauses Literals | Max Clauses Literals LPC | | 25.49 c ============================================================================== 25.49 c | 16748 | 134807 281657 | 44935 11523 152767 13.3 | 53.917 % | 25.59 c | 16848 | 134472 280875 | 49428 11599 153817 13.3 | 65.787 % | 25.72 c | 16998 | 134230 280308 | 54371 11738 156796 13.4 | 66.068 % | 25.96 c | 17223 | 133770 279211 | 59808 11876 159392 13.4 | 66.599 % | 26.26 c | 17560 | 133293 278066 | 65789 12117 163106 13.5 | 67.168 % | 26.67 c | 18067 | 132451 276026 | 72368 12355 166879 13.5 | 68.197 % | 27.13 c | 18826 | 132034 275016 | 79605 12963 188616 14.6 | 68.700 % | 27.91 c | 19965 | 130866 272248 | 87565 13720 203418 14.8 | 70.076 % | 28.94 c | 21673 | 129525 269009 | 96322 15069 249486 16.6 | 71.703 % | 30.92 c | 24236 | 126370 261437 | 105954 16906 301322 17.8 | 75.533 % | 32.47 c ============================================================================== 32.47 c [1mFound solution: -42[0m 32.47 o -42 32.49 c ---[ 0]---> Sorter-cost: 0 Base: 32.59 c ==================================[MINISAT+]================================== 32.59 c | Conflicts | Original | Learnt | Progress | 32.59 c | | Clauses Literals | Max Clauses Literals LPC | | 32.59 c ============================================================================== 32.59 c | 27120 | 124797 257602 | 41599 19327 366556 19.0 | 75.533 % | 32.69 c | 27221 | 124609 257169 | 45758 19390 367451 19.0 | 77.656 % | 32.75 c | 27372 | 124609 257169 | 50334 19541 373598 19.1 | 77.656 % | 32.88 c | 27597 | 124480 256852 | 55368 19696 382342 19.4 | 77.819 % | 33.06 c | 27934 | 124352 256539 | 60905 19950 393222 19.7 | 77.981 % | 33.30 c | 28442 | 124246 256284 | 66995 20427 408671 20.0 | 78.109 % | 33.36 c ============================================================================== 33.36 c [1mFound solution: -43[0m 33.36 o -43 33.38 c ---[ 0]---> Sorter-cost: 0 Base: 33.49 c ==================================[MINISAT+]================================== 33.49 c | Conflicts | Original | Learnt | Progress | 33.49 c | | Clauses Literals | Max Clauses Literals LPC | | 33.49 c ============================================================================== 33.49 c | 28536 | 124314 256509 | 41438 20521 411801 20.1 | 78.109 % | 33.54 c | 28636 | 124278 256419 | 45581 20615 413150 20.0 | 78.122 % | 33.66 c | 28787 | 124212 256258 | 50139 20594 416116 20.2 | 78.206 % | 33.77 c | 29012 | 124155 256115 | 55153 20774 422744 20.3 | 78.281 % | 33.97 c | 29349 | 123998 255722 | 60669 21061 432926 20.6 | 78.481 % | 34.20 c | 29855 | 123924 255541 | 66736 21542 455907 21.2 | 78.574 % | 34.68 c | 30614 | 123477 254457 | 73409 22107 479117 21.7 | 79.122 % | 35.21 c | 31753 | 123112 253584 | 80750 23117 523958 22.7 | 79.563 % | 35.73 c ============================================================================== 35.73 c [1mFound solution: -44[0m 35.73 o -44 35.75 c ---[ 0]---> Sorter-cost: 0 Base: 35.86 c ==================================[MINISAT+]================================== 35.86 c | Conflicts | Original | Learnt | Progress | 35.86 c | | Clauses Literals | Max Clauses Literals LPC | | 35.86 c ============================================================================== 35.86 c | 32704 | 122868 252983 | 40956 23796 542190 22.8 | 79.563 % | 35.90 c | 32804 | 122868 252983 | 45051 23896 544156 22.8 | 79.858 % | 35.98 c | 32954 | 122865 252976 | 49556 24045 548175 22.8 | 79.862 % | 36.12 c | 33180 | 122748 252701 | 54512 24233 556503 23.0 | 79.998 % | 36.28 c | 33518 | 122695 252573 | 59963 24544 575429 23.4 | 80.063 % | 36.56 c | 34025 | 122496 252082 | 65960 24965 615467 24.7 | 80.303 % | 36.90 c | 34784 | 122447 251963 | 72556 25704 643849 25.0 | 80.363 % | 37.40 c | 35923 | 122348 251715 | 79811 26752 724264 27.1 | 80.490 % | 38.16 c | 37631 | 122084 251065 | 87792 28017 788957 28.2 | 80.823 % | 39.57 c | 40193 | 121936 250714 | 96572 30493 1096807 36.0 | 80.996 % | 41.73 c | 44037 | 121613 249937 | 106229 33966 1333260 39.3 | 81.387 % | 42.09 c ============================================================================== 42.09 c [1mFound solution: -45[0m 42.09 o -45 42.11 c ---[ 0]---> Sorter-cost: 0 Base: 42.23 c ==================================[MINISAT+]================================== 42.23 c | Conflicts | Original | Learnt | Progress | 42.23 c | | Clauses Literals | Max Clauses Literals LPC | | 42.23 c ============================================================================== 42.23 c | 44649 | 121598 249931 | 40532 34330 1361086 39.6 | 81.387 % | 42.29 c | 44750 | 121598 249931 | 44585 34431 1363689 39.6 | 81.415 % | 42.43 c | 44901 | 121496 249687 | 49043 34550 1367121 39.6 | 81.537 % | 42.90 c | 45126 | 121026 248536 | 53948 34437 1367468 39.7 | 82.124 % | 43.13 c | 45463 | 121001 248473 | 59342 34739 1383805 39.8 | 82.157 % | 43.44 c | 45970 | 120940 248317 | 65277 35124 1405818 40.0 | 82.236 % | 43.86 c | 46730 | 120930 248293 | 71804 35808 1432323 40.0 | 82.248 % | 44.12 c ============================================================================== 44.12 c [1mFound solution: -47[0m 44.12 o -47 44.14 c ---[ 0]---> Sorter-cost: 0 Base: 44.26 c ==================================[MINISAT+]================================== 44.26 c | Conflicts | Original | Learnt | Progress | 44.26 c | | Clauses Literals | Max Clauses Literals LPC | | 44.26 c ============================================================================== 44.26 c | 47417 | 120940 248346 | 40313 36448 1451377 39.8 | 82.248 % | 44.34 c | 47517 | 120934 248332 | 44344 36543 1455647 39.8 | 82.292 % | 44.45 c | 47667 | 120876 248204 | 48778 36594 1456457 39.8 | 82.353 % | 44.59 c | 47894 | 120869 248187 | 53656 36738 1463986 39.8 | 82.362 % | 44.69 c | 48231 | 120869 248187 | 59022 37075 1473745 39.8 | 82.362 % | 45.10 c | 48738 | 120659 247667 | 64924 37412 1495976 40.0 | 82.628 % | 45.68 c | 49497 | 120597 247517 | 71416 37982 1561617 41.1 | 82.703 % | 46.42 c | 50636 | 120480 247240 | 78558 38839 1642896 42.3 | 82.842 % | 47.43 c | 52344 | 120473 247225 | 86414 40501 1739485 42.9 | 82.849 % | 49.10 c | 54906 | 120255 246700 | 95055 42829 1975102 46.1 | 83.118 % | 50.54 c ============================================================================== 50.54 c [1mFound solution: -48[0m 50.54 o -48 50.56 c ---[ 0]---> Sorter-cost: 0 Base: 50.69 c ==================================[MINISAT+]================================== 50.69 c | Conflicts | Original | Learnt | Progress | 50.69 c | | Clauses Literals | Max Clauses Literals LPC | | 50.69 c ============================================================================== 50.69 c | 57045 | 120216 246582 | 40072 44648 2278364 51.0 | 83.118 % | 50.76 c | 57145 | 120216 246582 | 44079 44748 2281325 51.0 | 83.168 % | 50.87 c | 57297 | 120216 246582 | 48487 44900 2288955 51.0 | 83.168 % | 51.07 c | 57523 | 120130 246364 | 53335 44971 2304412 51.2 | 83.280 % | 51.34 c | 57860 | 120109 246315 | 58669 45276 2317982 51.2 | 83.304 % | 51.71 c | 58367 | 120058 246202 | 64536 45762 2356290 51.5 | 83.358 % | 52.20 c | 59126 | 120058 246202 | 70989 46521 2419971 52.0 | 83.358 % | 52.93 c | 60265 | 120058 246202 | 78088 47660 2507609 52.6 | 83.358 % | 54.09 c | 61973 | 120001 246053 | 85897 49258 2633802 53.5 | 83.437 % | 55.97 c | 64535 | 119961 245951 | 94487 51758 2848264 55.0 | 83.491 % | 58.78 c | 68379 | 119845 245672 | 103936 55463 3195026 57.6 | 83.630 % | 63.82 c | 74146 | 119845 245672 | 114330 61230 4034130 65.9 | 83.630 % | 70.49 c | 82795 | 119662 245221 | 125763 69629 4758092 68.3 | 83.864 % | 85.51 c | 95770 | 119456 244722 | 138339 82302 6937965 84.3 | 84.119 % | 111.70 c | 115231 | 119197 244098 | 152173 101081 9562562 94.6 | 84.432 % | 131.42 c ============================================================================== 131.42 c [1mFound solution: -49[0m 131.42 o -49 131.44 c ---[ 0]---> Sorter-cost: 0 Base: 131.70 c ==================================[MINISAT+]================================== 131.70 c | Conflicts | Original | Learnt | Progress | 131.70 c | | Clauses Literals | Max Clauses Literals LPC | | 131.70 c ============================================================================== 131.70 c | 128578 | 119061 243777 | 39687 114237 11744294 102.8 | 84.432 % | 132.06 c | 128679 | 119050 243750 | 43655 23872 2191084 91.8 | 84.625 % | 132.15 c | 128830 | 119050 243750 | 48021 24023 2198095 91.5 | 84.625 % | 132.29 c | 129057 | 119041 243727 | 52823 24247 2206430 91.0 | 84.638 % | 132.50 c | 129395 | 119041 243727 | 58105 24585 2234797 90.9 | 84.638 % | 132.80 c | 129901 | 119041 243727 | 63916 25091 2270090 90.5 | 84.638 % | 133.21 c | 130660 | 119041 243727 | 70307 25850 2324765 89.9 | 84.638 % | 133.76 c | 131800 | 119036 243714 | 77338 26967 2390314 88.6 | 84.645 % | 134.75 c | 133508 | 119024 243684 | 85072 28662 2521904 88.0 | 84.660 % | 136.50 c | 136070 | 118994 243606 | 93579 31211 2742209 87.9 | 84.702 % | 139.40 c | 139914 | 118994 243606 | 102937 35055 3395400 96.9 | 84.702 % | 143.63 c | 145680 | 118852 243246 | 113231 40787 4097071 100.5 | 84.885 % | 151.36 c | 154329 | 118811 243143 | 124554 49099 5460303 111.2 | 84.938 % | 165.47 c | 167303 | 118690 242854 | 137010 61891 7674838 124.0 | 85.081 % | 195.53 c | 186764 | 118443 242262 | 150711 81251 12728039 156.7 | 85.381 % | 244.10 c | 215956 | 118381 242110 | 165782 110427 18354731 166.2 | 85.459 % | 328.74 c | 259746 | 118130 241494 | 182360 153926 26304046 170.9 | 85.777 % | 495.61 c | 325430 | 118019 241235 | 200596 219362 38609848 176.0 | 85.901 % | 619.73 c ============================================================================== 619.73 c [1mFound solution: -50[0m 619.73 o -50 619.75 c ---[ 0]---> Sorter-cost: 0 Base: 619.94 c ==================================[MINISAT+]================================== 619.94 c | Conflicts | Original | Learnt | Progress | 619.94 c | | Clauses Literals | Max Clauses Literals LPC | | 619.94 c ============================================================================== 619.94 c | 387457 | 117867 240817 | 39289 56249 7774356 138.2 | 85.901 % | 620.05 c | 387558 | 117867 240817 | 43217 56350 7783274 138.1 | 86.083 % | 620.20 c | 387708 | 117867 240817 | 47539 56500 7800113 138.1 | 86.083 % | 620.55 c | 387933 | 117862 240806 | 52293 56715 7824516 138.0 | 86.088 % | 621.02 c | 388270 | 117826 240720 | 57523 57044 7866924 137.9 | 86.132 % | 621.58 c | 388777 | 117826 240720 | 63275 57551 7918780 137.6 | 86.132 % | 622.66 c | 389536 | 117760 240568 | 69602 58301 8009482 137.4 | 86.207 % | 623.84 c | 390675 | 117760 240568 | 76563 59440 8140428 137.0 | 86.207 % | 625.72 c | 392383 | 117756 240558 | 84219 61115 8331280 136.3 | 86.212 % | 629.16 c | 394949 | 117649 240289 | 92641 63435 8648634 136.3 | 86.352 % | 633.56 c | 398793 | 117646 240282 | 101905 67274 9144509 135.9 | 86.355 % | 640.69 c | 404559 | 117644 240278 | 112096 73039 9951320 136.2 | 86.357 % | 652.19 c | 413209 | 117632 240248 | 123305 81686 11195605 137.1 | 86.373 % | 672.64 c | 426184 | 117545 240039 | 135636 94651 13567582 143.3 | 86.479 % | 709.27 c | 445646 | 117524 239988 | 149199 114108 17643593 154.6 | 86.505 % | 768.29 c | 474839 | 117524 239988 | 164119 143301 22653778 158.1 | 86.505 % | 868.62 c | 518628 | 117508 239950 | 180531 187084 29347547 156.9 | 86.525 % | 1015.77 c | 584312 | 117422 239744 | 198585 46169 4287037 92.9 | 86.629 % | 1166.96 c | 682838 | 117357 239577 | 218443 144678 19914253 137.6 | 86.716 % | 1201.59 c ============================================================================== 1201.59 c [1mFound solution: -51[0m 1201.59 o -51 1201.61 c ---[ 0]---> Sorter-cost: 0 Base: 1201.98 c ==================================[MINISAT+]================================== 1201.98 c | Conflicts | Original | Learnt | Progress | 1201.98 c | | Clauses Literals | Max Clauses Literals LPC | | 1201.98 c ============================================================================== 1201.98 c | 698303 | 117384 239655 | 39128 160143 22307824 139.3 | 86.716 % | 1202.80 c | 698404 | 117384 239655 | 43040 23335 2039721 87.4 | 86.713 % | 1202.93 c | 698554 | 117369 239618 | 47344 23477 2047228 87.2 | 86.732 % | 1202.98 c | 698779 | 117369 239618 | 52079 23702 2052476 86.6 | 86.732 % | 1203.15 c | 699116 | 117369 239618 | 57287 24039 2077061 86.4 | 86.732 % | 1203.41 c | 699623 | 117363 239604 | 63016 24543 2103108 85.7 | 86.739 % | 1203.86 c | 700382 | 117355 239584 | 69317 25299 2190760 86.6 | 86.750 % | 1204.39 c | 701521 | 117355 239584 | 76249 26438 2279806 86.2 | 86.750 % | 1205.49 c | 703229 | 117246 239320 | 83874 28131 2418271 86.0 | 86.882 % | 1206.82 c | 705791 | 117246 239320 | 92261 30693 2590338 84.4 | 86.882 % | 1209.31 c | 709637 | 117246 239320 | 101487 34539 3027528 87.7 | 86.882 % | 1213.51 c | 715403 | 117246 239320 | 111636 40305 3793092 94.1 | 86.882 % | 1221.20 c | 724054 | 117246 239320 | 122800 48956 5035819 102.9 | 86.882 % | 1236.55 c | 737028 | 117246 239320 | 135080 61930 7742645 125.0 | 86.882 % | 1261.70 c | 756490 | 117243 239313 | 148588 81390 10586969 130.1 | 86.886 % | 1302.58 c | 785682 | 117204 239214 | 163447 110464 14406412 130.4 | 86.938 % | 1389.78 c | 829471 | 117195 239193 | 179792 154244 20801013 134.9 | 86.948 % | 1556.09 c | 895155 | 117136 239050 | 197771 219901 29227397 132.9 | 87.021 % | 1728.52 c ============================================================================== 1728.52 c [1mFound solution: -52[0m 1728.52 o -52 1728.54 c ---[ 0]---> Sorter-cost: 0 Base: 1728.74 c ==================================[MINISAT+]================================== 1728.74 c | Conflicts | Original | Learnt | Progress | 1728.74 c | | Clauses Literals | Max Clauses Literals LPC | | 1728.74 c ============================================================================== 1728.74 c | 986423 | 117121 239000 | 39040 88917 7872636 88.5 | 87.021 % | 1728.97 c | 986524 | 117121 239000 | 42944 89018 7881247 88.5 | 87.043 % | 1729.25 c | 986674 | 117121 239000 | 47238 89168 7896692 88.6 | 87.043 % | 1729.69 c | 986899 | 117089 238922 | 51962 89379 7921066 88.6 | 87.083 % | 1730.14 c | 987237 | 117089 238922 | 57158 89717 7956349 88.7 | 87.083 % | 1730.80 c | 987743 | 117089 238922 | 62874 90223 8021330 88.9 | 87.083 % | 1731.86 c | 988502 | 117089 238922 | 69161 90982 8089394 88.9 | 87.083 % | 1733.29 c | 989641 | 117089 238922 | 76077 92121 8209986 89.1 | 87.083 % | 1735.45 c | 991350 | 117089 238922 | 83685 93830 8420046 89.7 | 87.083 % | 1738.84 c | 993912 | 117089 238922 | 92054 96392 8702763 90.3 | 87.083 % | 1744.11 c | 997757 | 117089 238922 | 101259 100237 9206785 91.9 | 87.083 % | 1752.08 c | 1003523 | 117087 238918 | 111385 105999 9943048 93.8 | 87.084 % | 1764.96 c | 1012174 | 117087 238918 | 122524 114650 10935172 95.4 | 87.084 % | 1786.13 c | 1025149 | 117011 238736 | 134776 127613 12443243 97.5 | 87.177 % | 1801.22 c 1801.22 c *** TERMINATED *** 1801.22 s SATISFIABLE 1801.22 v -x1400 -x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1801.22 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1801.22 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1801.22 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 1801.22 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1801.22 v -x1315 -x1314 -x1313 -x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1801.22 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1801.22 v -x1281 x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 1801.22 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 1801.22 v -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 1801.22 v -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 1801.22 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 1801.22 v -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 1801.22 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 1801.22 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 1801.22 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 1801.22 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 1801.22 v -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 1801.22 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 1801.22 v x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 1801.22 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 1801.22 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 1801.22 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 1801.22 v -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 1801.22 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 1801.22 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 1801.22 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 1801.22 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 1801.22 v -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 1801.22 v -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1801.22 v -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 1801.22 v x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 1801.22 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 1801.22 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 1801.22 v -x778 -x777 x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 1801.22 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1801.22 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 1801.22 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 1801.22 v -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 1801.22 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 1801.22 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 1801.22 v -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 1801.22 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 1801.22 v -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1801.22 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 1801.22 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 1801.22 v -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 1801.22 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 1801.22 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 1801.22 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 1801.22 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 1801.22 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 1801.22 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 1801.22 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 1801.22 v -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 1801.22 v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 1801.22 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 1801.22 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 1801.22 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 1801.22 v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 1801.22 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 1801.22 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 1801.22 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 1801.22 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 1801.22 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 1801.22 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 1801.22 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 1801.22 v -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 x57 1801.22 v -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 -x31 1801.22 v -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 -x4 -x3 1801.22 v -x2 -x1
OK -52
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-35616-1149294750 -o ROOT/results/node67/solver-35616-1149294750 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node67/35616-1149294750/instance-35616-1149294750.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1573168/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=1048 CPUtime=0 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 99 0 0 0 0 0 0 0 19 0 1 0 195144438 1073152 84 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 262 85 67 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1536576/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=38356 CPUtime=9.97 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9457 0 0 0 984 13 0 0 25 0 1 0 195144438 39276544 9233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 9589 9233 110 215 0 9371 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 38356 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1536768/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=38356 CPUtime=19.97 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9457 0 0 0 1984 13 0 0 25 0 1 0 195144438 39276544 9233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 9589 9233 110 215 0 9371 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 38356 [startup+30.0142 s] /proc/loadavg: 0.95 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1536448/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=38824 CPUtime=29.98 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9539 0 0 0 2985 13 0 0 25 0 1 0 195144438 39755776 9305 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 9706 9305 110 215 0 9488 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 38824 [startup+40.0201 s] /proc/loadavg: 0.96 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1536384/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=38932 CPUtime=39.99 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9566 0 0 0 3985 14 0 0 25 0 1 0 195144438 39866368 9332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 9733 9332 110 215 0 9515 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38932 [startup+50.026 s] /proc/loadavg: 0.96 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1535360/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=40040 CPUtime=49.99 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9823 0 0 0 4985 14 0 0 25 0 1 0 195144438 41000960 9589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 10010 9589 110 215 0 9792 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 40040 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1530368/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=45032 CPUtime=59.98 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 11115 0 0 0 5983 15 0 0 25 0 1 0 195144438 46112768 10849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 11258 10849 110 215 0 11040 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 45032 [startup+70.0387 s] /proc/loadavg: 0.97 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1524480/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=51052 CPUtime=69.99 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 12580 0 0 0 6982 17 0 0 25 0 1 0 195144438 52277248 12314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 12763 12314 110 215 0 12545 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 51052 [startup+80.0456 s] /proc/loadavg: 0.98 0.98 0.96 2/64 23759 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=56704 CPUtime=80 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 14010 0 0 0 7981 19 0 0 25 0 1 0 195144438 58064896 13744 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 14176 13744 110 215 0 13958 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 56704 [startup+90.0525 s] /proc/loadavg: 1.06 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1513024/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=62340 CPUtime=90 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 15436 0 0 0 8980 20 0 0 25 0 1 0 195144438 63836160 15170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 15585 15170 110 215 0 15367 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 62340 [startup+100.059 s] /proc/loadavg: 1.05 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1508736/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=66844 CPUtime=100 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 16515 0 0 0 9979 21 0 0 25 0 1 0 195144438 68448256 16249 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 16711 16249 110 215 0 16493 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 66844 [startup+110.066 s] /proc/loadavg: 1.04 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1504640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=70900 CPUtime=110.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 17534 0 0 0 10978 23 0 0 25 0 1 0 195144438 72601600 17268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 17725 17268 110 215 0 17507 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 70900 [startup+120.073 s] /proc/loadavg: 1.04 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1500608/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=74832 CPUtime=120.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 18542 0 0 0 11977 24 0 0 25 0 1 0 195144438 76627968 18276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 18708 18276 110 215 0 18490 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 74832 [startup+130.079 s] /proc/loadavg: 1.03 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1495552/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=79964 CPUtime=130.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 19804 0 0 0 12976 25 0 0 25 0 1 0 195144438 81883136 19538 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 19991 19538 110 215 0 19773 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 79964 [startup+140.085 s] /proc/loadavg: 1.02 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1494592/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=80636 CPUtime=140.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 13976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 20159 19739 110 215 0 19941 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 80636 [startup+150.092 s] /proc/loadavg: 1.02 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1494592/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=80636 CPUtime=150.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 14976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 20159 19739 110 215 0 19941 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 80636 [startup+160.098 s] /proc/loadavg: 1.02 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=80636 CPUtime=160.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 15976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 20159 19739 110 215 0 19941 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 80636 [startup+170.103 s] /proc/loadavg: 1.01 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=80636 CPUtime=170.01 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 16976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 20159 19739 110 215 0 19941 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 80636 [startup+180.109 s] /proc/loadavg: 1.01 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=80636 CPUtime=180.02 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 17977 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 20159 19739 110 215 0 19941 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 80636 [startup+190.115 s] /proc/loadavg: 1.01 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=80636 CPUtime=190.02 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 18977 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 20159 19739 110 215 0 19941 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 80636 [startup+200.121 s] /proc/loadavg: 1.01 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1489216/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=86280 CPUtime=200.02 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 21426 0 0 0 19975 27 0 0 25 0 1 0 195144438 88350720 21129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 21570 21129 110 215 0 21352 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 86280 [startup+210.127 s] /proc/loadavg: 1.01 1.00 0.96 2/64 23761 /proc/meminfo: memFree=1484608/2055920 swapFree=4181736/4192956 ################ # More data... # ################ [pid=23759] ppid=23757 vsize=214072 CPUtime=1781.41 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178070 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 214072 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1782.42 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178171 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 214072 [startup+1784.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1783.42 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178271 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 214072 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1784.43 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178372 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 214072 [startup+1786.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1785.43 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178472 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580913 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 214072 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1786.44 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178573 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 214072 [startup+1788.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1787.44 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178673 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 214072 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1788.45 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178774 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 214072 [startup+1790.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1789.45 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178874 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 214072 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1790.45 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178974 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 214072 [startup+1792.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1791.46 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179075 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 214072 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1792.46 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179175 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 214072 [startup+1794.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1793.47 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179276 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 214072 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1794.47 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179376 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 214072 [startup+1796.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1795.48 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179477 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 214072 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1796.48 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179577 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 214072 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1797.48 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179677 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 214072 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1798.49 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179778 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 214072 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1799.49 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179878 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 214072 [startup+1801.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1800.5 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179979 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 214072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23956 /proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956 [pid=23759] ppid=23757 vsize=214072 CPUtime=1800.5 /proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179979 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/23759/statm: 53518 53060 110 215 0 53300 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 214072 Sending SIGTERM to -23759 Sleeping 2 seconds Child status: 10 Real time (s): 1801.26 CPU time (s): 1800.55 CPU user time (s): 1799.8 CPU system time (s): 0.754885 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (Kb): 214072
Begin job on node67 on Sat Jun 3 00:32:30 UTC 2006 FILE ID= 35616-1149294750 PBS_JOBID= 307054 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-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node67/35616-1149294750/instance-35616-1149294750.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-35616-1149294750 -o ROOT/results/node67/solver-35616-1149294750 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node67/35616-1149294750/instance-35616-1149294750.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096 RANDOM SEED= 662568990 /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.264 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 : 5931.00 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.264 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: 1573376 kB Buffers: 29824 kB Cached: 380096 kB SwapCached: 2840 kB Active: 52192 kB Inactive: 366364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1573376 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14724 kB Slab: 49888 kB Committed_AS: 285120 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Sat Jun 3 01:02:32 UTC 2006