Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -50 | 1800.54 | 1801.19 |
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.53 |
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 c Parsing PB file... 2.78 c Converting 109379 PB-constraints to clauses... 2.79 c -- Unit propagations: (none) 2.79 c -- Detecting intervals from adjacent constraints: (none) 2.80 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.01 c ==================================[MINISAT+]================================== 3.01 c | Conflicts | Original | Learnt | Progress | 3.01 c | | Clauses Literals | Max Clauses Literals LPC | | 3.01 c ============================================================================== 3.01 c | 0 | 109379 218758 | 36459 0 0 nan | 0.000 % | 3.01 c ============================================================================== 3.01 c [1mFound solution: -40[0m 3.01 o -40 3.03 c ---[ 0]---> Sorter-cost:78076 Base: 3.19 c ==================================[MINISAT+]================================== 3.19 c | Conflicts | Original | Learnt | Progress | 3.19 c | | Clauses Literals | Max Clauses Literals LPC | | 3.19 c ============================================================================== 3.19 c | 0 | 193072 415055 | 64357 0 0 nan | 0.000 % | 3.46 c | 100 | 192289 413380 | 70792 76 438 5.8 | 0.796 % | 3.84 c | 250 | 191308 411295 | 77871 154 1089 7.1 | 1.765 % | 4.33 c | 475 | 189986 408459 | 85659 332 3281 9.9 | 3.095 % | 4.88 c | 812 | 188252 404641 | 94225 591 5859 9.9 | 4.924 % | 5.84 c | 1318 | 185282 398055 | 103647 966 10783 11.2 | 8.159 % | 7.24 c | 2077 | 180838 388205 | 114012 1540 17472 11.3 | 12.913 % | 9.36 c | 3216 | 174564 374091 | 125413 2383 27299 11.5 | 19.709 % | 12.28 c | 4924 | 165519 353508 | 137954 3677 43819 11.9 | 29.753 % | 15.80 c | 7486 | 155664 330749 | 151750 5389 63888 11.9 | 40.969 % | 16.04 c ============================================================================== 16.04 c [1mFound solution: -42[0m 16.04 o -42 16.06 c ---[ 0]---> Sorter-cost: 0 Base: 16.15 c ==================================[MINISAT+]================================== 16.15 c | Conflicts | Original | Learnt | Progress | 16.15 c | | Clauses Literals | Max Clauses Literals LPC | | 16.15 c ============================================================================== 16.15 c | 7678 | 155277 329891 | 51759 5555 66399 12.0 | 40.969 % | 16.23 c | 7778 | 155112 329513 | 56934 5646 67027 11.9 | 41.617 % | 16.40 c | 7928 | 154703 328544 | 62628 5760 68552 11.9 | 42.108 % | 16.77 c | 8153 | 153653 326101 | 68891 5917 70305 11.9 | 43.312 % | 17.10 c | 8491 | 152864 324267 | 75780 6136 73256 11.9 | 44.216 % | 17.73 c | 8997 | 150953 319781 | 83358 6468 76139 11.8 | 46.384 % | 18.63 c | 9756 | 148474 313934 | 91694 6960 82237 11.8 | 49.283 % | 19.88 c | 10895 | 144799 305265 | 100863 7805 92930 11.9 | 53.569 % | 21.76 c | 12603 | 139793 293375 | 110950 8870 106020 12.0 | 59.496 % | 23.88 c | 15165 | 135051 282169 | 122045 10462 131410 12.6 | 65.125 % | 26.40 c | 19010 | 129965 270060 | 134249 13548 195200 14.4 | 71.137 % | 29.12 c | 24776 | 126588 261988 | 147674 18369 339931 18.5 | 75.205 % | 32.39 c ============================================================================== 32.39 c [1mFound solution: -44[0m 32.39 o -44 32.41 c ---[ 0]---> Sorter-cost: 0 Base: 32.51 c ==================================[MINISAT+]================================== 32.51 c | Conflicts | Original | Learnt | Progress | 32.51 c | | Clauses Literals | Max Clauses Literals LPC | | 32.51 c ============================================================================== 32.51 c | 32090 | 124714 257528 | 41571 24908 642270 25.8 | 75.205 % | 32.60 c | 32190 | 124620 257302 | 45728 24877 642286 25.8 | 77.650 % | 32.74 c | 32340 | 124503 257023 | 50300 24964 645321 25.9 | 77.792 % | 32.84 c | 32565 | 124503 257023 | 55331 25189 657624 26.1 | 77.792 % | 33.05 c | 32902 | 124248 256413 | 60864 25322 668588 26.4 | 78.100 % | 33.35 c | 33409 | 124048 255923 | 66950 25747 685296 26.6 | 78.349 % | 33.75 c | 34169 | 123814 255346 | 73645 26344 707362 26.9 | 78.659 % | 34.34 c | 35308 | 123314 254145 | 81010 26766 734139 27.4 | 79.251 % | 35.19 c | 37016 | 122980 253317 | 89111 28310 800471 28.3 | 79.671 % | 35.65 c ============================================================================== 35.65 c [1mFound solution: -45[0m 35.65 o -45 35.67 c ---[ 0]---> Sorter-cost: 0 Base: 35.77 c ==================================[MINISAT+]================================== 35.77 c | Conflicts | Original | Learnt | Progress | 35.77 c | | Clauses Literals | Max Clauses Literals LPC | | 35.77 c ============================================================================== 35.77 c | 38041 | 122955 253294 | 40985 29330 878435 30.0 | 79.671 % | 35.85 c | 38141 | 122908 253175 | 45083 29428 881494 30.0 | 79.772 % | 35.96 c | 38292 | 122808 252938 | 49591 29459 884935 30.0 | 79.889 % | 36.08 c | 38517 | 122701 252678 | 54551 29640 893182 30.1 | 80.022 % | 36.34 c | 38854 | 122469 252128 | 60006 29755 899984 30.2 | 80.300 % | 36.54 c | 39360 | 122418 251995 | 66006 30229 921921 30.5 | 80.369 % | 36.90 c | 40120 | 122408 251969 | 72607 30944 953783 30.8 | 80.383 % | 37.65 c | 41259 | 121915 250781 | 79868 31596 1004535 31.8 | 80.976 % | 38.69 c | 42967 | 121553 249906 | 87854 32982 1091208 33.1 | 81.405 % | 39.43 c ============================================================================== 39.43 c [1mFound solution: -46[0m 39.43 o -46 39.45 c ---[ 0]---> Sorter-cost: 0 Base: 39.56 c ==================================[MINISAT+]================================== 39.56 c | Conflicts | Original | Learnt | Progress | 39.56 c | | Clauses Literals | Max Clauses Literals LPC | | 39.56 c ============================================================================== 39.56 c | 43880 | 120877 248170 | 40292 33490 1122781 33.5 | 81.405 % | 39.69 c | 43981 | 120746 247855 | 44321 33468 1122634 33.5 | 82.436 % | 39.83 c | 44131 | 120643 247601 | 48753 33534 1125930 33.6 | 82.568 % | 39.96 c | 44356 | 120639 247591 | 53628 33757 1134632 33.6 | 82.573 % | 40.12 c | 44694 | 120639 247591 | 58991 34095 1167457 34.2 | 82.573 % | 40.41 c | 45202 | 120555 247389 | 64890 34455 1205966 35.0 | 82.676 % | 40.86 c | 45961 | 120449 247139 | 71379 35097 1268003 36.1 | 82.802 % | 41.39 c | 47100 | 120449 247139 | 78517 36236 1343983 37.1 | 82.802 % | 42.33 c | 48808 | 120381 246969 | 86369 37873 1461540 38.6 | 82.891 % | 43.70 c | 51370 | 120381 246969 | 95006 40435 1758124 43.5 | 82.891 % | 46.10 c | 55214 | 120194 246508 | 104507 44166 2049429 46.4 | 83.131 % | 48.93 c ============================================================================== 48.93 c [1mFound solution: -47[0m 48.93 o -47 48.95 c ---[ 0]---> Sorter-cost: 0 Base: 49.07 c ==================================[MINISAT+]================================== 49.07 c | Conflicts | Original | Learnt | Progress | 49.07 c | | Clauses Literals | Max Clauses Literals LPC | | 49.07 c ============================================================================== 49.07 c | 59419 | 120236 246644 | 40078 48283 2571328 53.3 | 83.131 % | 49.15 c | 59519 | 120236 246644 | 44085 48383 2577827 53.3 | 83.121 % | 49.48 c | 59669 | 120046 246170 | 48494 48153 2573782 53.5 | 83.366 % | 49.66 c | 59894 | 120046 246170 | 53343 48378 2587917 53.5 | 83.366 % | 49.86 c | 60231 | 120046 246170 | 58678 48715 2610106 53.6 | 83.366 % | 50.25 c | 60737 | 119972 245994 | 64546 49150 2641554 53.7 | 83.455 % | 50.72 c | 61496 | 119972 245994 | 71000 49909 2689717 53.9 | 83.455 % | 51.50 c | 62635 | 119972 245994 | 78100 51048 2778866 54.4 | 83.455 % | 52.79 c | 64345 | 119928 245882 | 85910 52609 2939154 55.9 | 83.512 % | 54.91 c | 66908 | 119762 245470 | 94501 54951 3124242 56.9 | 83.722 % | 57.73 c | 70752 | 119678 245269 | 103952 58681 3464776 59.0 | 83.821 % | 62.97 c | 76518 | 119245 244229 | 114347 63705 4075621 64.0 | 84.345 % | 70.20 c | 85167 | 119220 244168 | 125781 72202 4873608 67.5 | 84.377 % | 74.21 c ============================================================================== 74.21 c [1mFound solution: -48[0m 74.21 o -48 74.23 c ---[ 0]---> Sorter-cost: 0 Base: 74.39 c ==================================[MINISAT+]================================== 74.39 c | Conflicts | Original | Learnt | Progress | 74.39 c | | Clauses Literals | Max Clauses Literals LPC | | 74.39 c ============================================================================== 74.39 c | 89191 | 119133 243922 | 39711 75689 5308024 70.1 | 84.377 % | 74.57 c | 89293 | 119097 243838 | 43682 75747 5308704 70.1 | 84.538 % | 74.67 c | 89443 | 119097 243838 | 48050 75897 5313532 70.0 | 84.538 % | 74.91 c | 89668 | 119097 243838 | 52855 76122 5343666 70.2 | 84.538 % | 75.22 c | 90005 | 119097 243838 | 58140 76459 5376009 70.3 | 84.538 % | 75.70 c | 90511 | 119097 243838 | 63954 76965 5418238 70.4 | 84.538 % | 76.58 c | 91270 | 119092 243827 | 70350 77719 5484685 70.6 | 84.543 % | 77.79 c | 92410 | 119061 243749 | 77385 78821 5576081 70.7 | 84.583 % | 79.68 c | 94119 | 119009 243626 | 85124 79969 5732669 71.7 | 84.641 % | 82.84 c | 96681 | 118880 243323 | 93636 82103 6068614 73.9 | 84.793 % | 87.48 c | 100525 | 118867 243294 | 103000 85937 6618201 77.0 | 84.807 % | 94.64 c | 106291 | 118844 243239 | 113300 91697 7472440 81.5 | 84.835 % | 106.15 c | 114941 | 118836 243219 | 124630 100333 8787645 87.6 | 84.845 % | 124.94 c | 127915 | 118830 243203 | 137093 113301 10621442 93.7 | 84.854 % | 158.14 c | 147376 | 118811 243160 | 150802 132530 13627869 102.8 | 84.875 % | 219.00 c | 176568 | 118770 243067 | 165882 161493 19013368 117.7 | 84.920 % | 257.58 c ============================================================================== 257.58 c [1mFound solution: -49[0m 257.58 o -49 257.60 c ---[ 0]---> Sorter-cost: 0 Base: 257.96 c ==================================[MINISAT+]================================== 257.96 c | Conflicts | Original | Learnt | Progress | 257.96 c | | Clauses Literals | Max Clauses Literals LPC | | 257.96 c ============================================================================== 257.96 c | 194891 | 118792 243133 | 39597 179816 22236738 123.7 | 84.920 % | 258.65 c | 194991 | 118792 243133 | 43556 25721 2608842 101.4 | 84.904 % | 258.72 c | 195141 | 118792 243133 | 47912 25871 2618895 101.2 | 84.904 % | 258.88 c | 195366 | 118792 243133 | 52703 26096 2633968 100.9 | 84.904 % | 259.07 c | 195703 | 118792 243133 | 57973 26433 2658439 100.6 | 84.904 % | 259.45 c | 196209 | 118746 243016 | 63771 26900 2696719 100.2 | 84.960 % | 259.93 c | 196968 | 118746 243016 | 70148 27659 2783846 100.6 | 84.960 % | 260.66 c | 198107 | 118746 243016 | 77163 28798 2904085 100.8 | 84.960 % | 261.58 c | 199815 | 118708 242922 | 84879 30503 3038914 99.6 | 85.009 % | 263.58 c | 202377 | 118561 242559 | 93367 33010 3263398 98.9 | 85.195 % | 266.36 c | 206221 | 118438 242259 | 102704 36848 3708724 100.6 | 85.347 % | 271.04 c | 211987 | 118423 242224 | 112974 42603 4394753 103.2 | 85.365 % | 278.56 c | 220636 | 118399 242168 | 124272 51236 5537942 108.1 | 85.393 % | 287.04 c ============================================================================== 287.04 c [1mFound solution: -50[0m 287.04 o -50 287.06 c ---[ 0]---> Sorter-cost: 0 Base: 287.24 c ==================================[MINISAT+]================================== 287.24 c | Conflicts | Original | Learnt | Progress | 287.24 c | | Clauses Literals | Max Clauses Literals LPC | | 287.24 c ============================================================================== 287.24 c | 229090 | 118286 241857 | 39428 59647 6700392 112.3 | 85.393 % | 287.37 c | 229190 | 118286 241857 | 43370 59747 6707785 112.3 | 85.535 % | 287.54 c | 229342 | 118286 241857 | 47707 59899 6717998 112.2 | 85.535 % | 287.81 c | 229567 | 118286 241857 | 52478 60124 6753812 112.3 | 85.535 % | 288.15 c | 229904 | 118286 241857 | 57726 60461 6781159 112.2 | 85.535 % | 288.70 c | 230410 | 118286 241857 | 63499 60967 6854467 112.4 | 85.535 % | 289.46 c | 231169 | 118286 241857 | 69849 61726 6920330 112.1 | 85.535 % | 290.61 c | 232308 | 118286 241857 | 76834 62865 7085436 112.7 | 85.535 % | 292.43 c | 234016 | 118286 241857 | 84517 64573 7329189 113.5 | 85.535 % | 295.73 c | 236578 | 118280 241843 | 92969 67081 7761358 115.7 | 85.542 % | 300.45 c | 240423 | 118280 241843 | 102266 70926 8364204 117.9 | 85.542 % | 307.99 c | 246189 | 118195 241640 | 112492 76643 9241235 120.6 | 85.644 % | 319.69 c | 254838 | 118192 241633 | 123741 85290 10512072 123.3 | 85.648 % | 338.66 c | 267813 | 118081 241357 | 136116 98069 12211460 124.5 | 85.791 % | 371.38 c | 287275 | 118079 241353 | 149727 117530 15242592 129.7 | 85.793 % | 427.42 c | 316467 | 118055 241293 | 164700 146714 19488446 132.8 | 85.824 % | 530.89 c | 360256 | 118044 241264 | 181170 190499 26118347 137.1 | 85.840 % | 668.22 c | 425941 | 117955 241045 | 199287 47514 5618847 118.3 | 85.953 % | 832.96 c | 524468 | 117855 240805 | 219216 145967 22071537 151.2 | 86.076 % | 1196.59 c | 672257 | 117805 240689 | 241138 45243 3872304 85.6 | 86.133 % | 1643.66 c | 893940 | 117518 240004 | 265251 266797 39352483 147.5 | 86.480 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 s SATISFIABLE 1801.15 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 1801.15 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1801.15 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1801.15 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 1801.15 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1801.15 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1801.15 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1801.15 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1801.15 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1801.15 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1801.15 v -x1230 -x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1801.15 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1801.15 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1801.15 v -x1179 -x1178 x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 1801.15 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 1801.15 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 1801.15 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 1801.15 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 1801.15 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 1801.15 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 1801.15 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 1801.15 v -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1801.15 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 1801.15 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 1801.15 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 1801.15 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1801.15 v x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1801.15 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1801.15 v x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1801.15 v -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 1801.15 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 1801.15 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 1801.15 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 1801.15 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1801.15 v -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 1801.15 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 1801.15 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1801.15 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 1801.15 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1801.15 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1801.15 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 1801.15 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1801.15 v -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 1801.15 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1801.15 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 1801.15 v -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1801.15 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 1801.15 v -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1801.15 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1801.15 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 1801.15 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1801.15 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 1801.15 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 1801.15 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1801.15 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 1801.15 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 1801.15 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 1801.15 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 1801.15 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1801.15 v -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1801.15 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1801.15 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1801.15 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1801.15 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 1801.15 v -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1801.15 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 1801.15 v -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 1801.15 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 1801.15 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 1801.15 v -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 1801.15 v -x4 -x3 -x2 -x1
OK -50
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node83/watcher-35613-1149294614 -o ROOT/results/node83/solver-35613-1149294614 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node83/35613-1149294614/instance-35613-1149294614.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 3/67 2333 /proc/meminfo: memFree=1548512/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=904 CPUtime=0 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 37 0 0 0 0 0 0 0 19 0 1 0 195100762 925696 23 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135016621 0 0 4096 0 0 0 0 17 1 0 0 /proc/2333/statm: 259 35 26 215 0 41 0 [startup+10.003 s] /proc/loadavg: 0.93 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1511840/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=38368 CPUtime=9.98 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 9458 0 0 0 986 12 0 0 25 0 1 0 195100762 39288832 9236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 9592 9236 110 215 0 9374 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 38368 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1511584/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=38836 CPUtime=19.97 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 9531 0 0 0 1985 12 0 0 25 0 1 0 195100762 39768064 9309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569693 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 9709 9309 111 215 0 9491 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 38836 [startup+30.0148 s] /proc/loadavg: 0.95 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1511712/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=38836 CPUtime=29.98 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 9531 0 0 0 2986 12 0 0 25 0 1 0 195100762 39768064 9309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 9709 9309 111 215 0 9491 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 38836 [startup+40.0208 s] /proc/loadavg: 0.95 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1511520/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=38996 CPUtime=39.98 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 9571 0 0 0 3986 12 0 0 25 0 1 0 195100762 39931904 9349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581307 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 9749 9349 111 215 0 9531 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 38996 [startup+50.0277 s] /proc/loadavg: 0.96 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1508768/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=41784 CPUtime=49.98 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 10290 0 0 0 4985 13 0 0 25 0 1 0 195100762 42786816 10037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 10446 10037 111 215 0 10228 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 41784 [startup+60.0336 s] /proc/loadavg: 0.97 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1504096/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=46524 CPUtime=59.99 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 11471 0 0 0 5984 15 0 0 25 0 1 0 195100762 47640576 11218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 11631 11218 111 215 0 11413 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 46524 [startup+70.0395 s] /proc/loadavg: 0.97 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1498976/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=51748 CPUtime=69.99 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 12743 0 0 0 6983 16 0 0 25 0 1 0 195100762 52989952 12490 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 12937 12490 111 215 0 12719 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 51748 [startup+80.0464 s] /proc/loadavg: 0.98 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1494944/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=55664 CPUtime=79.99 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 13781 0 0 0 7982 17 0 0 25 0 1 0 195100762 56999936 13497 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 13916 13497 111 215 0 13698 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 55664 [startup+90.0524 s] /proc/loadavg: 0.98 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1490080/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=60396 CPUtime=89.98 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 14980 0 0 0 8981 17 0 0 25 0 1 0 195100762 61845504 14696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 15099 14696 111 215 0 14881 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 60396 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1485216/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=65436 CPUtime=99.99 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 16203 0 0 0 9980 19 0 0 25 0 1 0 195100762 67006464 15919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 16359 15919 111 215 0 16141 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 65436 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1480672/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=70004 CPUtime=109.99 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 17345 0 0 0 10978 21 0 0 25 0 1 0 195100762 71684096 17061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 17501 17061 111 215 0 17283 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 70004 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1476320/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=74320 CPUtime=120 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 18437 0 0 0 11978 22 0 0 25 0 1 0 195100762 76103680 18153 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 18580 18153 111 215 0 18362 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 74320 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1472160/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=78512 CPUtime=129.99 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 19468 0 0 0 12977 22 0 0 25 0 1 0 195100762 80396288 19184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 19628 19184 111 215 0 19410 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 78512 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1468384/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=82180 CPUtime=140 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 20408 0 0 0 13977 23 0 0 25 0 1 0 195100762 84152320 20124 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 20545 20124 111 215 0 20327 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 82180 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1464352/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=86196 CPUtime=150 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 21404 0 0 0 14976 24 0 0 25 0 1 0 195100762 88264704 21120 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 21549 21120 111 215 0 21331 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 86196 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1461152/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=89332 CPUtime=160.01 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 22210 0 0 0 15976 25 0 0 25 0 1 0 195100762 91475968 21926 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 22333 21926 111 215 0 22115 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 89332 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1457696/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=93008 CPUtime=170 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 23067 0 0 0 16975 25 0 0 25 0 1 0 195100762 95240192 22783 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577125 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 23252 22783 111 215 0 23034 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 93008 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1453472/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=97304 CPUtime=180.01 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 24126 0 0 0 17974 27 0 0 25 0 1 0 195100762 99639296 23842 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 24326 23842 111 215 0 24108 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 97304 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1449888/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=100812 CPUtime=190.01 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 25017 0 0 0 18973 28 0 0 25 0 1 0 195100762 103231488 24733 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 25203 24733 111 215 0 24985 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 100812 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1445728/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=104980 CPUtime=200.02 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 26052 0 0 0 19973 29 0 0 25 0 1 0 195100762 107499520 25768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 26245 25768 111 215 0 26027 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 104980 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2333 /proc/meminfo: memFree=1442208/2055888 swapFree=4085416/4096564 ################ # More data... # ################ [pid=2333] ppid=2331 vsize=228168 CPUtime=1781.4 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 56799 0 0 0 178080 60 0 0 25 0 1 0 195100762 233644032 56483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57042 56483 111 215 0 56824 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 228168 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1322272/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=228432 CPUtime=1782.41 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 56844 0 0 0 178181 60 0 0 25 0 1 0 195100762 233914368 56528 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57108 56528 111 215 0 56890 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 228432 [startup+1784.07 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1322144/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=228560 CPUtime=1783.41 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 56880 0 0 0 178281 60 0 0 25 0 1 0 195100762 234045440 56564 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57140 56564 111 215 0 56922 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 228560 [startup+1785.07 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1321952/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=228692 CPUtime=1784.41 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 56917 0 0 0 178381 60 0 0 25 0 1 0 195100762 234180608 56601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57173 56601 111 215 0 56955 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 228692 [startup+1786.08 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1321824/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=228824 CPUtime=1785.42 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 56958 0 0 0 178482 60 0 0 25 0 1 0 195100762 234315776 56642 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57206 56642 111 215 0 56988 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 228824 [startup+1787.08 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1321696/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=228952 CPUtime=1786.42 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 56994 0 0 0 178582 60 0 0 25 0 1 0 195100762 234446848 56678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57238 56678 111 215 0 57020 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 228952 [startup+1788.09 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1321504/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=229080 CPUtime=1787.44 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57033 0 0 0 178683 61 0 0 25 0 1 0 195100762 234577920 56717 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57270 56717 111 215 0 57052 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 229080 [startup+1789.09 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1321376/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=229212 CPUtime=1788.44 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57071 0 0 0 178783 61 0 0 25 0 1 0 195100762 234713088 56755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57303 56755 111 215 0 57085 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 229212 [startup+1790.1 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1321184/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=229476 CPUtime=1789.45 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57116 0 0 0 178884 61 0 0 25 0 1 0 195100762 234983424 56800 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57369 56800 111 215 0 57151 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 229476 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320992/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=229608 CPUtime=1790.45 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57156 0 0 0 178984 61 0 0 25 0 1 0 195100762 235118592 56840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57402 56840 111 215 0 57184 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 229608 [startup+1792.11 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320864/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=229740 CPUtime=1791.46 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57193 0 0 0 179085 61 0 0 25 0 1 0 195100762 235253760 56877 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57435 56877 111 215 0 57217 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 229740 [startup+1793.11 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320672/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=229876 CPUtime=1792.46 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57234 0 0 0 179185 61 0 0 25 0 1 0 195100762 235393024 56918 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57469 56918 111 215 0 57251 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 229876 [startup+1794.12 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320544/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230136 CPUtime=1793.46 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57274 0 0 0 179285 61 0 0 25 0 1 0 195100762 235659264 56958 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57534 56958 111 215 0 57316 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 230136 [startup+1795.12 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320416/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230268 CPUtime=1794.47 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57313 0 0 0 179386 61 0 0 25 0 1 0 195100762 235794432 56997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57567 56997 111 215 0 57349 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 230268 [startup+1796.13 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320224/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230396 CPUtime=1795.47 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57359 0 0 0 179486 61 0 0 25 0 1 0 195100762 235925504 57043 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57599 57043 111 215 0 57381 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 230396 [startup+1797.13 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1320032/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230652 CPUtime=1796.48 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57404 0 0 0 179587 61 0 0 25 0 1 0 195100762 236187648 57088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57663 57088 111 215 0 57445 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 230652 [startup+1798.14 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1319840/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230784 CPUtime=1797.48 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57443 0 0 0 179687 61 0 0 25 0 1 0 195100762 236322816 57127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134592897 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57696 57127 111 215 0 57478 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 230784 [startup+1799.14 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1319840/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230784 CPUtime=1798.49 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57443 0 0 0 179788 61 0 0 25 0 1 0 195100762 236322816 57127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568550 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57696 57127 111 215 0 57478 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 230784 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1319840/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230784 CPUtime=1799.49 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57443 0 0 0 179888 61 0 0 25 0 1 0 195100762 236322816 57127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57696 57127 111 215 0 57478 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 230784 [startup+1801.15 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1319840/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230784 CPUtime=1800.49 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57443 0 0 0 179988 61 0 0 25 0 1 0 195100762 236322816 57127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57696 57127 111 215 0 57478 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 230784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 0.99 0.91 2/67 2335 /proc/meminfo: memFree=1319840/2055888 swapFree=4085416/4096564 [pid=2333] ppid=2331 vsize=230784 CPUtime=1800.5 /proc/2333/stat : 2333 (minisat+) R 2331 2333 2287 0 -1 4194304 57443 0 0 0 179989 61 0 0 25 0 1 0 195100762 236322816 57127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2333/statm: 57696 57127 111 215 0 57478 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 230784 Sending SIGTERM to -2333 Sleeping 2 seconds Child status: 10 Real time (s): 1801.19 CPU time (s): 1800.54 CPU user time (s): 1799.89 CPU system time (s): 0.647901 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (Kb): 230784
Begin job on node83 on Sat Jun 3 00:30:14 UTC 2006 FILE ID= 35613-1149294614 PBS_JOBID= 307025 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node83/35613-1149294614/instance-35613-1149294614.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node83/watcher-35613-1149294614 -o ROOT/results/node83/solver-35613-1149294614 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node83/35613-1149294614/instance-35613-1149294614.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED= 608818179 /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.265 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 : 6006.16 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.265 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1548784 kB Buffers: 32592 kB Cached: 399624 kB SwapCached: 2440 kB Active: 51592 kB Inactive: 389384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1548784 kB SwapTotal: 4096564 kB SwapFree: 4085416 kB Dirty: 120 kB Writeback: 0 kB Mapped: 16896 kB Slab: 52852 kB Committed_AS: 332076 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node83 on Sat Jun 3 01:00:15 UTC 2006