Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -47 | 1800.61 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
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 | 1150 |
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 | 1150 |
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 | 1150 |
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.16 c Converting 80035 PB-constraints to clauses... 2.16 c -- Unit propagations: (none) 2.16 c -- Detecting intervals from adjacent constraints: (none) 2.17 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.35 c ==================================[MINISAT+]================================== 2.35 c | Conflicts | Original | Learnt | Progress | 2.35 c | | Clauses Literals | Max Clauses Literals LPC | | 2.35 c ============================================================================== 2.35 c | 0 | 80035 160070 | 26678 0 0 nan | 0.000 % | 2.35 c ============================================================================== 2.35 c [1mFound solution: -37[0m 2.35 o -37 2.36 c ---[ 0]---> Sorter-cost:63046 Base: 2.49 c ==================================[MINISAT+]================================== 2.49 c | Conflicts | Original | Learnt | Progress | 2.49 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49 c ============================================================================== 2.49 c | 0 | 147951 319392 | 49317 0 0 nan | 0.000 % | 2.74 c | 100 | 147312 318040 | 54248 57 1282 22.5 | 0.772 % | 3.02 c | 251 | 146773 316900 | 59673 187 2917 15.6 | 1.422 % | 3.49 c | 476 | 145213 313544 | 65640 368 5352 14.5 | 3.429 % | 4.00 c | 813 | 143505 309796 | 72205 621 8354 13.5 | 5.644 % | 5.03 c | 1320 | 139677 301273 | 79425 1008 13306 13.2 | 10.638 % | 6.01 c | 2079 | 135693 292365 | 87368 1543 19391 12.6 | 15.964 % | 7.60 c | 3218 | 129784 278974 | 96104 2359 29829 12.6 | 24.035 % | 9.83 c | 4926 | 122432 262085 | 105715 3616 48944 13.5 | 34.279 % | 12.71 c | 7488 | 111938 237654 | 116286 5258 69109 13.1 | 49.006 % | 15.98 c | 11332 | 101310 212553 | 127915 7785 111547 14.3 | 64.438 % | 17.80 c ============================================================================== 17.80 c [1mFound solution: -38[0m 17.80 o -38 17.81 c ---[ 0]---> Sorter-cost: 0 Base: 17.89 c ==================================[MINISAT+]================================== 17.89 c | Conflicts | Original | Learnt | Progress | 17.89 c | | Clauses Literals | Max Clauses Literals LPC | | 17.89 c ============================================================================== 17.89 c | 14084 | 96816 201835 | 32272 9412 143299 15.2 | 64.438 % | 17.92 c | 14184 | 96772 201727 | 35499 9499 144028 15.2 | 71.052 % | 18.01 c | 14334 | 96570 201231 | 39049 9550 144833 15.2 | 71.359 % | 18.13 c | 14560 | 96295 200569 | 42954 9703 147277 15.2 | 71.772 % | 18.28 c ============================================================================== 18.28 c [1mFound solution: -40[0m 18.28 o -40 18.30 c ---[ 0]---> Sorter-cost: 0 Base: 18.38 c ==================================[MINISAT+]================================== 18.38 c | Conflicts | Original | Learnt | Progress | 18.38 c | | Clauses Literals | Max Clauses Literals LPC | | 18.38 c ============================================================================== 18.38 c | 14788 | 96036 200007 | 32012 9819 147145 15.0 | 71.772 % | 18.42 c | 14888 | 96036 200007 | 35213 9919 148330 15.0 | 72.243 % | 18.45 c | 15038 | 96036 200007 | 38734 10069 149721 14.9 | 72.243 % | 18.53 c | 15263 | 96036 200007 | 42607 10294 154570 15.0 | 72.243 % | 18.66 c | 15600 | 95761 199378 | 46868 10569 160536 15.2 | 72.625 % | 18.92 c | 16106 | 95153 197892 | 51555 10886 169202 15.5 | 73.553 % | 19.21 c | 16865 | 94758 196946 | 56711 11525 181628 15.8 | 74.144 % | 19.69 c | 18004 | 94310 195868 | 62382 12430 205545 16.5 | 74.813 % | 20.26 c | 19713 | 94001 195126 | 68620 13894 265668 19.1 | 75.275 % | 21.46 c | 22276 | 92381 191245 | 75482 15687 319719 20.4 | 77.691 % | 22.86 c | 26120 | 91522 189173 | 83030 19074 495885 26.0 | 78.980 % | 23.68 c ============================================================================== 23.68 c [1mFound solution: -41[0m 23.68 o -41 23.69 c ---[ 0]---> Sorter-cost: 0 Base: 23.78 c ==================================[MINISAT+]================================== 23.78 c | Conflicts | Original | Learnt | Progress | 23.78 c | | Clauses Literals | Max Clauses Literals LPC | | 23.78 c ============================================================================== 23.78 c | 27853 | 91077 188149 | 30359 20461 588458 28.8 | 78.980 % | 23.82 c | 27953 | 91077 188149 | 33394 20561 590686 28.7 | 79.629 % | 23.90 c | 28103 | 91026 188021 | 36734 20631 592469 28.7 | 79.706 % | 23.98 c | 28328 | 91026 188021 | 40407 20856 599678 28.8 | 79.706 % | 24.10 c | 28665 | 91026 188021 | 44448 21193 622260 29.4 | 79.706 % | 24.32 c ============================================================================== 24.32 c [1mFound solution: -42[0m 24.32 o -42 24.33 c ---[ 0]---> Sorter-cost: 0 Base: 24.42 c ==================================[MINISAT+]================================== 24.42 c | Conflicts | Original | Learnt | Progress | 24.42 c | | Clauses Literals | Max Clauses Literals LPC | | 24.42 c ============================================================================== 24.42 c | 28969 | 90731 187263 | 30243 21322 628608 29.5 | 79.706 % | 24.48 c | 29069 | 90722 187240 | 33267 21414 632006 29.5 | 80.173 % | 24.56 c | 29219 | 90593 186934 | 36594 21396 633325 29.6 | 80.358 % | 24.68 c | 29445 | 90536 186795 | 40253 21617 652375 30.2 | 80.447 % | 24.85 c | 29782 | 90499 186706 | 44278 21904 668251 30.5 | 80.503 % | 25.13 c | 30289 | 90299 186216 | 48706 22108 682253 30.9 | 80.809 % | 25.43 c | 31048 | 90231 186060 | 53577 22782 711877 31.2 | 80.904 % | 26.02 c | 32187 | 89778 184940 | 58935 23599 766824 32.5 | 81.598 % | 26.63 c | 33896 | 89773 184929 | 64828 25280 869667 34.4 | 81.605 % | 27.79 c | 36458 | 89601 184511 | 71311 27781 1104154 39.7 | 81.868 % | 30.14 c | 40303 | 89001 183057 | 78442 30883 1452224 47.0 | 82.782 % | 33.30 c | 46069 | 88653 182193 | 86286 36261 1909440 52.7 | 83.326 % | 37.47 c ============================================================================== 37.47 c [1mFound solution: -43[0m 37.47 o -43 37.49 c ---[ 0]---> Sorter-cost: 0 Base: 37.60 c ==================================[MINISAT+]================================== 37.60 c | Conflicts | Original | Learnt | Progress | 37.60 c | | Clauses Literals | Max Clauses Literals LPC | | 37.60 c ============================================================================== 37.60 c | 53577 | 88651 182222 | 29550 43705 2561808 58.6 | 83.326 % | 37.66 c | 53677 | 88651 182222 | 32505 43805 2563789 58.5 | 83.359 % | 37.83 c | 53827 | 88622 182151 | 35755 43811 2568576 58.6 | 83.404 % | 37.99 c | 54052 | 88622 182151 | 39331 44036 2589935 58.8 | 83.404 % | 38.28 c | 54389 | 88537 181938 | 43264 44316 2602581 58.7 | 83.542 % | 38.66 c | 54895 | 88502 181851 | 47590 44743 2640960 59.0 | 83.598 % | 39.26 c | 55654 | 88489 181818 | 52349 45410 2688658 59.2 | 83.620 % | 40.36 c | 56795 | 88255 181245 | 57584 46245 2798146 60.5 | 83.970 % | 41.21 c | 58504 | 88255 181245 | 63343 47954 2931810 61.1 | 83.970 % | 43.22 c | 61066 | 88117 180910 | 69677 50021 3189748 63.8 | 84.181 % | 46.01 c | 64910 | 88088 180842 | 76645 53834 3616238 67.2 | 84.220 % | 50.19 c | 70676 | 88083 180831 | 84309 59598 4123646 69.2 | 84.226 % | 55.72 c ============================================================================== 55.72 c [1mFound solution: -45[0m 55.72 o -45 55.73 c ---[ 0]---> Sorter-cost: 0 Base: 55.88 c ==================================[MINISAT+]================================== 55.88 c | Conflicts | Original | Learnt | Progress | 55.88 c | | Clauses Literals | Max Clauses Literals LPC | | 55.88 c ============================================================================== 55.88 c | 76602 | 87920 180446 | 29306 64994 4731142 72.8 | 84.226 % | 56.00 c | 76704 | 87920 180446 | 32236 65096 4739491 72.8 | 84.488 % | 56.14 c | 76855 | 87920 180446 | 35460 65247 4745429 72.7 | 84.488 % | 56.38 c | 77080 | 87920 180446 | 39006 65472 4759519 72.7 | 84.488 % | 56.70 c | 77417 | 87920 180446 | 42906 65809 4783089 72.7 | 84.488 % | 57.19 c | 77924 | 87920 180446 | 47197 66316 4834519 72.9 | 84.488 % | 57.95 c | 78684 | 87915 180435 | 51917 67073 4915209 73.3 | 84.494 % | 59.27 c | 79823 | 87782 180128 | 57109 67701 5020176 74.2 | 84.681 % | 61.23 c | 81531 | 87629 179763 | 62820 69363 5207979 75.1 | 84.907 % | 63.66 c | 84093 | 87629 179763 | 69102 71925 5462668 75.9 | 84.907 % | 68.08 c | 87937 | 87629 179763 | 76012 75769 5852613 77.2 | 84.907 % | 73.80 c | 93703 | 87615 179727 | 83613 81487 6335995 77.8 | 84.931 % | 83.56 c | 102352 | 87615 179727 | 91974 90136 7289858 80.9 | 84.931 % | 100.45 c | 115328 | 87613 179723 | 101172 103111 8798918 85.3 | 84.933 % | 128.07 c | 134790 | 87540 179550 | 111289 122522 11000809 89.8 | 85.040 % | 177.89 c | 163982 | 87270 178893 | 122418 150898 14231492 94.3 | 85.455 % | 227.02 c | 207771 | 87197 178706 | 134660 54694 5876777 107.4 | 85.578 % | 332.41 c | 273455 | 87182 178671 | 148126 120376 10322069 85.7 | 85.599 % | 531.42 c | 371981 | 87177 178658 | 162938 51891 2115967 40.8 | 85.608 % | 798.88 c | 519771 | 87049 178354 | 179232 199664 15496049 77.6 | 85.793 % | 1092.25 c ============================================================================== 1092.25 c [1mFound solution: -46[0m 1092.25 o -46 1092.27 c ---[ 0]---> Sorter-cost: 0 Base: 1092.60 c ==================================[MINISAT+]================================== 1092.60 c | Conflicts | Original | Learnt | Progress | 1092.60 c | | Clauses Literals | Max Clauses Literals LPC | | 1092.60 c ============================================================================== 1092.60 c | 701811 | 86901 177971 | 28967 182482 19502868 106.9 | 85.793 % | 1093.76 c | 701911 | 86901 177971 | 31863 22991 1347020 58.6 | 86.009 % | 1093.85 c | 702061 | 86901 177971 | 35050 23141 1358101 58.7 | 86.009 % | 1093.97 c | 702287 | 86895 177957 | 38555 23364 1366748 58.5 | 86.017 % | 1094.09 c | 702624 | 86895 177957 | 42410 23701 1379424 58.2 | 86.017 % | 1094.28 c | 703130 | 86895 177957 | 46651 24207 1396449 57.7 | 86.017 % | 1094.54 c | 703893 | 86895 177957 | 51316 24970 1445843 57.9 | 86.017 % | 1095.08 c | 705032 | 86895 177957 | 56448 26109 1529104 58.6 | 86.017 % | 1095.75 c | 706740 | 86843 177831 | 62093 27752 1618128 58.3 | 86.097 % | 1097.07 c | 709302 | 86840 177824 | 68302 30266 1883311 62.2 | 86.101 % | 1099.41 c | 713146 | 86836 177814 | 75132 34106 2413903 70.8 | 86.108 % | 1102.68 c | 718914 | 86828 177796 | 82646 39867 2923494 73.3 | 86.118 % | 1109.07 c | 727563 | 86823 177785 | 90910 48485 3902676 80.5 | 86.125 % | 1119.67 c | 740537 | 86725 177549 | 100001 61453 5190422 84.5 | 86.271 % | 1143.54 c | 759998 | 86725 177549 | 110002 80914 7702762 95.2 | 86.271 % | 1180.99 c | 789190 | 86708 177510 | 121002 110092 10692484 97.1 | 86.295 % | 1254.42 c | 832979 | 86706 177506 | 133102 153880 14874274 96.7 | 86.297 % | 1346.50 c | 898663 | 86706 177506 | 146412 66858 4322578 64.7 | 86.297 % | 1547.01 c | 997189 | 86694 177476 | 161054 165381 8276913 50.0 | 86.316 % | 1704.29 c ============================================================================== 1704.29 c [1mFound solution: -47[0m 1704.29 o -47 1704.31 c ---[ 0]---> Sorter-cost: 0 Base: 1704.44 c ==================================[MINISAT+]================================== 1704.44 c | Conflicts | Original | Learnt | Progress | 1704.44 c | | Clauses Literals | Max Clauses Literals LPC | | 1704.44 c ============================================================================== 1704.44 c | 1080259 | 86725 177563 | 28908 71949 2423087 33.7 | 86.316 % | 1705.03 c | 1080360 | 86725 177563 | 31798 26210 656098 25.0 | 86.305 % | 1705.12 c | 1080510 | 86725 177563 | 34978 26360 662533 25.1 | 86.305 % | 1705.25 c | 1080735 | 86725 177563 | 38476 26585 673821 25.3 | 86.305 % | 1705.37 c | 1081074 | 86725 177563 | 42324 26924 682698 25.4 | 86.305 % | 1705.56 c | 1081582 | 86725 177563 | 46556 27432 709014 25.8 | 86.305 % | 1705.94 c | 1082341 | 86725 177563 | 51212 28191 776508 27.5 | 86.305 % | 1706.51 c | 1083480 | 86725 177563 | 56333 29330 849216 29.0 | 86.305 % | 1707.01 c | 1085188 | 86725 177563 | 61966 31038 913536 29.4 | 86.305 % | 1707.94 c | 1087750 | 86716 177540 | 68163 33595 1057290 31.5 | 86.320 % | 1709.55 c | 1091594 | 86667 177427 | 74979 37423 1327704 35.5 | 86.389 % | 1712.29 c | 1097360 | 86627 177330 | 82477 43158 1771846 41.1 | 86.449 % | 1717.77 c | 1106009 | 86618 177309 | 90725 51799 2717047 52.5 | 86.462 % | 1728.92 c | 1118985 | 86507 177033 | 99798 64752 4004424 61.8 | 86.635 % | 1747.82 c | 1138446 | 86458 176904 | 109778 84207 5682506 67.5 | 86.721 % | 1787.13 c | 1167639 | 86458 176904 | 120755 113400 7890896 69.6 | 86.721 % | 1801.26 c 1801.26 c *** TERMINATED *** 1801.26 s SATISFIABLE 1801.26 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1801.26 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 1801.26 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 1801.26 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1801.26 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1801.26 v -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1801.26 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031 1801.26 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1801.26 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1801.26 v -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 1801.26 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 1801.26 v -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 1801.26 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1801.26 v -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1801.26 v -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1801.26 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 1801.26 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 1801.26 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 1801.26 v -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 1801.26 v -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 1801.26 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 1801.26 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 1801.26 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 1801.26 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1801.26 v -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 1801.26 v x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1801.26 v x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1801.26 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 1801.26 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1801.26 v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 1801.26 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 1801.26 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1801.26 v -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1801.26 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1801.26 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1801.26 v x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1801.26 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1801.26 v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 1801.26 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1801.26 v -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1801.26 v -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 1801.26 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1801.26 v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 1801.26 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1801.26 v -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1801.26 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 1801.26 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 1801.26 v -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1801.26 v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 1801.26 v -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1801.26 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 1801.26 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 1801.26 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 1801.26 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 1801.26 v -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 1801.26 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -47
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/node40/watcher-35630-1149298396 -o ROOT/results/node40/solver-35630-1149298396 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/35630-1149298396/instance-35630-1149298396.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1828176/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=1180 CPUtime=0 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 123 0 0 0 0 0 0 0 19 0 1 0 195506092 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 295 108 67 215 0 77 0 [startup+10.0029 s] /proc/loadavg: 0.87 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1800592/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=30040 CPUtime=9.98 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 7182 0 0 0 986 12 0 0 25 0 1 0 195506092 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 7510 6986 110 215 0 7292 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 30040 [startup+20.0092 s] /proc/loadavg: 0.89 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1800472/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=30420 CPUtime=19.98 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 7243 0 0 0 1986 12 0 0 25 0 1 0 195506092 31150080 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 7605 7047 110 215 0 7387 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 30420 [startup+30.0155 s] /proc/loadavg: 0.91 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1800216/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=30848 CPUtime=29.98 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 7324 0 0 0 2986 12 0 0 25 0 1 0 195506092 31588352 7128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 7712 7128 110 215 0 7494 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 30848 [startup+40.0209 s] /proc/loadavg: 0.92 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1794520/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=36648 CPUtime=39.99 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 8757 0 0 0 3985 14 0 0 25 0 1 0 195506092 37527552 8561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 9162 8561 110 215 0 8944 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 36648 [startup+50.0272 s] /proc/loadavg: 0.93 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1788568/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=42428 CPUtime=49.99 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 10246 0 0 0 4983 16 0 0 25 0 1 0 195506092 43446272 10050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586564 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 10607 10050 110 215 0 10389 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 42428 [startup+60.0335 s] /proc/loadavg: 0.94 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1784280/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=46872 CPUtime=60 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 11313 0 0 0 5982 18 0 0 25 0 1 0 195506092 47996928 11117 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 11718 11117 110 215 0 11500 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 46872 [startup+70.0398 s] /proc/loadavg: 0.95 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1780248/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=50900 CPUtime=70 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 12334 0 0 0 6982 18 0 0 25 0 1 0 195506092 52121600 12138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 12725 12138 110 215 0 12507 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 50900 [startup+80.0461 s] /proc/loadavg: 0.96 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1776472/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=54596 CPUtime=80 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 13272 0 0 0 7981 19 0 0 25 0 1 0 195506092 55906304 13076 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 13649 13076 110 215 0 13431 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 54596 [startup+90.0524 s] /proc/loadavg: 0.96 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1771992/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=59200 CPUtime=90 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 14387 0 0 0 8980 20 0 0 25 0 1 0 195506092 60620800 14191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 14800 14191 110 215 0 14582 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 59200 [startup+100.058 s] /proc/loadavg: 0.97 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1768408/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=62704 CPUtime=100 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 15276 0 0 0 9979 21 0 0 25 0 1 0 195506092 64208896 15080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 15676 15080 110 215 0 15458 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 62704 [startup+110.064 s] /proc/loadavg: 0.97 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1765016/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=66108 CPUtime=110.01 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 16131 0 0 0 10979 22 0 0 25 0 1 0 195506092 67694592 15935 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 16527 15935 110 215 0 16309 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 66108 [startup+120.07 s] /proc/loadavg: 0.98 0.97 0.93 2/64 17782 /proc/meminfo: memFree=1761304/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=69756 CPUtime=120.02 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 17053 0 0 0 11978 24 0 0 25 0 1 0 195506092 71430144 16857 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 17439 16857 110 215 0 17221 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 69756 [startup+130.077 s] /proc/loadavg: 0.98 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1758296/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=72756 CPUtime=130.02 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 17793 0 0 0 12977 25 0 0 25 0 1 0 195506092 74502144 17597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 18189 17597 110 215 0 17971 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 72756 [startup+140.083 s] /proc/loadavg: 0.98 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1755864/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=75120 CPUtime=140.02 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 18400 0 0 0 13976 26 0 0 25 0 1 0 195506092 76922880 18204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 18780 18204 110 215 0 18562 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 75120 [startup+150.089 s] /proc/loadavg: 0.98 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1752280/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=78780 CPUtime=150.02 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 19303 0 0 0 14975 27 0 0 25 0 1 0 195506092 80670720 19107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 19695 19107 110 215 0 19477 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 78780 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1748824/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=82456 CPUtime=160.03 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 20164 0 0 0 15975 28 0 0 25 0 1 0 195506092 84434944 19968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 20614 19968 110 215 0 20396 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 82456 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1746456/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=84684 CPUtime=170.03 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 20741 0 0 0 16975 28 0 0 25 0 1 0 195506092 86716416 20545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 21171 20545 110 215 0 20953 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 84684 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1744088/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=87040 CPUtime=180.03 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 21334 0 0 0 17974 29 0 0 25 0 1 0 195506092 89128960 21138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 21760 21138 110 215 0 21542 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 87040 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1741656/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=89524 CPUtime=190.04 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 21953 0 0 0 18974 30 0 0 25 0 1 0 195506092 91672576 21757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 22381 21757 110 215 0 22163 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 89524 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1738520/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=92532 CPUtime=200.04 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 22731 0 0 0 19973 31 0 0 25 0 1 0 195506092 94752768 22535 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581042 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 23133 22535 110 215 0 22915 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 92532 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.93 2/64 17784 /proc/meminfo: memFree=1738008/2055920 swapFree=4181324/4192956 ################ # More data... # ################ [pid=17782] ppid=17780 vsize=114236 CPUtime=1781.48 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178099 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 114236 [startup+1783.17 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1782.49 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178200 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 114236 [startup+1784.17 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1783.49 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178300 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 114236 [startup+1785.18 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1784.5 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178401 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 114236 [startup+1786.18 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1785.5 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178501 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 114236 [startup+1787.19 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1786.51 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178602 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 114236 [startup+1788.19 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1787.51 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178702 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 114236 [startup+1789.2 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1788.52 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178803 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 114236 [startup+1790.2 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1789.52 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178903 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 114236 [startup+1791.21 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1790.53 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179004 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 114236 [startup+1792.21 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1791.53 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179104 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 114236 [startup+1793.22 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1792.54 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179205 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 114236 [startup+1794.22 s] /proc/loadavg: 1.03 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1793.54 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179305 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 114236 [startup+1795.23 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1794.54 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179405 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 114236 [startup+1796.23 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1795.55 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179506 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 114236 [startup+1797.24 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1796.55 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179606 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581017 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 114236 [startup+1798.24 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1797.56 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179707 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 114236 [startup+1799.25 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1798.56 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179807 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 114236 [startup+1800.25 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1799.57 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179908 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 114236 [startup+1801.26 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1800.57 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 180008 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 114236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.26 s] /proc/loadavg: 1.02 0.99 0.94 2/64 18455 /proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956 [pid=17782] ppid=17780 vsize=114236 CPUtime=1800.58 /proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 180009 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17782/statm: 28559 27871 110 215 0 28341 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 114236 Sending SIGTERM to -17782 Sleeping 2 seconds Child status: 10 Real time (s): 1801.29 CPU time (s): 1800.61 CPU user time (s): 1800.09 CPU system time (s): 0.514921 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (Kb): 114236
Begin job on node40 on Sat Jun 3 01:33:16 UTC 2006 FILE ID= 35630-1149298396 PBS_JOBID= 307241 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/35630-1149298396/instance-35630-1149298396.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-35630-1149298396 -o ROOT/results/node40/solver-35630-1149298396 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/35630-1149298396/instance-35630-1149298396.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 420353574 /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.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1828448 kB Buffers: 21868 kB Cached: 135188 kB SwapCached: 3492 kB Active: 45432 kB Inactive: 120500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828448 kB SwapTotal: 4192956 kB SwapFree: 4181324 kB Dirty: 232 kB Writeback: 0 kB Mapped: 14972 kB Slab: 47576 kB Committed_AS: 346500 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node40 on Sat Jun 3 02:03:19 UTC 2006