Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 751.243 | 751.546 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ manolios/manol-pipe-c6nidw_i.opb |
MD5SUM | 0c63894d62f4302163b30af51999a51b |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 751.243 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 95863 |
Total number of constraints | 283363 |
Number of constraints which are clauses | 283363 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
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... 8.08/8.12 c Converting 283362 PB-constraints to clauses... 8.08/8.17 c -- Unit propagations: (none) 8.08/8.18 c -- Detecting intervals from adjacent constraints: (none) 8.08/8.19 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 8.87/8.92 c ==================================[MINISAT+]================================== 8.87/8.92 c | Conflicts | Original | Learnt | Progress | 8.87/8.92 c | | Clauses Literals | Max Clauses Literals LPC | | 8.87/8.92 c ============================================================================== 8.87/8.92 c | 0 | 283360 661173 | 94453 0 0 nan | 0.000 % | 8.96/9.04 c | 100 | 281897 657904 | 103898 94 704 7.5 | 0.362 % | 9.16/9.22 c | 250 | 279715 653083 | 114288 234 2235 9.6 | 0.847 % | 9.26/9.34 c | 475 | 279715 653083 | 125716 459 5666 12.3 | 0.847 % | 9.56/9.67 c | 814 | 279695 653041 | 138288 797 9868 12.4 | 0.850 % | 9.87/9.94 c | 1322 | 279695 653041 | 152117 1305 25103 19.2 | 0.850 % | 10.36/10.40 c | 2082 | 279695 653041 | 167329 2065 60127 29.1 | 0.850 % | 11.06/11.18 c | 3222 | 279227 652010 | 184062 3198 117701 36.8 | 1.029 % | 11.86/11.91 c | 4931 | 279154 651850 | 202468 4906 166603 34.0 | 1.044 % | 13.35/13.46 c | 7493 | 276530 645963 | 222715 7457 227372 30.5 | 1.713 % | 15.05/15.16 c | 11338 | 276050 644902 | 244986 11297 379505 33.6 | 1.822 % | 17.55/17.67 c | 17104 | 275670 644048 | 269485 17059 564867 33.1 | 1.924 % | 22.04/22.13 c | 25753 | 275542 643761 | 296433 25706 844755 32.9 | 1.956 % | 28.24/28.35 c | 38728 | 275542 643761 | 326077 38681 1624543 42.0 | 1.956 % | 39.74/39.80 c | 58190 | 275542 643761 | 358685 58143 2590364 44.6 | 1.956 % | 55.43/55.57 c | 87383 | 275542 643761 | 394553 87336 3727374 42.7 | 1.956 % | 86.42/86.52 c | 131172 | 275542 643761 | 434008 131125 5738752 43.8 | 1.956 % | 147.30/147.47 c | 196856 | 273934 640189 | 477409 175804 6925709 39.4 | 2.351 % | 264.86/265.02 c | 295383 | 273753 639783 | 525150 273788 11061296 40.4 | 2.401 % | 513.38/513.69 c | 443174 | 260418 609904 | 577665 300288 10383310 34.6 | 5.879 % | 751.19/751.52 c ============================================================================== 751.19/751.52 c [1mUNSATISFIABLE[0m 751.19/751.52 s UNSATISFIABLE 751.19/751.52 c _______________________________________________________________________________ 751.19/751.52 c 751.19/751.52 c restarts : 20 751.19/751.52 c conflicts : 548421 (731 /sec) 751.19/751.52 c decisions : 2924727 (3896 /sec) 751.19/751.52 c propagations : 0 (0 /sec) 751.19/751.52 c inspects : 0 (0 /sec) 751.19/751.52 c CPU time : 750.625 s 751.19/751.52 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/419789-1177413092/instance-419789-1177413092.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-419789-1177413092 -o ROOT/results/node39/solver-419789-1177413092 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419789-1177413092/minisat+ /tmp/evaluation/419789-1177413092/instance-419789-1177413092.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.86 0.97 0.99 3/77 29198 /proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=1048 CPUtime=0 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 112 0 0 0 0 0 0 0 18 0 1 0 189221347 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 262 98 74 215 0 44 0 [startup+0.065789 s] /proc/loadavg: 0.86 0.97 0.99 3/77 29198 /proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=1772 CPUtime=0.06 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 272 0 0 0 6 0 0 0 18 0 1 0 189221347 1814528 258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 443 258 74 215 0 225 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1772 [startup+0.101795 s] /proc/loadavg: 0.86 0.97 0.99 3/77 29198 /proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=2056 CPUtime=0.09 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 372 0 0 0 9 0 0 0 18 0 1 0 189221347 2105344 358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 514 358 74 215 0 296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2056 [startup+0.301828 s] /proc/loadavg: 0.86 0.97 0.99 3/77 29198 /proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=4188 CPUtime=0.29 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 189221347 4288512 866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 1047 866 74 215 0 829 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4188 [startup+0.701896 s] /proc/loadavg: 0.86 0.97 0.99 3/77 29198 /proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=8164 CPUtime=0.69 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 1886 0 0 0 68 1 0 0 22 0 1 0 189221347 8359936 1872 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 2041 1872 74 215 0 1823 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8164 [startup+1.50203 s] /proc/loadavg: 0.86 0.97 0.99 2/78 29199 /proc/meminfo: memFree=1823304/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=16460 CPUtime=1.49 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 3899 0 0 0 147 2 0 0 25 0 1 0 189221347 16855040 3885 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 4115 3885 74 215 0 3897 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16460 [startup+3.1013 s] /proc/loadavg: 0.86 0.97 0.99 2/78 29199 /proc/meminfo: memFree=1812360/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=32124 CPUtime=3.09 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 7803 0 0 0 305 4 0 0 25 0 1 0 189221347 32894976 7739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 8031 7739 74 215 0 7813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32124 [startup+6.30184 s] /proc/loadavg: 0.95 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1780296/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=64772 CPUtime=6.28 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 15628 0 0 0 619 9 0 0 25 0 1 0 189221347 66326528 15481 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 16193 15481 74 215 0 15975 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 64772 [startup+12.7019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1738568/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=97540 CPUtime=12.66 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24589 0 0 0 1224 42 0 0 25 0 1 0 189221347 99880960 23715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/29198/statm: 24385 23715 103 215 0 24167 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 97540 [startup+25.5011 s] /proc/loadavg: 0.97 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1738504/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=97688 CPUtime=25.44 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24636 0 0 0 2502 42 0 0 25 0 1 0 189221347 100032512 23762 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574037 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 24422 23762 103 215 0 24204 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 97688 [startup+51.1014 s] /proc/loadavg: 0.98 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1738120/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=97944 CPUtime=51.03 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24727 0 0 0 5060 43 0 0 25 0 1 0 189221347 100294656 23845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 24486 23845 103 215 0 24268 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 97944 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1737864/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=98392 CPUtime=102.22 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24796 0 0 0 10179 43 0 0 25 0 1 0 189221347 100753408 23914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 24598 23914 103 215 0 24380 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 98392 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1737352/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=98776 CPUtime=162.19 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24913 0 0 0 16175 44 0 0 25 0 1 0 189221347 101146624 24031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 24694 24031 103 215 0 24476 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 98776 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1727752/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=108720 CPUtime=222.18 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 27324 0 0 0 22170 48 0 0 25 0 1 0 189221347 111329280 26442 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 27180 26442 103 215 0 26962 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 108720 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1719176/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=117016 CPUtime=282.16 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 29462 0 0 0 28165 51 0 0 25 0 1 0 189221347 119824384 28580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 29254 28580 103 215 0 29036 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 117016 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1711944/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=124736 CPUtime=342.14 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 31252 0 0 0 34161 53 0 0 25 0 1 0 189221347 127729664 30370 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 31184 30370 103 215 0 30966 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 124736 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1707272/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=129228 CPUtime=402.11 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32403 0 0 0 40156 55 0 0 25 0 1 0 189221347 132329472 31521 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 32307 31521 103 215 0 32089 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 129228 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1707208/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=129364 CPUtime=462.09 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32412 0 0 0 46154 55 0 0 25 0 1 0 189221347 132468736 31530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 32341 31530 103 215 0 32123 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 129364 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1707080/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=129364 CPUtime=522.07 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32436 0 0 0 52151 56 0 0 25 0 1 0 189221347 132468736 31554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 32341 31554 103 215 0 32123 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 129364 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1706824/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=129708 CPUtime=582.05 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32494 0 0 0 58149 56 0 0 25 0 1 0 189221347 132820992 31612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 32427 31612 103 215 0 32209 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 129708 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1705992/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=130412 CPUtime=642.04 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32693 0 0 0 64147 57 0 0 25 0 1 0 189221347 133541888 31811 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 32603 31811 103 215 0 32385 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 130412 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1702856/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=133488 CPUtime=702 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33462 0 0 0 70142 58 0 0 25 0 1 0 189221347 136691712 32580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33372 32580 103 215 0 33154 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 133488 Solver just ended. Dumping a history of the last processes samples [startup+716.702 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1701832/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=134600 CPUtime=716.41 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33706 0 0 0 71582 59 0 0 25 0 1 0 189221347 137830400 32824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33650 32824 103 215 0 33432 0 Current children cumulated CPU time (s) 716.41 Current children cumulated vsize (KiB) 134600 [startup+729.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1701000/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135280 CPUtime=729.2 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33907 0 0 0 72861 59 0 0 25 0 1 0 189221347 138526720 33025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33820 33025 103 215 0 33602 0 Current children cumulated CPU time (s) 729.2 Current children cumulated vsize (KiB) 135280 [startup+742.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135540 CPUtime=742 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74141 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33885 33072 103 215 0 33667 0 Current children cumulated CPU time (s) 742 Current children cumulated vsize (KiB) 135540 [startup+745.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135540 CPUtime=745.19 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74460 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581101 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33885 33072 103 215 0 33667 0 Current children cumulated CPU time (s) 745.19 Current children cumulated vsize (KiB) 135540 [startup+748.702 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135540 CPUtime=748.39 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74780 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33885 33072 103 215 0 33667 0 Current children cumulated CPU time (s) 748.39 Current children cumulated vsize (KiB) 135540 [startup+750.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135540 CPUtime=749.99 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74940 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33885 33072 103 215 0 33667 0 Current children cumulated CPU time (s) 749.99 Current children cumulated vsize (KiB) 135540 [startup+751.102 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135540 CPUtime=750.79 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 75020 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33885 33072 103 215 0 33667 0 Current children cumulated CPU time (s) 750.79 Current children cumulated vsize (KiB) 135540 [startup+751.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29199 /proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956 [pid=29198] ppid=29196 vsize=135540 CPUtime=751.19 /proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 75060 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135004763 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29198/statm: 33885 33072 103 215 0 33667 0 Current children cumulated CPU time (s) 751.19 Current children cumulated vsize (KiB) 135540 Child status: 20 Real time (s): 751.546 CPU time (s): 751.243 CPU user time (s): 750.625 CPU system time (s): 0.617906 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 135540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 750.625 system time used= 0.617906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33957 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= 3518 involuntary context switches= 1708 runsolver used 0.730888 second user time and 2.19667 second system time The end
Begin job on node39 on Tue Apr 24 11:11:33 UTC 2007 IDJOB= 419789 IDBENCH= 47799 IDSOLVER= 156 FILE ID= node39/419789-1177413092 PBS_JOBID= 4675705 Free space on /tmp= 66479 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/manolios/manol-pipe-c6nidw_i.opb COMMAND LINE= /tmp/evaluation/419789-1177413092/minisat+ /tmp/evaluation/419789-1177413092/instance-419789-1177413092.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-419789-1177413092 -o ROOT/results/node39/conversion-419789-1177413092 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419789-1177413092/instance-419789-1177413092.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-419789-1177413092 -o ROOT/results/node39/solver-419789-1177413092 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419789-1177413092/minisat+ /tmp/evaluation/419789-1177413092/instance-419789-1177413092.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 0c63894d62f4302163b30af51999a51b RANDOM SEED= 477054585 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1834024 kB Buffers: 20844 kB Cached: 112096 kB SwapCached: 13940 kB Active: 70768 kB Inactive: 86044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834024 kB SwapTotal: 4192956 kB SwapFree: 4159384 kB Dirty: 10904 kB Writeback: 0 kB Mapped: 30788 kB Slab: 50428 kB Committed_AS: 1964608 kB PageTables: 2012 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= 66479 MiB End job on node39 on Tue Apr 24 11:24:05 UTC 2007