Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -50 | 1800.09 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 4c9dc9cf5c24873d3237c90ee1682632 |
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.07 |
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 | 109379 |
Number of constraints which are clauses | 109379 |
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/0.00 c Parsing PB file... 2.89/2.96 c Converting 109379 PB-constraints to clauses... 2.89/2.98 c -- Unit propagations: (none) 2.89/2.98 c -- Detecting intervals from adjacent constraints: (none) 2.89/2.98 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.19/3.24 c ==================================[MINISAT+]================================== 3.19/3.24 c | Conflicts | Original | Learnt | Progress | 3.19/3.24 c | | Clauses Literals | Max Clauses Literals LPC | | 3.19/3.24 c ============================================================================== 3.19/3.24 c | 0 | 109379 218758 | 36459 0 0 nan | 0.000 % | 3.19/3.24 c ============================================================================== 3.19/3.24 c [1mFound solution: -40[0m 3.19/3.24 o -40 3.19/3.26 c ---[ 0]---> Sorter-cost:78076 Base: 3.38/3.44 c ==================================[MINISAT+]================================== 3.38/3.44 c | Conflicts | Original | Learnt | Progress | 3.38/3.44 c | | Clauses Literals | Max Clauses Literals LPC | | 3.38/3.44 c ============================================================================== 3.38/3.44 c | 0 | 193072 415055 | 64357 0 0 nan | 0.000 % | 3.69/3.72 c | 100 | 192289 413380 | 70792 76 438 5.8 | 0.796 % | 4.09/4.12 c | 250 | 191308 411295 | 77871 154 1089 7.1 | 1.765 % | 4.59/4.64 c | 475 | 189986 408459 | 85659 332 3281 9.9 | 3.095 % | 5.19/5.22 c | 812 | 188252 404641 | 94225 591 5859 9.9 | 4.924 % | 6.19/6.23 c | 1318 | 185282 398055 | 103647 966 10783 11.2 | 8.159 % | 7.69/7.71 c | 2077 | 180838 388205 | 114012 1540 17472 11.3 | 12.913 % | 9.89/9.96 c | 3216 | 174564 374091 | 125413 2383 27299 11.5 | 19.709 % | 12.99/13.05 c | 4924 | 165519 353508 | 137954 3677 43819 11.9 | 29.753 % | 16.68/16.74 c | 7486 | 155664 330749 | 151750 5389 63888 11.9 | 40.969 % | 16.88/16.99 c ============================================================================== 16.88/16.99 c [1mFound solution: -42[0m 16.88/16.99 o -42 16.98/17.01 c ---[ 0]---> Sorter-cost: 0 Base: 17.08/17.10 c ==================================[MINISAT+]================================== 17.08/17.10 c | Conflicts | Original | Learnt | Progress | 17.08/17.10 c | | Clauses Literals | Max Clauses Literals LPC | | 17.08/17.10 c ============================================================================== 17.08/17.10 c | 7678 | 155277 329891 | 51759 5555 66399 12.0 | 40.969 % | 17.08/17.19 c | 7778 | 155112 329513 | 56934 5646 67027 11.9 | 41.617 % | 17.28/17.37 c | 7928 | 154703 328544 | 62628 5760 68552 11.9 | 42.108 % | 17.68/17.75 c | 8153 | 153653 326101 | 68891 5917 70305 11.9 | 43.312 % | 17.98/18.09 c | 8491 | 152864 324267 | 75780 6136 73256 11.9 | 44.216 % | 18.69/18.75 c | 8997 | 150953 319781 | 83358 6468 76139 11.8 | 46.384 % | 19.58/19.68 c | 9756 | 148474 313934 | 91694 6960 82237 11.8 | 49.283 % | 20.89/20.98 c | 10895 | 144799 305265 | 100863 7805 92930 11.9 | 53.569 % | 22.88/22.95 c | 12603 | 139793 293375 | 110950 8870 106020 12.0 | 59.496 % | 25.08/25.17 c | 15165 | 135051 282169 | 122045 10462 131410 12.6 | 65.125 % | 27.78/27.83 c | 19010 | 129965 270060 | 134249 13548 195200 14.4 | 71.137 % | 30.68/30.72 c | 24776 | 126588 261988 | 147674 18369 339931 18.5 | 75.205 % | 34.18/34.20 c ============================================================================== 34.18/34.20 c [1mFound solution: -44[0m 34.18/34.20 o -44 34.18/34.22 c ---[ 0]---> Sorter-cost: 0 Base: 34.28/34.32 c ==================================[MINISAT+]================================== 34.28/34.32 c | Conflicts | Original | Learnt | Progress | 34.28/34.32 c | | Clauses Literals | Max Clauses Literals LPC | | 34.28/34.32 c ============================================================================== 34.28/34.32 c | 32090 | 124714 257528 | 41571 24908 642270 25.8 | 75.205 % | 34.38/34.42 c | 32190 | 124620 257302 | 45728 24877 642286 25.8 | 77.650 % | 34.48/34.57 c | 32340 | 124503 257023 | 50300 24964 645321 25.9 | 77.792 % | 34.58/34.68 c | 32565 | 124503 257023 | 55331 25189 657624 26.1 | 77.792 % | 34.88/34.90 c | 32902 | 124248 256413 | 60864 25322 668588 26.4 | 78.100 % | 35.18/35.21 c | 33409 | 124048 255923 | 66950 25747 685296 26.6 | 78.349 % | 35.58/35.63 c | 34169 | 123814 255346 | 73645 26344 707362 26.9 | 78.659 % | 36.18/36.25 c | 35308 | 123314 254145 | 81010 26766 734139 27.4 | 79.251 % | 37.08/37.15 c | 37016 | 122980 253317 | 89111 28310 800471 28.3 | 79.671 % | 37.58/37.63 c ============================================================================== 37.58/37.63 c [1mFound solution: -45[0m 37.58/37.63 o -45 37.58/37.65 c ---[ 0]---> Sorter-cost: 0 Base: 37.68/37.76 c ==================================[MINISAT+]================================== 37.68/37.76 c | Conflicts | Original | Learnt | Progress | 37.68/37.76 c | | Clauses Literals | Max Clauses Literals LPC | | 37.68/37.76 c ============================================================================== 37.68/37.76 c | 38041 | 122955 253294 | 40985 29330 878435 30.0 | 79.671 % | 37.78/37.84 c | 38141 | 122908 253175 | 45083 29428 881494 30.0 | 79.772 % | 37.88/37.95 c | 38292 | 122808 252938 | 49591 29459 884935 30.0 | 79.889 % | 37.98/38.08 c | 38517 | 122701 252678 | 54551 29640 893182 30.1 | 80.022 % | 38.28/38.35 c | 38854 | 122469 252128 | 60006 29755 899984 30.2 | 80.300 % | 38.48/38.57 c | 39360 | 122418 251995 | 66006 30229 921921 30.5 | 80.369 % | 38.88/38.94 c | 40120 | 122408 251969 | 72607 30944 953783 30.8 | 80.383 % | 39.68/39.72 c | 41259 | 121915 250781 | 79868 31596 1004535 31.8 | 80.976 % | 40.78/40.80 c | 42967 | 121553 249906 | 87854 32982 1091208 33.1 | 81.405 % | 41.48/41.57 c ============================================================================== 41.48/41.57 c [1mFound solution: -46[0m 41.48/41.57 o -46 41.48/41.59 c ---[ 0]---> Sorter-cost: 0 Base: 41.68/41.71 c ==================================[MINISAT+]================================== 41.68/41.71 c | Conflicts | Original | Learnt | Progress | 41.68/41.71 c | | Clauses Literals | Max Clauses Literals LPC | | 41.68/41.71 c ============================================================================== 41.68/41.71 c | 43880 | 120877 248170 | 40292 33490 1122781 33.5 | 81.405 % | 41.78/41.84 c | 43981 | 120746 247855 | 44321 33468 1122634 33.5 | 82.436 % | 41.88/41.99 c | 44131 | 120643 247601 | 48753 33534 1125930 33.6 | 82.568 % | 42.08/42.13 c | 44356 | 120639 247591 | 53628 33757 1134632 33.6 | 82.573 % | 42.18/42.29 c | 44694 | 120639 247591 | 58991 34095 1167457 34.2 | 82.573 % | 42.58/42.60 c | 45202 | 120555 247389 | 64890 34455 1205966 35.0 | 82.676 % | 42.98/43.07 c | 45961 | 120449 247139 | 71379 35097 1268003 36.1 | 82.802 % | 43.58/43.63 c | 47100 | 120449 247139 | 78517 36236 1343983 37.1 | 82.802 % | 44.58/44.61 c | 48808 | 120381 246969 | 86369 37873 1461540 38.6 | 82.891 % | 45.98/46.06 c | 51370 | 120381 246969 | 95006 40435 1758124 43.5 | 82.891 % | 48.47/48.59 c | 55214 | 120194 246508 | 104507 44166 2049429 46.4 | 83.131 % | 51.48/51.59 c ============================================================================== 51.48/51.59 c [1mFound solution: -47[0m 51.48/51.59 o -47 51.58/51.62 c ---[ 0]---> Sorter-cost: 0 Base: 51.68/51.75 c ==================================[MINISAT+]================================== 51.68/51.75 c | Conflicts | Original | Learnt | Progress | 51.68/51.75 c | | Clauses Literals | Max Clauses Literals LPC | | 51.68/51.75 c ============================================================================== 51.68/51.75 c | 59419 | 120236 246644 | 40078 48283 2571328 53.3 | 83.131 % | 51.78/51.83 c | 59519 | 120236 246644 | 44085 48383 2577827 53.3 | 83.121 % | 52.08/52.19 c | 59669 | 120046 246170 | 48494 48153 2573782 53.5 | 83.366 % | 52.28/52.37 c | 59894 | 120046 246170 | 53343 48378 2587917 53.5 | 83.366 % | 52.48/52.59 c | 60231 | 120046 246170 | 58678 48715 2610106 53.6 | 83.366 % | 52.97/53.00 c | 60737 | 119972 245994 | 64546 49150 2641554 53.7 | 83.455 % | 53.37/53.49 c | 61496 | 119972 245994 | 71000 49909 2689717 53.9 | 83.455 % | 54.27/54.32 c | 62635 | 119972 245994 | 78100 51048 2778866 54.4 | 83.455 % | 55.57/55.67 c | 64345 | 119928 245882 | 85910 52609 2939154 55.9 | 83.512 % | 57.87/57.90 c | 66908 | 119762 245470 | 94501 54951 3124242 56.9 | 83.722 % | 60.77/60.83 c | 70752 | 119678 245269 | 103952 58681 3464776 59.0 | 83.821 % | 66.27/66.31 c | 76518 | 119245 244229 | 114347 63705 4075621 64.0 | 84.345 % | 73.87/73.90 c | 85167 | 119220 244168 | 125781 72202 4873608 67.5 | 84.377 % | 77.97/78.10 c ============================================================================== 77.97/78.10 c [1mFound solution: -48[0m 77.97/78.10 o -48 78.07/78.12 c ---[ 0]---> Sorter-cost: 0 Base: 78.16/78.29 c ==================================[MINISAT+]================================== 78.16/78.29 c | Conflicts | Original | Learnt | Progress | 78.16/78.29 c | | Clauses Literals | Max Clauses Literals LPC | | 78.16/78.29 c ============================================================================== 78.16/78.29 c | 89191 | 119133 243922 | 39711 75689 5308024 70.1 | 84.377 % | 78.36/78.48 c | 89293 | 119097 243838 | 43682 75747 5308704 70.1 | 84.538 % | 78.46/78.58 c | 89443 | 119097 243838 | 48050 75897 5313532 70.0 | 84.538 % | 78.76/78.83 c | 89668 | 119097 243838 | 52855 76122 5343666 70.2 | 84.538 % | 79.07/79.16 c | 90005 | 119097 243838 | 58140 76459 5376009 70.3 | 84.538 % | 79.56/79.66 c | 90511 | 119097 243838 | 63954 76965 5418238 70.4 | 84.538 % | 80.46/80.57 c | 91270 | 119092 243827 | 70350 77719 5484685 70.6 | 84.543 % | 81.77/81.82 c | 92410 | 119061 243749 | 77385 78821 5576081 70.7 | 84.583 % | 83.66/83.78 c | 94119 | 119009 243626 | 85124 79969 5732669 71.7 | 84.641 % | 86.96/87.09 c | 96681 | 118880 243323 | 93636 82103 6068614 73.9 | 84.793 % | 91.86/91.94 c | 100525 | 118867 243294 | 103000 85937 6618201 77.0 | 84.807 % | 99.36/99.41 c | 106291 | 118844 243239 | 113300 91697 7472440 81.5 | 84.835 % | 111.25/111.37 c | 114941 | 118836 243219 | 124630 100333 8787645 87.6 | 84.845 % | 130.75/130.89 c | 127915 | 118830 243203 | 137093 113301 10621442 93.7 | 84.854 % | 165.24/165.30 c | 147376 | 118811 243160 | 150802 132530 13627869 102.8 | 84.875 % | 228.23/228.37 c | 176568 | 118770 243067 | 165882 161493 19013368 117.7 | 84.920 % | 268.23/268.37 c ============================================================================== 268.23/268.37 c [1mFound solution: -49[0m 268.23/268.37 o -49 268.23/268.39 c ---[ 0]---> Sorter-cost: 0 Base: 268.62/268.78 c ==================================[MINISAT+]================================== 268.62/268.78 c | Conflicts | Original | Learnt | Progress | 268.62/268.78 c | | Clauses Literals | Max Clauses Literals LPC | | 268.62/268.78 c ============================================================================== 268.62/268.78 c | 194891 | 118792 243133 | 39597 179816 22236738 123.7 | 84.920 % | 269.42/269.51 c | 194991 | 118792 243133 | 43556 25721 2608842 101.4 | 84.904 % | 269.42/269.59 c | 195141 | 118792 243133 | 47912 25871 2618895 101.2 | 84.904 % | 269.62/269.75 c | 195366 | 118792 243133 | 52703 26096 2633968 100.9 | 84.904 % | 269.82/269.95 c | 195703 | 118792 243133 | 57973 26433 2658439 100.6 | 84.904 % | 270.22/270.35 c | 196209 | 118746 243016 | 63771 26900 2696719 100.2 | 84.960 % | 270.72/270.85 c | 196968 | 118746 243016 | 70148 27659 2783846 100.6 | 84.960 % | 271.52/271.62 c | 198107 | 118746 243016 | 77163 28798 2904085 100.8 | 84.960 % | 272.42/272.59 c | 199815 | 118708 242922 | 84879 30503 3038914 99.6 | 85.009 % | 274.52/274.68 c | 202377 | 118561 242559 | 93367 33010 3263398 98.9 | 85.195 % | 277.42/277.57 c | 206221 | 118438 242259 | 102704 36848 3708724 100.6 | 85.347 % | 282.32/282.49 c | 211987 | 118423 242224 | 112974 42603 4394753 103.2 | 85.365 % | 290.32/290.42 c | 220636 | 118399 242168 | 124272 51236 5537942 108.1 | 85.393 % | 299.12/299.24 c ============================================================================== 299.12/299.24 c [1mFound solution: -50[0m 299.12/299.24 o -50 299.12/299.27 c ---[ 0]---> Sorter-cost: 0 Base: 299.31/299.45 c ==================================[MINISAT+]================================== 299.31/299.45 c | Conflicts | Original | Learnt | Progress | 299.31/299.45 c | | Clauses Literals | Max Clauses Literals LPC | | 299.31/299.45 c ============================================================================== 299.31/299.45 c | 229090 | 118286 241857 | 39428 59647 6700392 112.3 | 85.393 % | 299.51/299.60 c | 229190 | 118286 241857 | 43370 59747 6707785 112.3 | 85.535 % | 299.61/299.77 c | 229342 | 118286 241857 | 47707 59899 6717998 112.2 | 85.535 % | 299.91/300.06 c | 229567 | 118286 241857 | 52478 60124 6753812 112.3 | 85.535 % | 300.31/300.40 c | 229904 | 118286 241857 | 57726 60461 6781159 112.2 | 85.535 % | 300.81/300.98 c | 230410 | 118286 241857 | 63499 60967 6854467 112.4 | 85.535 % | 301.61/301.78 c | 231169 | 118286 241857 | 69849 61726 6920330 112.1 | 85.535 % | 302.81/302.98 c | 232308 | 118286 241857 | 76834 62865 7085436 112.7 | 85.535 % | 304.81/304.90 c | 234016 | 118286 241857 | 84517 64573 7329189 113.5 | 85.535 % | 308.21/308.37 c | 236578 | 118280 241843 | 92969 67081 7761358 115.7 | 85.542 % | 313.11/313.30 c | 240423 | 118280 241843 | 102266 70926 8364204 117.9 | 85.542 % | 321.01/321.12 c | 246189 | 118195 241640 | 112492 76643 9241235 120.6 | 85.644 % | 333.21/333.36 c | 254838 | 118192 241633 | 123741 85290 10512072 123.3 | 85.648 % | 353.00/353.13 c | 267813 | 118081 241357 | 136116 98069 12211460 124.5 | 85.791 % | 386.99/387.11 c | 287275 | 118079 241353 | 149727 117530 15242592 129.7 | 85.793 % | 445.07/445.24 c | 316467 | 118055 241293 | 164700 146714 19488446 132.8 | 85.824 % | 552.34/552.66 c | 360256 | 118044 241264 | 181170 190499 26118347 137.1 | 85.840 % | 694.51/694.84 c | 425941 | 117955 241045 | 199287 47514 5618847 118.3 | 85.953 % | 865.27/865.69 c | 524468 | 117855 240805 | 219216 145967 22071537 151.2 | 86.076 % | 1240.77/1241.30 c | 672257 | 117805 240689 | 241138 45243 3872304 85.6 | 86.133 % | 1702.66/1703.20 c | 893940 | 117518 240004 | 265251 266797 39352483 147.5 | 86.480 % | 1800.04/1800.61 c 1800.04/1800.61 c *** TERMINATED *** 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 1800.04/1800.61 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1800.04/1800.61 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1800.04/1800.61 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 1800.04/1800.61 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1800.04/1800.61 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1800.04/1800.61 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1800.04/1800.61 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1800.04/1800.61 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1800.04/1800.61 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1800.04/1800.61 v -x1230 -x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1800.04/1800.61 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1800.04/1800.61 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1800.04/1800.61 v -x1179 -x1178 x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 1800.04/1800.61 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 1800.04/1800.61 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 1800.04/1800.61 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 1800.04/1800.61 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 1800.04/1800.61 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 1800.04/1800.61 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 1800.04/1800.61 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 1800.04/1800.61 v -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1800.04/1800.61 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 1800.04/1800.61 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 1800.04/1800.61 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 1800.04/1800.61 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1800.04/1800.61 v x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1800.04/1800.61 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1800.04/1800.61 v x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1800.04/1800.61 v -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 1800.04/1800.61 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 1800.04/1800.61 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 1800.04/1800.61 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 1800.04/1800.61 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1800.04/1800.61 v -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 1800.04/1800.61 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 1800.04/1800.61 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1800.04/1800.61 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 1800.04/1800.61 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1800.04/1800.61 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1800.04/1800.61 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 1800.04/1800.61 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1800.04/1800.61 v -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 1800.04/1800.61 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1800.04/1800.61 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 1800.04/1800.61 v -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1800.04/1800.61 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 1800.04/1800.61 v -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1800.04/1800.61 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1800.04/1800.61 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 1800.04/1800.61 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1800.04/1800.61 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 1800.04/1800.61 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 1800.04/1800.61 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1800.04/1800.61 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 1800.04/1800.61 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 1800.04/1800.61 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 1800.04/1800.61 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 1800.04/1800.61 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1800.04/1800.61 v -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1800.04/1800.61 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1800.04/1800.61 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1800.04/1800.61 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1800.04/1800.61 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 1800.04/1800.61 v -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1800.04/1800.61 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 1800.04/1800.61 v -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 1800.04/1800.61 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 1800.04/1800.61 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 1800.04/1800.61 v -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 1800.04/1800.61 v -x4 -x3 -x2 -x1
OK -50
/tmp/evaluation/353468-1176666802/instance-353468-1176666802.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-353468-1176666802 -o ROOT/results/node61/solver-353468-1176666802 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353468-1176666802/minisat+ /tmp/evaluation/353468-1176666802/instance-353468-1176666802.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/64 4982 /proc/meminfo: memFree=1758328/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=1340 CPUtime=0 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 78643880 1372160 158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 335 158 74 215 0 117 0 [startup+0.0072689 s] /proc/loadavg: 0.92 1.00 0.99 3/64 4982 /proc/meminfo: memFree=1758328/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=1340 CPUtime=0 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 78643880 1372160 162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 335 162 74 215 0 117 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1340 [startup+0.101277 s] /proc/loadavg: 0.92 1.00 0.99 3/64 4982 /proc/meminfo: memFree=1758328/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=2164 CPUtime=0.09 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 370 0 0 0 9 0 0 0 18 0 1 0 78643880 2215936 355 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 541 355 74 215 0 323 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2164 [startup+0.301296 s] /proc/loadavg: 0.92 1.00 0.99 3/64 4982 /proc/meminfo: memFree=1758328/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=3832 CPUtime=0.29 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 788 0 0 0 29 0 0 0 19 0 1 0 78643880 3923968 773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 958 773 74 215 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3832 [startup+0.701334 s] /proc/loadavg: 0.92 1.00 0.99 3/64 4982 /proc/meminfo: memFree=1758328/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=6968 CPUtime=0.69 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 1603 0 0 0 69 0 0 0 23 0 1 0 78643880 7135232 1588 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619004 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 1742 1588 74 215 0 1524 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6968 [startup+1.50141 s] /proc/loadavg: 0.92 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1749808/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=13664 CPUtime=1.49 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 3254 0 0 0 148 1 0 0 25 0 1 0 78643880 13991936 3239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 3416 3239 74 215 0 3198 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13664 [startup+3.10256 s] /proc/loadavg: 0.92 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1740656/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=28124 CPUtime=3.09 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 6838 0 0 0 300 9 0 0 18 0 1 0 78643880 28798976 6823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 7031 6823 86 215 0 6813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28124 [startup+6.30187 s] /proc/loadavg: 0.93 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1721328/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=38368 CPUtime=6.29 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 9459 0 0 0 612 17 0 0 25 0 1 0 78643880 39288832 9236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 9592 9236 110 215 0 9374 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38368 [startup+12.7015 s] /proc/loadavg: 0.93 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1721336/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=38368 CPUtime=12.69 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 9459 0 0 0 1252 17 0 0 25 0 1 0 78643880 39288832 9236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 9592 9236 110 215 0 9374 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38368 [startup+25.5017 s] /proc/loadavg: 0.95 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1721144/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=38836 CPUtime=25.48 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 9532 0 0 0 2531 17 0 0 25 0 1 0 78643880 39768064 9309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574381 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 9709 9309 111 215 0 9491 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38836 [startup+51.1011 s] /proc/loadavg: 0.96 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1719544/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=40964 CPUtime=51.08 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 10063 0 0 0 5090 18 0 0 25 0 1 0 78643880 41947136 9840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 10241 9840 111 215 0 10023 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40964 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1695992/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=64212 CPUtime=102.27 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 15883 0 0 0 10202 25 0 0 25 0 1 0 78643880 65753088 15597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 16053 15597 111 215 0 15835 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64212 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1672440/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=87760 CPUtime=162.25 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 21795 0 0 0 16194 31 0 0 25 0 1 0 78643880 89866240 21509 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 21940 21509 111 215 0 21722 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 87760 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1650616/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=109568 CPUtime=222.23 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 27203 0 0 0 22185 38 0 0 25 0 1 0 78643880 112197632 26917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 27392 26917 111 215 0 27174 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 109568 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1635000/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=124820 CPUtime=282.22 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 31099 0 0 0 28178 44 0 0 25 0 1 0 78643880 127815680 30781 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573340 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 31205 30781 111 215 0 30987 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 124820 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1635000/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=124820 CPUtime=342.2 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 31099 0 0 0 34176 44 0 0 25 0 1 0 78643880 127815680 30781 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 31205 30781 111 215 0 30987 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 124820 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 4983 /proc/meminfo: memFree=1635000/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=124820 CPUtime=402.18 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 31099 0 0 0 40174 44 0 0 25 0 1 0 78643880 127815680 30781 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 31205 30781 111 215 0 30987 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 124820 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/71 5049 /proc/meminfo: memFree=1633592/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=124820 CPUtime=462.14 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 31099 0 0 0 46169 45 0 0 25 0 1 0 78643880 127815680 30781 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 31205 30781 111 215 0 30987 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 124820 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1623912/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=135892 CPUtime=522.05 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 33842 0 0 0 52156 49 0 0 25 0 1 0 78643880 139153408 33524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 33973 33524 111 215 0 33755 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 135892 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1610168/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=149480 CPUtime=582.04 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 37263 0 0 0 58151 53 0 0 25 0 1 0 78643880 153067520 36945 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 37370 36945 111 215 0 37152 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 149480 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1596728/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=163040 CPUtime=642.02 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 40593 0 0 0 64145 57 0 0 25 0 1 0 78643880 166952960 40275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 40760 40275 111 215 0 40542 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 163040 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1589688/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=170164 CPUtime=821.98 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 42365 0 0 0 82138 60 0 0 25 0 1 0 78643880 174247936 42047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 42541 42047 111 215 0 42323 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 170164 [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1589752/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=170164 CPUtime=881.96 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 42365 0 0 0 88136 60 0 0 25 0 1 0 78643880 174247936 42047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 42541 42047 111 215 0 42323 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 170164 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1589752/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=170164 CPUtime=941.95 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 42365 0 0 0 94135 60 0 0 25 0 1 0 78643880 174247936 42047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 42541 42047 111 215 0 42323 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 170164 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1589752/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=170164 CPUtime=1001.93 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 42365 0 0 0 100133 60 0 0 25 0 1 0 78643880 174247936 42047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 42541 42047 111 215 0 42323 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 170164 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1581112/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=178892 CPUtime=1061.92 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 44557 0 0 0 106129 63 0 0 25 0 1 0 78643880 183185408 44239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 44723 44239 111 215 0 44505 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 178892 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1570104/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=189812 CPUtime=1121.9 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 47282 0 0 0 112124 66 0 0 25 0 1 0 78643880 194367488 46964 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 47453 46964 111 215 0 47235 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 189812 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 3/65 5181 /proc/meminfo: memFree=1560696/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=199136 CPUtime=1181.89 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 49644 0 0 0 118120 69 0 0 25 0 1 0 78643880 203915264 49326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 49784 49326 111 215 0 49566 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 199136 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1556088/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1241.87 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 124117 70 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 203540 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1301.86 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 130116 70 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 203540 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1361.84 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 136114 70 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 203540 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1421.84 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 142113 71 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 203540 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1481.81 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 148110 71 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 203540 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1541.8 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 154109 71 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 203540 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1601.78 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 160107 71 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 203540 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1661.76 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 166105 71 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 203540 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5181 /proc/meminfo: memFree=1556024/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=203540 CPUtime=1721.76 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 50755 0 0 0 172104 72 0 0 25 0 1 0 78643880 208424960 50437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 50885 50437 111 215 0 50667 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 203540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5181 /proc/meminfo: memFree=1543992/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=215524 CPUtime=1781.74 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 53761 0 0 0 178099 75 0 0 25 0 1 0 78643880 220696576 53443 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 53881 53443 111 215 0 53663 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 215524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5181 /proc/meminfo: memFree=1540472/2055920 swapFree=4184896/4192956 [pid=4982] ppid=4980 vsize=218900 CPUtime=1800.04 /proc/4982/stat : 4982 (minisat+) R 4980 4982 4872 0 -1 4194304 54629 0 0 0 179928 76 0 0 25 0 1 0 78643880 224153600 54311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4982/statm: 54725 54311 111 215 0 54507 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 218900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.65 CPU time (s): 1800.09 CPU user time (s): 1799.28 CPU system time (s): 0.803877 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 218900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.803877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54631 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1017 involuntary context switches= 2983 runsolver used 1.46378 second user time and 3.78542 second system time The end
Begin job on node61 on Sun Apr 15 19:53:22 UTC 2007 IDJOB= 353468 IDBENCH= 2245 IDSOLVER= 156 FILE ID= node61/353468-1176666802 PBS_JOBID= 4559936 Free space on /tmp= 66559 MiB SOLVER NAME= minisat+ 1.14 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-3.opb COMMAND LINE= /tmp/evaluation/353468-1176666802/minisat+ /tmp/evaluation/353468-1176666802/instance-353468-1176666802.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-353468-1176666802 -o ROOT/results/node61/conversion-353468-1176666802 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353468-1176666802/instance-353468-1176666802.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-353468-1176666802 -o ROOT/results/node61/solver-353468-1176666802 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353468-1176666802/minisat+ /tmp/evaluation/353468-1176666802/instance-353468-1176666802.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED= 54297266 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 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: 1758800 kB Buffers: 16056 kB Cached: 196080 kB SwapCached: 2404 kB Active: 77432 kB Inactive: 144604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758800 kB SwapTotal: 4192956 kB SwapFree: 4184896 kB Dirty: 4948 kB Writeback: 0 kB Mapped: 16648 kB Slab: 61212 kB Committed_AS: 170768 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node61 on Sun Apr 15 20:23:25 UTC 2007