Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | Signal | 88.7075 | 92.1471 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb |
MD5SUM | 7b9a0d3bf1a9c200d7f28b922540147b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 4.5863 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 58651 |
Total number of constraints | 174421 |
Number of constraints which are clauses | 174420 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 58140 |
Number of terms in the objective function | 171 |
Biggest coefficient in the objective function | 1496577676626844588240573268701473812127674924007424 |
Number of bits for the biggest coefficient in the objective function | 171 |
Sum of the numbers in the objective function | 2993155353253689176481146537402947624255349848014847 |
Number of bits of the sum of numbers in the objective function | 171 |
Biggest number in a constraint | 1675975991242824637446753124775730765934920727574049172215445180465220503759193372100234287270862928461253982273310756356719235351493321243304206125760512 |
Number of bits of the biggest number in a constraint | 510 |
Biggest sum of numbers in a constraint | 6703903964971298549787012499102923063739682910296195038597131527667767167333656272927595621892946315600953569576375136127347577727820033305822846748291905 |
Number of bits of the biggest sum of numbers | 511 |
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... 3.99/4.09 c Converting 174422 PB-constraints to clauses... 4.09/4.10 c -- Unit propagations: (none) 84.77/84.80 c -- Detecting intervals from adjacent constraints: # 84.77/84.82 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 84.87/84.97 c ---[ 0]--->
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-3721518-1338556688/watcher-3721518-1338556688 -o /tmp/evaluation-result-3721518-1338556688/solver-3721518-1338556688 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721518-1338556688.opb running on 4 cores: 1,3,5,7 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: 2.00 2.00 1.91 3/175 2980 /proc/meminfo: memFree=28368684/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=1264 CPUtime=0 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 165 0 0 0 0 0 0 0 20 0 1 0 321795658 1294336 123 33554432000 134512640 135395479 4291393360 4291391996 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 316 123 74 216 0 98 0 [startup+0.083363 s] /proc/loadavg: 2.00 2.00 1.91 3/175 2980 /proc/meminfo: memFree=28368684/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=3128 CPUtime=0.08 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 640 0 0 0 8 0 0 0 20 0 1 0 321795658 3203072 598 33554432000 134512640 135395479 4291393360 4291392224 134806102 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 782 598 74 216 0 564 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3128 [startup+0.100263 s] /proc/loadavg: 2.00 2.00 1.91 3/175 2980 /proc/meminfo: memFree=28368684/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=3400 CPUtime=0.09 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 714 0 0 0 9 0 0 0 20 0 1 0 321795658 3481600 672 33554432000 134512640 135395479 4291393360 4291392328 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 850 672 74 216 0 632 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3400 [startup+0.300228 s] /proc/loadavg: 2.00 2.00 1.91 3/175 2980 /proc/meminfo: memFree=28368684/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=8164 CPUtime=0.29 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 1874 0 0 0 29 0 0 0 20 0 1 0 321795658 8359936 1832 33554432000 134512640 135395479 4291393360 4291391340 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 2041 1832 74 216 0 1823 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8164 [startup+0.70023 s] /proc/loadavg: 2.00 2.00 1.91 3/175 2980 /proc/meminfo: memFree=28368684/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=17508 CPUtime=0.68 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 4175 0 0 0 68 0 0 0 20 0 1 0 321795658 17928192 4133 33554432000 134512640 135395479 4291393360 4291392360 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 4377 4134 74 216 0 4159 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17508 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 1.91 3/176 2981 /proc/meminfo: memFree=28345364/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=36488 CPUtime=1.49 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 8796 0 0 0 147 2 0 0 20 0 1 0 321795658 37363712 8704 33554432000 134512640 135395479 4291393360 4291392376 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 9122 8704 74 216 0 8904 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36488 [startup+3.10023 s] /proc/loadavg: 2.08 2.02 1.92 3/176 2981 /proc/meminfo: memFree=28320052/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=66820 CPUtime=3.09 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 16638 0 0 0 305 4 0 0 20 0 1 0 321795658 68423680 16338 33554432000 134512640 135395479 4291393360 4291391788 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 16705 16340 74 216 0 16487 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66820 [startup+6.30022 s] /proc/loadavg: 2.08 2.02 1.92 3/177 2982 /proc/meminfo: memFree=28290188/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=6.29 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20675 0 0 0 625 4 0 0 20 0 1 0 321795658 81158144 19484 33554432000 134512640 135395479 4291393360 4291392016 134805860 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19484 83 216 0 19596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 79256 [startup+12.7002 s] /proc/loadavg: 2.07 2.02 1.92 3/177 2982 /proc/meminfo: memFree=28290480/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=12.69 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20675 0 0 0 1265 4 0 0 20 0 1 0 321795658 81158144 19484 33554432000 134512640 135395479 4291393360 4291391884 135005856 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19484 83 216 0 19596 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79256 [startup+25.5002 s] /proc/loadavg: 2.06 2.01 1.92 3/177 2982 /proc/meminfo: memFree=28291344/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=25.48 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20675 0 0 0 2544 4 0 0 20 0 1 0 321795658 81158144 19484 33554432000 134512640 135395479 4291393360 4291391956 135003909 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19484 83 216 0 19596 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79256 [startup+51.1002 s] /proc/loadavg: 2.10 2.03 1.93 3/177 2982 /proc/meminfo: memFree=28291172/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=51.07 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20681 0 0 0 5103 4 0 0 20 0 1 0 321795658 81158144 19487 33554432000 134512640 135395479 4291393360 4291391940 135003848 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19487 83 216 0 19596 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79256 Solver just ended. Dumping a history of the last processes samples [startup+76.7002 s] /proc/loadavg: 2.06 2.03 1.93 3/177 2982 /proc/meminfo: memFree=28290672/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=76.67 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20681 0 0 0 7663 4 0 0 20 0 1 0 321795658 81158144 19487 33554432000 134512640 135395479 4291393360 4291392068 134531191 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19487 83 216 0 19596 0 Current children cumulated CPU time (s) 76.67 Current children cumulated vsize (KiB) 79256 [startup+83.1002 s] /proc/loadavg: 2.13 2.04 1.93 4/177 2982 /proc/meminfo: memFree=28290176/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=83.07 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20681 0 0 0 8303 4 0 0 20 0 1 0 321795658 81158144 19487 33554432000 134512640 135395479 4291393360 4291392008 134812774 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19487 83 216 0 19596 0 Current children cumulated CPU time (s) 83.07 Current children cumulated vsize (KiB) 79256 [startup+86.3002 s] /proc/loadavg: 2.13 2.04 1.93 3/177 2982 /proc/meminfo: memFree=28290052/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=79256 CPUtime=86.27 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) R 2978 2980 2429 0 -1 4202496 20686 0 0 0 8617 10 0 0 20 0 1 0 321795658 81158144 19492 33554432000 134512640 135395479 4291393360 4291392032 134806771 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 19814 19492 88 216 0 19596 0 Current children cumulated CPU time (s) 86.27 Current children cumulated vsize (KiB) 79256 [startup+89.5003 s] /proc/loadavg: 2.12 2.04 1.93 3/179 2984 /proc/meminfo: memFree=28090388/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=95284 CPUtime=88.7 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) S 2978 2980 2429 0 -1 4204032 24695 0 0 0 8854 16 0 0 20 0 1 0 321795658 97570816 23501 33554432000 134512640 135395479 4291393360 4278820792 135005899 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 23821 23501 90 216 0 23603 0 Current children cumulated CPU time (s) 88.7 Current children cumulated vsize (KiB) 95284 [startup+91.1003 s] /proc/loadavg: 2.12 2.04 1.93 2/179 2984 /proc/meminfo: memFree=28084188/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=95284 CPUtime=88.7 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) S 2978 2980 2429 0 -1 4204032 24695 0 0 0 8854 16 0 0 20 0 1 0 321795658 97570816 23501 33554432000 134512640 135395479 4291393360 4278820792 135005899 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 23821 23501 90 216 0 23603 0 Current children cumulated CPU time (s) 88.7 Current children cumulated vsize (KiB) 95284 [startup+91.9003 s] /proc/loadavg: 2.12 2.04 1.93 2/179 2984 /proc/meminfo: memFree=28082452/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=95284 CPUtime=88.7 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) S 2978 2980 2429 0 -1 4204032 24695 0 0 0 8854 16 0 0 20 0 1 0 321795658 97570816 23501 33554432000 134512640 135395479 4291393360 4278820792 135005899 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 23821 23501 90 216 0 23603 0 Current children cumulated CPU time (s) 88.7 Current children cumulated vsize (KiB) 95284 [startup+92.1002 s] /proc/loadavg: 2.12 2.04 1.93 2/179 2984 /proc/meminfo: memFree=28082452/32873648 swapFree=6864/6864 [pid=2980] ppid=2978 vsize=95284 CPUtime=88.7 cores=1,3,5,7 /proc/2980/stat : 2980 (minisat+) S 2978 2980 2429 0 -1 4204032 24695 0 0 0 8854 16 0 0 20 0 1 0 321795658 97570816 23501 33554432000 134512640 135395479 4291393360 4278820792 135005899 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/2980/statm: 23821 23501 90 216 0 23603 0 Current children cumulated CPU time (s) 88.7 Current children cumulated vsize (KiB) 95284 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 92.1471 CPU time (s): 88.7075 CPU user time (s): 88.5445 CPU system time (s): 0.162975 CPU usage (%): 96.2673 Max. virtual memory (cumulated for all children) (KiB): 95284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 88.5445 system time used= 0.162975 maximum resident set size= 94004 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24695 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= 22208 involuntary context switches= 93 runsolver used 0.165974 second user time and 0.466929 second system time The end
Begin job on node113 at 2012-06-01 15:18:08 IDJOB=3721518 IDBENCH=2962 IDSOLVER=2306 FILE ID=node113/3721518-1338556688 RUNJOBID= node113-1338552574-2446 PBS_JOBID= 14635871 Free space on /tmp= 71036 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721518-1338556688/watcher-3721518-1338556688 -o /tmp/evaluation-result-3721518-1338556688/solver-3721518-1338556688 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721518-1338556688.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b9a0d3bf1a9c200d7f28b922540147b RANDOM SEED=2114777259 node113.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.026 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.05 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.026 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.90 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.026 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 : 5438.54 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.026 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.026 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.026 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.026 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.92 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.026 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28368972 kB Buffers: 467584 kB Cached: 3134716 kB SwapCached: 2024 kB Active: 1567596 kB Inactive: 2059616 kB Active(anon): 24420 kB Inactive(anon): 1800 kB Active(file): 1543176 kB Inactive(file): 2057816 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67099592 kB Dirty: 11504 kB Writeback: 0 kB AnonPages: 27120 kB Mapped: 11712 kB Shmem: 0 kB Slab: 740464 kB SReclaimable: 184832 kB SUnreclaim: 555632 kB KernelStack: 1456 kB PageTables: 3760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 144684 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721518-1338556688.opb Free space on /tmp at the end= 70944 MiB End job on node113 at 2012-06-01 15:19:40