Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.09 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | f368868fda311e5aaeadb84d33b29291 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3750 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3750 |
Optimality of the best value was proved | NO |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
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 | 15 |
Number of terms in the objective function | 7500 |
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 | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 6.28/6.33 c Converting 237715 PB-constraints to clauses... 6.28/6.36 c -- Unit propagations: (none) 6.28/6.36 c -- Detecting intervals from adjacent constraints: (none) 6.28/6.38 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 6.88/6.92 c ==================================[MINISAT+]================================== 6.88/6.92 c | Conflicts | Original | Learnt | Progress | 6.88/6.92 c | | Clauses Literals | Max Clauses Literals LPC | | 6.88/6.92 c ============================================================================== 6.88/6.92 c | 0 | 237715 478680 | 79238 0 0 nan | 0.000 % | 6.88/6.93 c | 100 | 237715 478680 | 87161 100 4687 46.9 | 0.000 % | 6.88/6.95 c | 251 | 237715 478680 | 95877 251 13884 55.3 | 0.000 % | 6.88/6.99 c | 478 | 237715 478680 | 105465 478 34800 72.8 | 0.000 % | 6.99/7.05 c | 818 | 237715 478680 | 116012 818 73420 89.8 | 0.000 % | 7.19/7.20 c | 1324 | 237715 478680 | 127613 1324 170495 128.8 | 0.000 % | 7.39/7.43 c | 2083 | 237715 478680 | 140374 2083 290241 139.3 | 0.000 % | 7.79/7.81 c | 3224 | 237715 478680 | 154412 3224 545693 169.3 | 0.000 % | 8.39/8.42 c | 4934 | 237715 478680 | 169853 4934 854269 173.1 | 0.000 % | 9.49/9.50 c | 7497 | 237715 478680 | 186839 7497 1546507 206.3 | 0.000 % | 11.69/11.78 c | 11342 | 237715 478680 | 205522 11342 2310229 203.7 | 0.000 % | 15.29/15.37 c | 17111 | 237715 478680 | 226075 17111 3510127 205.1 | 0.000 % | 21.88/21.96 c | 25760 | 237715 478680 | 248682 25760 5122962 198.9 | 0.000 % | 35.07/35.13 c | 38737 | 237715 478680 | 273551 38737 8543560 220.6 | 0.000 % | 71.85/71.92 c | 58200 | 237715 478680 | 300906 58200 13346325 229.3 | 0.000 % | 145.42/145.57 c | 87394 | 237715 478680 | 330996 87394 18565662 212.4 | 0.000 % | 322.86/323.00 c | 131185 | 237715 478680 | 364096 131185 27153657 207.0 | 0.000 % | 574.06/574.36 c | 196869 | 237715 478680 | 400506 196869 40790671 207.2 | 0.000 % | 1043.50/1043.92 c | 295397 | 237715 478680 | 440556 295397 59651103 201.9 | 0.000 % | 1800.02/1800.70 c 1800.02/1800.71 c *** TERMINATED *** 1800.02/1800.71 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-353039-1176650988 -o ROOT/results/node38/solver-353039-1176650988 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353039-1176650988/minisat+ /tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/77 2270 /proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=1352 CPUtime=0 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 97265440 1384448 173 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 338 173 67 215 0 120 0 [startup+0.0745639 s] /proc/loadavg: 0.85 0.97 0.99 3/77 2270 /proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=2836 CPUtime=0.06 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 544 0 0 0 6 0 0 0 18 0 1 0 97265440 2904064 529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 709 529 74 215 0 491 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2836 [startup+0.101568 s] /proc/loadavg: 0.85 0.97 0.99 3/77 2270 /proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=3112 CPUtime=0.09 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 601 0 0 0 9 0 0 0 18 0 1 0 97265440 3186688 586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 778 586 74 215 0 560 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3112 [startup+0.301606 s] /proc/loadavg: 0.85 0.97 0.99 3/77 2270 /proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=4776 CPUtime=0.29 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 1028 0 0 0 29 0 0 0 19 0 1 0 97265440 4890624 1013 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 1194 1013 74 215 0 976 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4776 [startup+0.701683 s] /proc/loadavg: 0.85 0.97 0.99 3/77 2270 /proc/meminfo: memFree=1740680/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=8188 CPUtime=0.69 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 1873 0 0 0 69 0 0 0 23 0 1 0 97265440 8384512 1858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 2047 1858 74 215 0 1829 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8188 [startup+1.50184 s] /proc/loadavg: 0.86 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1731008/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=14888 CPUtime=1.49 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 3561 0 0 0 148 1 0 0 25 0 1 0 97265440 15245312 3546 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 3722 3546 74 215 0 3504 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14888 [startup+3.10114 s] /proc/loadavg: 0.86 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1721536/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=28452 CPUtime=3.08 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 6916 0 0 0 306 2 0 0 25 0 1 0 97265440 29134848 6901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 7113 6901 74 215 0 6895 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28452 [startup+6.30176 s] /proc/loadavg: 0.86 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1693704/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=55388 CPUtime=6.28 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 13606 0 0 0 622 6 0 0 25 0 1 0 97265440 56717312 13591 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 13847 13591 74 215 0 13629 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 55388 [startup+12.703 s] /proc/loadavg: 0.88 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1675096/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=66644 CPUtime=12.69 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 16427 0 0 0 1237 32 0 0 25 0 1 0 97265440 68243456 16368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580349 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 16661 16368 103 215 0 16443 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66644 [startup+25.5014 s] /proc/loadavg: 0.90 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1675160/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=66644 CPUtime=25.48 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 16427 0 0 0 2516 32 0 0 25 0 1 0 97265440 68243456 16368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 16661 16368 103 215 0 16443 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66644 [startup+51.1014 s] /proc/loadavg: 0.93 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1658840/2055920 swapFree=4138996/4192956 [pid=2270] ppid=2268 vsize=83368 CPUtime=51.06 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 20613 0 0 0 5071 35 0 0 25 0 1 0 97265440 85368832 20554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 20842 20554 103 215 0 20624 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 83368 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1636888/2055920 swapFree=4139060/4192956 [pid=2270] ppid=2268 vsize=105212 CPUtime=102.24 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 26020 0 0 0 10183 41 0 0 25 0 1 0 97265440 107737088 25961 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 26303 25961 103 215 0 26085 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 105212 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1620376/2055920 swapFree=4139060/4192956 [pid=2270] ppid=2268 vsize=121888 CPUtime=162.21 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 30165 0 0 0 16175 46 0 0 25 0 1 0 97265440 124813312 30106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 30472 30106 103 215 0 30254 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 121888 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2271 /proc/meminfo: memFree=1607000/2055920 swapFree=4139060/4192956 [pid=2270] ppid=2268 vsize=135076 CPUtime=222.2 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 33448 0 0 0 22170 50 0 0 25 0 1 0 97265440 138317824 33389 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 33769 33389 103 215 0 33551 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 135076 [startup+282.302 s] /proc/loadavg: 1.07 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1595480/2055920 swapFree=4139060/4192956 [pid=2270] ppid=2268 vsize=146504 CPUtime=282.18 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 36335 0 0 0 28164 54 0 0 25 0 1 0 97265440 150020096 36276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 36626 36276 103 215 0 36408 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 146504 [startup+342.301 s] /proc/loadavg: 1.02 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1583448/2055920 swapFree=4139124/4192956 [pid=2270] ppid=2268 vsize=158472 CPUtime=342.15 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 39317 0 0 0 34158 57 0 0 25 0 1 0 97265440 162275328 39258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 39618 39258 103 215 0 39400 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 158472 [startup+402.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1568344/2055920 swapFree=4139124/4192956 [pid=2270] ppid=2268 vsize=173924 CPUtime=402.12 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 43111 0 0 0 40150 62 0 0 25 0 1 0 97265440 178098176 43052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 43481 43052 103 215 0 43263 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 173924 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1550616/2055920 swapFree=4139188/4192956 [pid=2270] ppid=2268 vsize=191408 CPUtime=462.1 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 47487 0 0 0 46142 68 0 0 25 0 1 0 97265440 196001792 47428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 47852 47428 103 215 0 47634 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 191408 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1537496/2055920 swapFree=4139188/4192956 [pid=2270] ppid=2268 vsize=204576 CPUtime=522.08 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 50766 0 0 0 52136 72 0 0 25 0 1 0 97265440 209485824 50707 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 51144 50707 103 215 0 50926 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 204576 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1526616/2055920 swapFree=4139188/4192956 [pid=2270] ppid=2268 vsize=215432 CPUtime=582.06 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 53462 0 0 0 58130 76 0 0 25 0 1 0 97265440 220602368 53403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 53858 53403 103 215 0 53640 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 215432 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1514904/2055920 swapFree=4139252/4192956 [pid=2270] ppid=2268 vsize=227580 CPUtime=642.04 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 56348 0 0 0 64125 79 0 0 25 0 1 0 97265440 233041920 56289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 56895 56289 103 215 0 56677 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 227580 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1462808/2055920 swapFree=4139380/4192956 [pid=2270] ppid=2268 vsize=279664 CPUtime=881.95 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 69317 0 0 0 88099 96 0 0 25 0 1 0 97265440 286375936 69258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 69916 69258 103 215 0 69698 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 279664 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1456472/2055920 swapFree=4139380/4192956 [pid=2270] ppid=2268 vsize=286112 CPUtime=941.93 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 70877 0 0 0 94095 98 0 0 25 0 1 0 97265440 292978688 70818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 71528 70818 103 215 0 71310 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 286112 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1450648/2055920 swapFree=4139380/4192956 [pid=2270] ppid=2268 vsize=291980 CPUtime=1001.9 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 72309 0 0 0 100091 99 0 0 25 0 1 0 97265440 298987520 72250 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 72995 72250 103 215 0 72777 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 291980 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1442648/2055920 swapFree=4139444/4192956 [pid=2270] ppid=2268 vsize=299944 CPUtime=1061.88 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 74310 0 0 0 106086 102 0 0 25 0 1 0 97265440 307142656 74251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 74986 74251 103 215 0 74768 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 299944 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1436568/2055920 swapFree=4139444/4192956 [pid=2270] ppid=2268 vsize=305908 CPUtime=1121.86 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 75807 0 0 0 112082 104 0 0 25 0 1 0 97265440 313249792 75748 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 76477 75748 103 215 0 76259 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 305908 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1429848/2055920 swapFree=4139508/4192956 [pid=2270] ppid=2268 vsize=313252 CPUtime=1181.84 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 77499 0 0 0 118078 106 0 0 25 0 1 0 97265440 320770048 77440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 78313 77440 103 215 0 78095 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 313252 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1422616/2055920 swapFree=4139508/4192956 [pid=2270] ppid=2268 vsize=320276 CPUtime=1241.82 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 79262 0 0 0 124075 107 0 0 25 0 1 0 97265440 327962624 79203 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 80069 79203 103 215 0 79851 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 320276 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1417496/2055920 swapFree=4139508/4192956 [pid=2270] ppid=2268 vsize=325384 CPUtime=1301.8 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 80519 0 0 0 130071 109 0 0 25 0 1 0 97265440 333193216 80460 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 81346 80460 103 215 0 81128 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 325384 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1412568/2055920 swapFree=4139572/4192956 [pid=2270] ppid=2268 vsize=330400 CPUtime=1361.78 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 81754 0 0 0 136067 111 0 0 25 0 1 0 97265440 338329600 81695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 82600 81695 103 215 0 82382 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 330400 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1406232/2055920 swapFree=4139572/4192956 [pid=2270] ppid=2268 vsize=336612 CPUtime=1421.75 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 83324 0 0 0 142062 113 0 0 25 0 1 0 97265440 344690688 83265 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 84153 83265 103 215 0 83935 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 336612 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1399064/2055920 swapFree=4139636/4192956 [pid=2270] ppid=2268 vsize=343736 CPUtime=1481.73 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 85127 0 0 0 148057 116 0 0 25 0 1 0 97265440 351985664 85068 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 85934 85068 103 215 0 85716 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 343736 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1392984/2055920 swapFree=4139636/4192956 [pid=2270] ppid=2268 vsize=349684 CPUtime=1541.71 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 86623 0 0 0 154052 119 0 0 25 0 1 0 97265440 358076416 86564 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 87421 86564 103 215 0 87203 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 349684 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1388440/2055920 swapFree=4139636/4192956 [pid=2270] ppid=2268 vsize=354328 CPUtime=1601.68 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 87761 0 0 0 160048 120 0 0 25 0 1 0 97265440 362831872 87702 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 88582 87702 103 215 0 88364 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 354328 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1384216/2055920 swapFree=4139700/4192956 [pid=2270] ppid=2268 vsize=358500 CPUtime=1661.67 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 88796 0 0 0 166045 122 0 0 25 0 1 0 97265440 367104000 88737 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 89625 88737 103 215 0 89407 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 358500 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1379928/2055920 swapFree=4139700/4192956 [pid=2270] ppid=2268 vsize=362916 CPUtime=1721.64 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 89871 0 0 0 172041 123 0 0 25 0 1 0 97265440 371625984 89812 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 90729 89812 103 215 0 90511 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 362916 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1374872/2055920 swapFree=4139764/4192956 [pid=2270] ppid=2268 vsize=367932 CPUtime=1781.62 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 91109 0 0 0 178038 124 0 0 25 0 1 0 97265440 376762368 91050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 91983 91050 103 215 0 91765 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 367932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1373592/2055920 swapFree=4139764/4192956 [pid=2270] ppid=2268 vsize=369216 CPUtime=1800.02 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 91409 0 0 0 179877 125 0 0 25 0 1 0 97265440 378077184 91350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 92304 91350 103 215 0 92086 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 369216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/78 2271 /proc/meminfo: memFree=1373592/2055920 swapFree=4139764/4192956 [pid=2270] ppid=2268 vsize=369216 CPUtime=1800.02 /proc/2270/stat : 2270 (minisat+) R 2268 2270 2208 0 -1 4194304 91409 0 0 0 179877 125 0 0 25 0 1 0 97265440 378077184 91350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2270/statm: 92304 91350 103 215 0 92086 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 369216 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.09 CPU user time (s): 1798.78 CPU system time (s): 1.3098 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 369216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.78 system time used= 1.3098 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91410 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1086 involuntary context switches= 38337 runsolver used 2.39164 second user time and 4.64029 second system time The end
Begin job on node38 on Sun Apr 15 15:29:48 UTC 2007 IDJOB= 353039 IDBENCH= 2139 IDSOLVER= 156 FILE ID= node38/353039-1176650988 PBS_JOBID= 4559889 Free space on /tmp= 66556 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb COMMAND LINE= /tmp/evaluation/353039-1176650988/minisat+ /tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-353039-1176650988 -o ROOT/results/node38/conversion-353039-1176650988 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-353039-1176650988 -o ROOT/results/node38/solver-353039-1176650988 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353039-1176650988/minisat+ /tmp/evaluation/353039-1176650988/instance-353039-1176650988.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291 RANDOM SEED= 355911243 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 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.263 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: 1741152 kB Buffers: 21112 kB Cached: 111500 kB SwapCached: 2232 kB Active: 164384 kB Inactive: 84864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1741152 kB SwapTotal: 4192956 kB SwapFree: 4138996 kB Dirty: 8372 kB Writeback: 0 kB Mapped: 125024 kB Slab: 50764 kB Committed_AS: 971984 kB PageTables: 2060 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node38 on Sun Apr 15 15:59:51 UTC 2007