Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -50 | 1800.61 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | 1925793f412227c60146f261684ef7c1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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.38 c Converting 94127 PB-constraints to clauses... 2.39 c -- Unit propagations: (none) 2.39 c -- Detecting intervals from adjacent constraints: (none) 2.40 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.59 c ==================================[MINISAT+]================================== 2.59 c | Conflicts | Original | Learnt | Progress | 2.59 c | | Clauses Literals | Max Clauses Literals LPC | | 2.59 c ============================================================================== 2.59 c | 0 | 94127 188254 | 31375 0 0 nan | 0.000 % | 2.59 c ============================================================================== 2.59 c [1mFound solution: -37[0m 2.59 o -37 2.61 c ---[ 0]---> Sorter-cost:70300 Base: 2.76 c ==================================[MINISAT+]================================== 2.76 c | Conflicts | Original | Learnt | Progress | 2.76 c | | Clauses Literals | Max Clauses Literals LPC | | 2.76 c ============================================================================== 2.76 c | 0 | 169206 364382 | 56402 0 0 nan | 0.000 % | 3.00 c | 100 | 168601 363114 | 62042 60 642 10.7 | 0.650 % | 3.25 c | 250 | 168197 362272 | 68246 188 1787 9.5 | 1.078 % | 3.72 c | 475 | 166779 359205 | 75071 353 5149 14.6 | 2.687 % | 4.30 c | 812 | 164849 355011 | 82578 614 8125 13.2 | 4.901 % | 5.24 c | 1318 | 161915 348511 | 90835 1007 11889 11.8 | 8.388 % | 6.55 c | 2078 | 157298 338163 | 99919 1514 19611 13.0 | 13.974 % | 8.48 c | 3217 | 150383 322519 | 109911 2361 27149 11.5 | 22.504 % | 10.93 c | 4925 | 142177 303723 | 120902 3455 43440 12.6 | 32.802 % | 12.67 c ============================================================================== 12.67 c [1mFound solution: -39[0m 12.67 o -39 12.69 c ---[ 0]---> Sorter-cost: 0 Base: 12.76 c ==================================[MINISAT+]================================== 12.76 c | Conflicts | Original | Learnt | Progress | 12.76 c | | Clauses Literals | Max Clauses Literals LPC | | 12.76 c ============================================================================== 12.76 c | 6002 | 136029 289832 | 45343 4064 51113 12.6 | 32.802 % | 12.93 c | 6102 | 135501 288616 | 49877 4094 51418 12.6 | 41.228 % | 13.08 c | 6252 | 134830 287062 | 54865 4169 52253 12.5 | 42.056 % | 13.35 c | 6477 | 133556 284073 | 60351 4284 53504 12.5 | 43.681 % | 13.90 c | 6815 | 131508 279252 | 66386 4352 53518 12.3 | 46.324 % | 14.51 c | 7321 | 129404 274330 | 73025 4686 58304 12.4 | 49.004 % | 15.72 c | 8080 | 124550 262767 | 80327 5020 62499 12.4 | 55.415 % | 17.02 c | 9219 | 120847 253969 | 88360 5639 70773 12.6 | 60.316 % | 18.32 c | 10927 | 116439 243527 | 97196 6740 85038 12.6 | 66.140 % | 19.90 c | 13489 | 111872 232610 | 106916 8109 102853 12.7 | 72.176 % | 21.06 c ============================================================================== 21.06 c [1mFound solution: -41[0m 21.06 o -41 21.08 c ---[ 0]---> Sorter-cost: 0 Base: 21.16 c ==================================[MINISAT+]================================== 21.16 c | Conflicts | Original | Learnt | Progress | 21.16 c | | Clauses Literals | Max Clauses Literals LPC | | 21.16 c ============================================================================== 21.16 c | 15449 | 108663 224875 | 36221 9239 125727 13.6 | 72.176 % | 21.21 c | 15549 | 108599 224717 | 39843 9321 126476 13.6 | 76.650 % | 21.30 c | 15699 | 108565 224641 | 43827 9450 128114 13.6 | 76.691 % | 21.49 c | 15924 | 107849 222933 | 48210 9505 128963 13.6 | 77.658 % | 21.74 c | 16261 | 107296 221602 | 53031 9592 132052 13.8 | 78.413 % | 21.92 c | 16767 | 107016 220928 | 58334 10007 142853 14.3 | 78.791 % | 22.22 c | 17527 | 106385 219426 | 64167 10577 155481 14.7 | 79.638 % | 22.77 c | 18668 | 105298 216803 | 70584 11375 176705 15.5 | 81.105 % | 23.45 c | 20376 | 104074 213784 | 77642 12323 199977 16.2 | 82.788 % | 24.22 c | 22938 | 103716 212925 | 85407 14593 321534 22.0 | 83.276 % | 25.02 c ============================================================================== 25.02 c [1mFound solution: -42[0m 25.02 o -42 25.04 c ---[ 0]---> Sorter-cost: 0 Base: 25.12 c ==================================[MINISAT+]================================== 25.12 c | Conflicts | Original | Learnt | Progress | 25.12 c | | Clauses Literals | Max Clauses Literals LPC | | 25.12 c ============================================================================== 25.12 c | 24986 | 102854 210754 | 34284 15664 393625 25.1 | 83.276 % | 25.21 c | 25086 | 102732 210450 | 37712 15436 390882 25.3 | 84.654 % | 25.28 c | 25236 | 102684 210340 | 41483 15542 394868 25.4 | 84.714 % | 25.35 c | 25461 | 102641 210233 | 45632 15714 406285 25.9 | 84.776 % | 25.46 c | 25798 | 102629 210201 | 50195 16042 422226 26.3 | 84.796 % | 25.64 c | 26304 | 102576 210078 | 55214 16509 466638 28.3 | 84.864 % | 25.86 c | 27063 | 102576 210078 | 60736 17268 503954 29.2 | 84.864 % | 26.21 c | 28202 | 102576 210078 | 66809 18407 593877 32.3 | 84.864 % | 26.74 c | 29911 | 102443 209761 | 73490 20018 684978 34.2 | 85.044 % | 27.50 c ============================================================================== 27.50 c [1mFound solution: -43[0m 27.50 o -43 27.52 c ---[ 0]---> Sorter-cost: 0 Base: 27.61 c ==================================[MINISAT+]================================== 27.61 c | Conflicts | Original | Learnt | Progress | 27.61 c | | Clauses Literals | Max Clauses Literals LPC | | 27.61 c ============================================================================== 27.61 c | 31856 | 102356 209564 | 34118 21852 815129 37.3 | 85.044 % | 27.69 c | 31956 | 102268 209345 | 37529 21860 814537 37.3 | 85.339 % | 27.76 c | 32106 | 102228 209247 | 41282 21838 815492 37.3 | 85.394 % | 27.86 c | 32333 | 102223 209236 | 45411 22016 831326 37.8 | 85.400 % | 27.99 c | 32671 | 102209 209200 | 49952 22306 856533 38.4 | 85.421 % | 28.16 c | 33177 | 102197 209172 | 54947 22741 873272 38.4 | 85.437 % | 28.53 c | 33937 | 102094 208924 | 60442 23330 930681 39.9 | 85.575 % | 28.97 c | 35077 | 102019 208744 | 66486 24242 985516 40.7 | 85.676 % | 29.16 c ============================================================================== 29.16 c [1mFound solution: -44[0m 29.16 o -44 29.18 c ---[ 0]---> Sorter-cost: 0 Base: 29.27 c ==================================[MINISAT+]================================== 29.27 c | Conflicts | Original | Learnt | Progress | 29.27 c | | Clauses Literals | Max Clauses Literals LPC | | 29.27 c ============================================================================== 29.27 c | 35607 | 102009 208691 | 34003 24540 995539 40.6 | 85.676 % | 29.35 c | 35708 | 101928 208492 | 37403 24624 997833 40.5 | 85.803 % | 29.41 c | 35858 | 101928 208492 | 41143 24774 1006585 40.6 | 85.803 % | 29.48 c | 36083 | 101928 208492 | 45257 24999 1014501 40.6 | 85.803 % | 29.70 c | 36420 | 101784 208131 | 49783 24930 1033808 41.5 | 86.003 % | 29.86 c | 36928 | 101784 208131 | 54762 25438 1056708 41.5 | 86.003 % | 30.20 c | 37689 | 101770 208097 | 60238 26110 1110764 42.5 | 86.023 % | 30.67 c | 38828 | 101692 207908 | 66262 27180 1189071 43.7 | 86.128 % | 31.52 c | 40536 | 101664 207836 | 72888 28873 1410165 48.8 | 86.171 % | 31.63 c ============================================================================== 31.63 c [1mFound solution: -45[0m 31.63 o -45 31.65 c ---[ 0]---> Sorter-cost: 0 Base: 31.75 c ==================================[MINISAT+]================================== 31.75 c | Conflicts | Original | Learnt | Progress | 31.75 c | | Clauses Literals | Max Clauses Literals LPC | | 31.75 c ============================================================================== 31.75 c | 40771 | 101685 207899 | 33895 29108 1431870 49.2 | 86.171 % | 31.84 c | 40871 | 101599 207692 | 37284 29151 1433947 49.2 | 86.268 % | 31.93 c | 41022 | 101583 207656 | 41012 29204 1437736 49.2 | 86.288 % | 32.04 c | 41247 | 101583 207656 | 45114 29429 1451214 49.3 | 86.288 % | 32.20 c | 41585 | 101579 207646 | 49625 29759 1468341 49.3 | 86.294 % | 32.43 c | 42091 | 101579 207646 | 54588 30265 1514920 50.1 | 86.294 % | 32.77 c | 42850 | 101579 207646 | 60047 31024 1566731 50.5 | 86.294 % | 33.42 c | 43989 | 101522 207517 | 66051 32004 1690247 52.8 | 86.364 % | 34.31 c | 45697 | 101519 207510 | 72656 33657 1837966 54.6 | 86.368 % | 35.68 c | 48259 | 101514 207497 | 79922 36156 2069775 57.2 | 86.375 % | 38.21 c | 52103 | 101425 207284 | 87914 39754 2565923 64.5 | 86.496 % | 40.88 c ============================================================================== 40.88 c [1mFound solution: -46[0m 40.88 o -46 40.90 c ---[ 0]---> Sorter-cost: 0 Base: 41.02 c ==================================[MINISAT+]================================== 41.02 c | Conflicts | Original | Learnt | Progress | 41.02 c | | Clauses Literals | Max Clauses Literals LPC | | 41.02 c ============================================================================== 41.02 c | 56071 | 101328 207015 | 33776 42986 3027810 70.4 | 86.496 % | 41.16 c | 56171 | 101160 206601 | 37153 42581 3019786 70.9 | 86.866 % | 41.28 c | 56322 | 101122 206513 | 40868 42554 3024513 71.1 | 86.915 % | 41.42 c | 56547 | 101122 206513 | 44955 42779 3039749 71.1 | 86.915 % | 41.59 c | 56886 | 101122 206513 | 49451 43118 3064538 71.1 | 86.915 % | 41.91 c | 57392 | 101122 206513 | 54396 43624 3101898 71.1 | 86.915 % | 42.41 c | 58152 | 101122 206513 | 59836 44384 3194510 72.0 | 86.915 % | 43.22 c | 59291 | 101046 206333 | 65819 45208 3294689 72.9 | 87.014 % | 44.49 c | 60999 | 101046 206333 | 72401 46916 3533061 75.3 | 87.014 % | 46.43 c | 63561 | 101046 206333 | 79642 49478 3883031 78.5 | 87.014 % | 49.86 c | 67406 | 100914 205999 | 87606 53044 4385925 82.7 | 87.206 % | 54.88 c | 73172 | 100806 205737 | 96366 58558 5046095 86.2 | 87.354 % | 63.23 c | 81821 | 100711 205504 | 106003 67011 6093036 90.9 | 87.486 % | 78.38 c | 94795 | 100700 205477 | 116603 79939 7520194 94.1 | 87.502 % | 91.92 c ============================================================================== 91.92 c [1mFound solution: -47[0m 91.92 o -47 91.94 c ---[ 0]---> Sorter-cost: 0 Base: 92.13 c ==================================[MINISAT+]================================== 92.13 c | Conflicts | Original | Learnt | Progress | 92.13 c | | Clauses Literals | Max Clauses Literals LPC | | 92.13 c ============================================================================== 92.13 c | 105865 | 100598 205249 | 33532 90227 8874178 98.4 | 87.502 % | 92.40 c | 105965 | 100593 205238 | 36885 20901 1600986 76.6 | 87.670 % | 92.47 c | 106117 | 100593 205238 | 40573 21053 1614859 76.7 | 87.670 % | 92.57 c | 106344 | 100593 205238 | 44631 21280 1631167 76.7 | 87.670 % | 92.74 c | 106681 | 100593 205238 | 49094 21617 1672760 77.4 | 87.670 % | 93.00 c | 107187 | 100593 205238 | 54003 22123 1718568 77.7 | 87.670 % | 93.39 c | 107946 | 100593 205238 | 59403 22882 1790790 78.3 | 87.670 % | 93.89 c | 109085 | 100552 205131 | 65344 23996 1881654 78.4 | 87.734 % | 94.85 c | 110794 | 100507 205018 | 71878 25649 2041000 79.6 | 87.798 % | 96.30 c | 113356 | 100507 205018 | 79066 28211 2385755 84.6 | 87.798 % | 98.67 c | 117201 | 100363 204678 | 86973 31966 2747854 86.0 | 87.983 % | 102.55 c | 122969 | 100363 204678 | 95670 37734 3327649 88.2 | 87.983 % | 108.57 c | 131618 | 100361 204672 | 105237 46377 4057930 87.5 | 87.986 % | 119.46 c | 144592 | 100361 204672 | 115761 59351 5417520 91.3 | 87.986 % | 140.70 c | 164053 | 100361 204672 | 127337 78812 7374147 93.6 | 87.986 % | 157.37 c ============================================================================== 157.37 c [1mFound solution: -48[0m 157.37 o -48 157.39 c ---[ 0]---> Sorter-cost: 0 Base: 157.58 c ==================================[MINISAT+]================================== 157.58 c | Conflicts | Original | Learnt | Progress | 157.58 c | | Clauses Literals | Max Clauses Literals LPC | | 157.58 c ============================================================================== 157.58 c | 180700 | 100336 204592 | 33445 95355 9046564 94.9 | 87.986 % | 157.93 c | 180800 | 100336 204592 | 36789 20047 1291344 64.4 | 88.022 % | 158.00 c | 180953 | 100336 204592 | 40468 20200 1303202 64.5 | 88.022 % | 158.10 c | 181179 | 100336 204592 | 44515 20426 1316828 64.5 | 88.022 % | 158.22 c | 181517 | 100336 204592 | 48966 20764 1335170 64.3 | 88.022 % | 158.45 c | 182023 | 100336 204592 | 53863 21270 1379477 64.9 | 88.022 % | 158.83 c | 182782 | 100336 204592 | 59249 22029 1465852 66.5 | 88.022 % | 159.32 c | 183921 | 100336 204592 | 65174 23168 1572637 67.9 | 88.022 % | 160.03 c | 185630 | 100336 204592 | 71692 24877 1715016 68.9 | 88.022 % | 161.34 c | 188194 | 100315 204537 | 78861 27433 1979748 72.2 | 88.055 % | 163.46 c | 192038 | 100261 204411 | 86747 31274 2434565 77.8 | 88.125 % | 166.83 c | 197805 | 100261 204411 | 95422 37041 2947613 79.6 | 88.125 % | 172.82 c | 206454 | 100261 204411 | 104964 45690 3968544 86.9 | 88.125 % | 182.06 c | 219428 | 100230 204344 | 115461 58628 5032265 85.8 | 88.160 % | 200.19 c | 238890 | 100163 204183 | 127007 78084 6825521 87.4 | 88.251 % | 234.99 c | 268082 | 100162 204180 | 139708 107224 10345801 96.5 | 88.253 % | 298.80 c | 311871 | 100159 204173 | 153678 151012 13666617 90.5 | 88.257 % | 404.85 c | 377556 | 100151 204153 | 169046 39565 2684139 67.8 | 88.268 % | 487.87 c ============================================================================== 487.87 c [1mFound solution: -49[0m 487.87 o -49 487.89 c ---[ 0]---> Sorter-cost: 0 Base: 488.09 c ==================================[MINISAT+]================================== 488.09 c | Conflicts | Original | Learnt | Progress | 488.09 c | | Clauses Literals | Max Clauses Literals LPC | | 488.09 c ============================================================================== 488.09 c | 451626 | 100163 204183 | 33387 113634 8795220 77.4 | 88.268 % | 488.54 c | 451726 | 100163 204183 | 36725 21677 935218 43.1 | 88.261 % | 488.62 c | 451877 | 100122 204081 | 40398 21827 941156 43.1 | 88.317 % | 488.69 c | 452104 | 100122 204081 | 44438 22054 947989 43.0 | 88.317 % | 488.81 c | 452442 | 100122 204081 | 48881 22392 963561 43.0 | 88.317 % | 489.00 c | 452948 | 100122 204081 | 53770 22898 999134 43.6 | 88.317 % | 489.30 c | 453707 | 100093 204004 | 59147 23653 1049668 44.4 | 88.364 % | 489.72 c | 454846 | 100093 204004 | 65061 24792 1124123 45.3 | 88.364 % | 490.46 c | 456554 | 100093 204004 | 71567 26500 1270656 47.9 | 88.364 % | 491.65 c | 459116 | 100091 203998 | 78724 29058 1536580 52.9 | 88.368 % | 493.67 c | 462961 | 100091 203998 | 86597 32903 1961101 59.6 | 88.368 % | 496.69 c | 468727 | 100048 203892 | 95257 38632 2504225 64.8 | 88.430 % | 502.04 c | 477376 | 100048 203892 | 104782 47281 3283655 69.4 | 88.430 % | 512.07 c | 490351 | 100048 203892 | 115260 60256 4268571 70.8 | 88.430 % | 528.55 c | 509812 | 100048 203892 | 126787 79717 5933102 74.4 | 88.430 % | 563.22 c | 539005 | 100048 203892 | 139465 108910 7595380 69.7 | 88.430 % | 630.54 c | 582795 | 100019 203825 | 153412 152695 10143108 66.4 | 88.467 % | 726.82 c | 648479 | 100009 203801 | 168753 42650 1427834 33.5 | 88.480 % | 846.44 c | 747005 | 100000 203780 | 185628 141170 8787108 62.2 | 88.492 % | 1087.29 c | 894794 | 99977 203725 | 204191 82991 3617721 43.6 | 88.523 % | 1438.68 c | 1116479 | 99945 203647 | 224611 84742 7013638 82.8 | 88.567 % | 1488.58 c ============================================================================== 1488.58 c [1mFound solution: -50[0m 1488.58 o -50 1488.60 c ---[ 0]---> Sorter-cost: 0 Base: 1488.82 c ==================================[MINISAT+]================================== 1488.82 c | Conflicts | Original | Learnt | Progress | 1488.82 c | | Clauses Literals | Max Clauses Literals LPC | | 1488.82 c ============================================================================== 1488.82 c | 1154249 | 99934 203597 | 33311 121910 10732491 88.0 | 88.567 % | 1489.40 c | 1154349 | 99934 203597 | 36642 24980 1381338 55.3 | 88.585 % | 1489.51 c | 1154499 | 99934 203597 | 40306 25130 1386889 55.2 | 88.585 % | 1489.58 c | 1154724 | 99934 203597 | 44336 25355 1393311 55.0 | 88.585 % | 1489.75 c | 1155061 | 99930 203587 | 48770 25687 1408148 54.8 | 88.591 % | 1489.94 c | 1155568 | 99930 203587 | 53647 26194 1433753 54.7 | 88.591 % | 1490.30 c | 1156328 | 99930 203587 | 59012 26954 1487409 55.2 | 88.591 % | 1490.82 c | 1157467 | 99930 203587 | 64913 28093 1562796 55.6 | 88.591 % | 1491.55 c | 1159175 | 99930 203587 | 71405 29801 1673244 56.1 | 88.591 % | 1492.86 c | 1161740 | 99930 203587 | 78545 32366 1840532 56.9 | 88.591 % | 1494.99 c | 1165585 | 99930 203587 | 86400 36211 2102133 58.1 | 88.591 % | 1498.45 c | 1171351 | 99930 203587 | 95040 41977 2608268 62.1 | 88.591 % | 1504.01 c | 1180000 | 99930 203587 | 104544 50626 3224764 63.7 | 88.591 % | 1514.81 c | 1192974 | 99930 203587 | 114998 63600 3926791 61.7 | 88.591 % | 1533.77 c | 1212435 | 99927 203580 | 126498 83059 4928461 59.3 | 88.595 % | 1568.84 c | 1241627 | 99927 203580 | 139148 112251 6408512 57.1 | 88.595 % | 1627.43 c | 1285416 | 99917 203556 | 153063 156031 8697144 55.7 | 88.609 % | 1720.36 c | 1351101 | 99915 203552 | 168369 51265 1912993 37.3 | 88.611 % | 1801.13 c 1801.13 c *** TERMINATED *** 1801.13 s SATISFIABLE 1801.13 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1801.13 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 1801.13 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1801.13 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 -x1206 -x1205 1801.13 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1801.13 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1801.13 v -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1801.13 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1801.13 v -x1136 -x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1801.13 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1801.13 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 1801.13 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1801.13 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1801.13 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1801.13 v -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1801.13 v -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 1801.13 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1801.13 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1801.13 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1801.13 v -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 1801.13 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1801.13 v -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 1801.13 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1801.13 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1801.13 v x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1801.13 v -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 1801.13 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1801.13 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1801.13 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1801.13 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 1801.13 v -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 1801.13 v -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 1801.13 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1801.13 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 1801.13 v x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1801.13 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 1801.13 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1801.13 v -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 1801.13 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1801.13 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 1801.13 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 1801.13 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 1801.13 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1801.13 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 1801.13 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 1801.13 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 1801.13 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1801.13 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1801.13 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1801.13 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 1801.13 v -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1801.13 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1801.13 v x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 1801.13 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1801.13 v -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1801.13 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 1801.13 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 1801.13 v -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1801.13 v -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1801.13 v x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 1801.13 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 1801.13 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 1801.13 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
OK -50
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node78/watcher-35623-1149296558 -o ROOT/results/node78/solver-35623-1149296558 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node78/35623-1149296558/instance-35623-1149296558.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1563640/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=1048 CPUtime=0 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 97 0 0 0 0 0 0 0 18 0 1 0 194684692 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 262 84 67 215 0 44 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1531840/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=34044 CPUtime=9.97 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 8288 0 0 0 986 11 0 0 25 0 1 0 194684692 34861056 8071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 8511 8071 110 215 0 8293 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 34044 [startup+20.0088 s] /proc/loadavg: 0.94 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1531712/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=34468 CPUtime=19.98 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 8358 0 0 0 1987 11 0 0 25 0 1 0 194684692 35295232 8141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 8617 8141 110 215 0 8399 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 34468 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1531712/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=34468 CPUtime=29.98 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 8361 0 0 0 2987 11 0 0 25 0 1 0 194684692 35295232 8144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 8617 8144 110 215 0 8399 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 34468 [startup+40.0199 s] /proc/loadavg: 0.96 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1526784/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=39568 CPUtime=39.98 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 9599 0 0 0 3985 13 0 0 25 0 1 0 194684692 40517632 9382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 9892 9382 110 215 0 9674 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 39568 [startup+50.026 s] /proc/loadavg: 0.96 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1520320/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=45988 CPUtime=49.99 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 11228 0 0 0 4984 15 0 0 25 0 1 0 194684692 47091712 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 11497 11003 110 215 0 11279 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 45988 [startup+60.0321 s] /proc/loadavg: 0.97 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1514816/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=51616 CPUtime=59.99 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 12608 0 0 0 5983 16 0 0 25 0 1 0 194684692 52854784 12383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 12904 12383 110 215 0 12686 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 51616 [startup+70.0382 s] /proc/loadavg: 0.97 0.96 0.91 2/67 13436 /proc/meminfo: memFree=1510016/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=56312 CPUtime=69.99 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 13801 0 0 0 6982 17 0 0 25 0 1 0 194684692 57663488 13576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 14078 13576 110 215 0 13860 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 56312 [startup+80.0433 s] /proc/loadavg: 0.98 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1506304/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=59956 CPUtime=79.99 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 14728 0 0 0 7981 18 0 0 25 0 1 0 194684692 61394944 14503 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 14989 14503 110 215 0 14771 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 59956 [startup+90.0484 s] /proc/loadavg: 0.98 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1502144/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64136 CPUtime=89.99 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 15773 0 0 0 8981 18 0 0 25 0 1 0 194684692 65675264 15548 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16034 15548 110 215 0 15816 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 64136 [startup+100.054 s] /proc/loadavg: 0.98 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64992 CPUtime=100 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 9981 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16248 15776 110 215 0 16030 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 64992 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64992 CPUtime=110 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 10981 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16248 15776 110 215 0 16030 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 64992 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64992 CPUtime=120.01 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 11982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16248 15776 110 215 0 16030 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 64992 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64992 CPUtime=130.01 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 12982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16248 15776 110 215 0 16030 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 64992 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64992 CPUtime=140.01 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 13982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16248 15776 110 215 0 16030 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 64992 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=64992 CPUtime=150.01 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 14982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16248 15776 110 215 0 16030 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 64992 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1499264/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=66984 CPUtime=160.01 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 15982 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16746 16234 110 215 0 16528 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 66984 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1499264/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=66984 CPUtime=170.01 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 16982 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16746 16234 110 215 0 16528 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 66984 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=66984 CPUtime=180.02 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 17983 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16746 16234 110 215 0 16528 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 66984 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=66984 CPUtime=190.02 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 18983 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16746 16234 110 215 0 16528 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 66984 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=66984 CPUtime=200.02 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 19983 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 16746 16234 110 215 0 16528 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 66984 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13436 /proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564 ################ # More data... # ################ [pid=13436] ppid=13434 vsize=112552 CPUtime=1781.49 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178114 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 112552 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1782.5 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178215 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 112552 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1783.5 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178315 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 112552 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1784.5 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178415 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 112552 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1785.51 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178516 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579868 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 112552 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1786.51 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178616 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 112552 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1787.52 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178717 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 112552 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1788.52 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178817 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 112552 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1789.53 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178918 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 112552 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1790.53 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179018 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 112552 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1791.53 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179118 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581319 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 112552 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1792.54 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179219 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 112552 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1793.54 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179319 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574364 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 112552 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1794.55 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179420 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 112552 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1795.55 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179520 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 112552 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1796.56 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179621 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 112552 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1797.56 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179721 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 112552 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1798.57 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179822 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 112552 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1799.57 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179922 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 112552 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1800.58 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 180023 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 112552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 13438 /proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564 [pid=13436] ppid=13434 vsize=112552 CPUtime=1800.58 /proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 180023 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580893 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13436/statm: 28138 27578 110 215 0 27920 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 112552 Sending SIGTERM to -13436 Sleeping 2 seconds Child status: 10 Real time (s): 1801.16 CPU time (s): 1800.61 CPU user time (s): 1800.23 CPU system time (s): 0.373943 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (Kb): 112572
Begin job on node78 on Sat Jun 3 01:02:39 UTC 2006 FILE ID= 35623-1149296558 PBS_JOBID= 307144 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node78/35623-1149296558/instance-35623-1149296558.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-35623-1149296558 -o ROOT/results/node78/solver-35623-1149296558 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node78/35623-1149296558/instance-35623-1149296558.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 1925793f412227c60146f261684ef7c1 RANDOM SEED= 829062880 /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.225 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.17 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.225 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: 2055892 kB MemFree: 1564040 kB Buffers: 36188 kB Cached: 385340 kB SwapCached: 2520 kB Active: 49660 kB Inactive: 380600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1564040 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 152 kB Writeback: 0 kB Mapped: 15136 kB Slab: 48112 kB Committed_AS: 309132 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Sat Jun 3 01:32:40 UTC 2006