Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | ? (TO) | 1800.09 | 1800.62 |
Name | /OPT-BIGINT-LIN/heinz/ normalized-opm2-z12-s14.opb |
MD5SUM | f1849946ff16a8dbd3f6ed4bfe3f33be |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44342 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10800 |
Total number of constraints | 319508 |
Number of constraints which are clauses | 319500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10798 |
Number of terms in the objective function | 10733 |
Biggest coefficient in the objective function | 575 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 1508059 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 3704832 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 26039669 |
Number of bits of the biggest sum of numbers | 25 |
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... 0.00/0.41 c Converting 319508 PB-constraints to clauses... 0.00/0.42 c -- Unit propagations: (none) 0.00/0.42 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.43 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 0.00/0.71 c ---[319507]---> Adder-cost: 104794 maxlim: 18362847 bits: 25/25 7.18/7.25 c ---[319506]---> Adder-cost: 105504 maxlim: 18318152 bits: 25/25 13.48/13.57 c ---[319505]---> Adder-cost: 105330 maxlim: 18402181 bits: 25/25 19.79/19.82 c ---[319504]---> Adder-cost: 105806 maxlim: 18246233 bits: 25/25 25.88/25.92 c ---[319503]---> Adder-cost: 104944 maxlim: 18578340 bits: 25/25 31.98/32.07 c ---[319502]---> Adder-cost: 105936 maxlim: 18630004 bits: 25/25 37.97/38.06 c ---[319501]---> Adder-cost: 104750 maxlim: 18233116 bits: 25/25 43.88/43.97 c ---[319500]---> Adder-cost: 105160 maxlim: 18324406 bits: 25/25 51.68/51.74 c ==================================[MINISAT+]================================== 51.68/51.74 c | Conflicts | Original | Learnt | Progress | 51.68/51.74 c | | Clauses Literals | Max Clauses Literals LPC | | 51.68/51.74 c ============================================================================== 51.68/51.74 c | 0 | 6214056 21691575 | 2071352 0 0 -nan | 0.000 % | 51.77/51.81 c | 100 | 6214056 21691575 | 2278487 100 328 3.3 | 0.014 % | 51.77/51.83 c | 251 | 6214056 21691575 | 2506335 251 868 3.5 | 0.014 % | 52.37/52.49 c | 476 | 6214056 21691575 | 2756969 476 1644 3.5 | 0.014 % | 56.87/56.98 c | 813 | 6214056 21691575 | 3032666 813 3473 4.3 | 0.014 % | 60.97/61.07 c | 1319 | 6214056 21691575 | 3335933 1319 6528 4.9 | 0.014 % | 70.57/70.67 c | 2078 | 6214056 21691575 | 3669526 2078 12351 5.9 | 0.014 % | 76.77/76.86 c | 3217 | 6214056 21691575 | 4036479 3217 34970 10.9 | 0.014 % | 95.36/95.42 c | 4925 | 6214056 21691575 | 4440126 4925 47697 9.7 | 0.014 % | 123.35/123.45 c | 7487 | 6214056 21691575 | 4884139 7487 76443 10.2 | 0.014 % | 148.13/148.26 c | 11332 | 6214056 21691575 | 5372553 11332 1790387 158.0 | 0.014 % | 197.22/197.39 c | 17098 | 6214047 21691544 | 5909808 17091 5982365 350.0 | 0.015 % | 258.19/258.36 c | 25750 | 6214047 21691544 | 6500789 25743 16406940 637.3 | 0.015 % | 318.26/318.45 c | 38724 | 6214047 21691544 | 7150868 38717 28559022 737.6 | 0.015 % | 378.33/378.56 c | 58185 | 6214047 21691544 | 7865955 58178 30269870 520.3 | 0.015 % | 547.46/547.71 c | 87379 | 6214047 21691544 | 8652551 87372 39375520 450.7 | 0.015 % | 626.93/627.24 c | 131168 | 6214047 21691544 | 9517806 131161 43434530 331.2 | 0.015 % | 848.91/849.24 c | 196852 | 6214047 21691544 | 10469587 196845 56549795 287.3 | 0.015 % | 1182.06/1182.49 c | 295379 | 6214047 21691544 | 11516545 295372 116533518 394.5 | 0.015 % | 1361.39/1361.89 c | 443168 | 6214047 21691544 | 12668200 443161 154051177 347.6 | 0.015 % | 1800.09/1800.61 c 1800.09/1800.61 c *** TERMINATED *** 1800.09/1800.61 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723147-1338578188/watcher-3723147-1338578188 -o /tmp/evaluation-result-3723147-1338578188/solver-3723147-1338578188 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723147-1338578188.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/177 19771 /proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [startup+0.0829201 s] /proc/loadavg: 1.92 1.98 1.99 3/177 19771 /proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100276 s] /proc/loadavg: 1.92 1.98 1.99 3/177 19771 /proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300231 s] /proc/loadavg: 1.92 1.98 1.99 3/177 19771 /proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700222 s] /proc/loadavg: 1.92 1.98 1.99 3/177 19771 /proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50022 s] /proc/loadavg: 1.92 1.98 1.99 3/179 19776 /proc/meminfo: memFree=29503688/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=186944 CPUtime=1.49 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 48747 0 0 0 130 19 0 0 20 0 1 0 323947402 191430656 44056 33554432000 4194304 5276501 140735229785424 140735229782184 4378937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/19775/statm: 46736 44056 89 265 0 46468 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 196092 [startup+3.10021 s] /proc/loadavg: 1.92 1.98 1.99 3/179 19776 /proc/meminfo: memFree=29502944/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=186944 CPUtime=3.09 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 48747 0 0 0 290 19 0 0 20 0 1 0 323947402 191430656 44056 33554432000 4194304 5276501 140735229785424 140735229782184 4378892 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/19775/statm: 46736 44056 89 265 0 46468 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 196092 [startup+6.30021 s] /proc/loadavg: 1.93 1.98 1.99 3/179 19776 /proc/meminfo: memFree=29500820/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=186944 CPUtime=6.29 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 48749 0 0 0 610 19 0 0 20 0 1 0 323947402 191430656 44058 33554432000 4194304 5276501 140735229785424 140735229782184 4378937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/19775/statm: 46736 44058 89 265 0 46468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 196092 [startup+12.7002 s] /proc/loadavg: 1.93 1.98 1.99 3/179 19776 /proc/meminfo: memFree=29398076/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=292640 CPUtime=12.69 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 62298 0 0 0 1246 23 0 0 20 0 1 0 323947402 299663360 68820 33554432000 4194304 5276501 140735229785424 140735229612584 4378892 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/19775/statm: 73160 68820 122 265 0 72892 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 301788 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.99 3/179 19776 /proc/meminfo: memFree=29384100/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=297636 CPUtime=25.48 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 63548 0 0 0 2525 23 0 0 20 0 1 0 323947402 304779264 70581 33554432000 4194304 5276501 140735229785424 140735228249480 4378937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/19775/statm: 74409 70581 122 265 0 74141 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 306784 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.99 3/179 19776 /proc/meminfo: memFree=29333088/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=498600 CPUtime=51.07 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 96077 0 0 0 5078 29 0 0 20 0 1 0 323947402 510566400 117609 33554432000 4194304 5276501 140735229785424 140735229780856 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 124650 117609 127 265 0 124382 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 507748 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/179 19776 /proc/meminfo: memFree=28915076/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=753948 CPUtime=102.27 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 148823 0 0 0 10187 40 0 0 20 0 1 0 323947402 772042752 178525 33554432000 4194304 5276501 140735229785424 140735229783608 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 188487 178525 149 265 0 188219 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 763096 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 19777 /proc/meminfo: memFree=28856452/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=787736 CPUtime=162.22 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 157289 0 0 0 16178 44 0 0 20 0 1 0 323947402 806641664 186944 33554432000 4194304 5276501 140735229785424 140735229783416 4394737 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 196934 186944 149 265 0 196666 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 796884 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/180 19780 /proc/meminfo: memFree=28812568/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=822328 CPUtime=222.21 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 165967 0 0 0 22174 47 0 0 20 0 1 0 323947402 842063872 195602 33554432000 4194304 5276501 140735229785424 140735229783016 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 205582 195602 149 265 0 205314 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 831476 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 19780 /proc/meminfo: memFree=28771904/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=863180 CPUtime=282.18 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 176216 0 0 0 28168 50 0 0 20 0 1 0 323947402 883896320 205825 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 215795 205825 149 265 0 215527 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 872328 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 19780 /proc/meminfo: memFree=28730100/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=901848 CPUtime=342.15 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 185884 0 0 0 34162 53 0 0 20 0 1 0 323947402 923492352 216211 33554432000 4194304 5276501 140735229785424 140735229783416 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 225462 216211 149 265 0 225194 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 910996 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 19780 /proc/meminfo: memFree=28721448/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/19775/statm: 298148 289135 149 265 0 297880 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1201740 [startup+1182.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 19830 /proc/meminfo: memFree=28763908/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1264956 CPUtime=1181.95 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 276688 0 0 0 118102 93 0 0 20 0 1 0 323947402 1295314944 307241 33554432000 4194304 5276501 140735229785424 140735229783016 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 316239 307241 149 265 0 315971 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1274104 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19830 /proc/meminfo: memFree=28678700/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1334516 CPUtime=1241.94 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 293353 0 0 0 124095 99 0 0 20 0 1 0 323947402 1366544384 324411 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 333629 324411 149 265 0 333361 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1343664 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 19872 /proc/meminfo: memFree=28821608/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1378524 CPUtime=1301.91 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 304425 0 0 0 130088 103 0 0 20 0 1 0 323947402 1411608576 335466 33554432000 4194304 5276501 140735229785424 140735229783416 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 344631 335466 149 265 0 344363 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1387672 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 19873 /proc/meminfo: memFree=28675812/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1425772 CPUtime=1361.88 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 316290 0 0 0 136079 109 0 0 20 0 1 0 323947402 1459990528 347316 33554432000 4194304 5276501 140735229785424 140735229783672 4399800 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 356443 347316 149 265 0 356175 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1434920 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/180 19876 /proc/meminfo: memFree=28558504/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1452060 CPUtime=1421.87 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 322922 0 0 0 142075 112 0 0 20 0 1 0 323947402 1486909440 353964 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 363015 353964 149 265 0 362747 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1461208 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19876 /proc/meminfo: memFree=28452480/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1480816 CPUtime=1481.85 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 328907 0 0 0 148070 115 0 0 20 0 1 0 323947402 1516355584 361090 33554432000 4194304 5276501 140735229785424 140735229783416 4394677 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 370204 361090 149 265 0 369936 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1489964 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19876 /proc/meminfo: memFree=28371600/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1505000 CPUtime=1541.83 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 334969 0 0 0 154065 118 0 0 20 0 1 0 323947402 1541120000 367179 33554432000 4194304 5276501 140735229785424 140735229783416 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 376250 367179 149 265 0 375982 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1514148 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19876 /proc/meminfo: memFree=28326388/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1549696 CPUtime=1601.81 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 346160 0 0 0 160058 123 0 0 20 0 1 0 323947402 1586888704 378544 33554432000 4194304 5276501 140735229785424 140735229783416 4399852 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 387424 378544 149 265 0 387156 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1558844 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19877 /proc/meminfo: memFree=28283856/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1591832 CPUtime=1661.8 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 356693 0 0 0 166054 126 0 0 20 0 1 0 323947402 1630035968 389077 33554432000 4194304 5276501 140735229785424 140735229783416 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 397958 389077 149 265 0 397690 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1600980 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19877 /proc/meminfo: memFree=28224176/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1651732 CPUtime=1721.79 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 371656 0 0 0 172048 131 0 0 20 0 1 0 323947402 1691373568 404040 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 412933 404040 149 265 0 412665 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1660880 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 19877 /proc/meminfo: memFree=28143604/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1706308 CPUtime=1781.78 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 385291 0 0 0 178042 136 0 0 20 0 1 0 323947402 1747259392 417675 33554432000 4194304 5276501 140735229785424 140735229783416 4400452 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 426577 417675 149 265 0 426309 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1715456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.02 2.01 2.00 3/179 19877 /proc/meminfo: memFree=28104388/32873844 swapFree=7372/7372 [pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/19771/statm: 2287 277 236 213 0 72 0 [pid=19775] ppid=19771 vsize=1725040 CPUtime=1800.09 cores=0,2,4,6 /proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 389964 0 0 0 179872 137 0 0 20 0 1 0 323947402 1766440960 422348 33554432000 4194304 5276501 140735229785424 140735229783416 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19775/statm: 431260 422348 149 265 0 430992 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1734188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19771 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1798.72 CPU system time (s): 1.37 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1734188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 1108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 935 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= 10 involuntary context switches= 2 runsolver used 3.17252 second user time and 10.6514 second system time The end
Begin job on node109 at 2012-06-01 21:16:28 IDJOB=3723147 IDBENCH=89886 IDSOLVER=2307 FILE ID=node109/3723147-1338578188 RUNJOBID= node109-1338569199-17153 PBS_JOBID= 14635875 Free space on /tmp= 70700 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723147-1338578188/watcher-3723147-1338578188 -o /tmp/evaluation-result-3723147-1338578188/solver-3723147-1338578188 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723147-1338578188.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1849946ff16a8dbd3f6ed4bfe3f33be RANDOM SEED=1502469992 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29680872 kB Buffers: 283860 kB Cached: 1459840 kB SwapCached: 944 kB Active: 1443572 kB Inactive: 874464 kB Active(anon): 569072 kB Inactive(anon): 7800 kB Active(file): 874500 kB Inactive(file): 866664 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67105492 kB Dirty: 11268 kB Writeback: 8 kB AnonPages: 580904 kB Mapped: 10648 kB Shmem: 4 kB Slab: 734556 kB SReclaimable: 176880 kB SUnreclaim: 557676 kB KernelStack: 1464 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 692304 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 475136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70700 MiB End job on node109 at 2012-06-01 21:46:31