Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.1 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 158d85b2efcaf56eab2db834482aadfb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb 0.00/0.01 c File size is 930375 bytes. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Highest Coefficient sum: 1.80198e+17 0.09/0.14 c Parsing was ok!! 0.09/0.14 c Total parsing time: 0.138 s 0.09/0.15 c Var: 16224 Constr: 1608 384/0/1224 Lit: 69192 Watch. Lit: 19080 0.09/0.15 c Obj. Vars: 10368 (63.9053 % of total variables) 0.78/0.88 c Pre-processing Time: 0.878 s 1799.97/1800.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.64 c 0 9010 1608 69192 43 53398 136687 0 0 0.88 1799.97/1800.64 c 101 9010 1709 79407 46 53867 150356 101 105 0.96 1799.97/1800.64 c 253 9010 1861 88493 47 54174 165392 253 253 1.00 1799.97/1800.64 c 478 9010 2086 98504 47 54621 181932 478 459 1.04 1799.97/1800.64 c 816 9010 2424 112585 46 55280 200126 816 722 1.13 1799.97/1800.64 c 1326 9010 2934 137197 46 56322 220139 1326 1035 1.28 1799.97/1800.64 c 2091 9010 3699 227159 61 57808 242153 2091 1392 1.50 1799.97/1800.64 c 3238 9010 4846 370705 76 60102 266369 3238 1814 1.78 1799.97/1800.64 c 4960 9010 6568 586403 89 63548 293006 4960 2020 2.46 1799.97/1800.64 c 7544 9010 9152 907806 99 68711 322307 7544 1799 4.19 1799.97/1800.64 c 11423 9010 13031 1391904 106 76457 354538 11423 1323 8.63 1799.97/1800.64 c 17247 9010 18855 2119925 112 88119 389992 17247 1072 16.09 1799.97/1800.64 c 25984 9010 27592 3212913 116 105577 428992 25984 791 32.84 1799.97/1800.64 c 39094 9010 40702 5124358 125 131692 471892 39094 777 50.27 1799.97/1800.64 c 58766 9010 60374 8359649 138 171028 519082 58766 630 93.19 1799.97/1800.64 c 88276 9010 89884 13238477 147 230056 570991 88276 472 186.68 1799.97/1800.64 c 132546 9010 134154 20553421 153 318588 628091 132546 219 603.85 1799.97/1800.64 c 198956 9010 200564 31526100 157 451420 690901 198956 132 1500.51 1799.97/1800.64 c Resources Exceeded 1799.97/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.64 c 17 214779 268 233640 216387 34140640 214779 119 1800.03 1799.97/1800.64 s UNKNOWN 1799.97/1800.64 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-349559-1176708931 -o ROOT/results/node44/solver-349559-1176708931 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.05 1.00 3/64 9500 /proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=3780 CPUtime=0 /proc/9500/stat : 9500 (bsolo3.0.16) D 9498 9500 9075 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 118804829 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/9500/statm: 945 155 129 324 0 14 0 [startup+0.048093 s] /proc/loadavg: 1.05 1.05 1.00 3/64 9500 /proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=6080 CPUtime=0.03 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 735 0 3 0 3 0 0 0 18 0 1 0 118804829 6225920 706 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 1520 706 351 324 0 361 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6080 [startup+0.101098 s] /proc/loadavg: 1.05 1.05 1.00 3/64 9500 /proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=6612 CPUtime=0.09 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 965 0 3 0 9 0 0 0 18 0 1 0 118804829 6770688 936 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 1653 936 436 324 0 494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6612 [startup+0.301119 s] /proc/loadavg: 1.05 1.05 1.00 3/64 9500 /proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=8704 CPUtime=0.28 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 1763 0 3 0 27 1 0 0 19 0 1 0 118804829 8912896 1506 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 2176 1506 306 324 0 1245 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8704 [startup+0.70116 s] /proc/loadavg: 1.05 1.05 1.00 3/64 9500 /proc/meminfo: memFree=1674304/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=8704 CPUtime=0.68 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 1764 0 3 0 67 1 0 0 22 0 1 0 118804829 8912896 1507 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 2176 1507 306 324 0 1245 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8704 [startup+1.50124 s] /proc/loadavg: 1.05 1.05 1.00 2/65 9501 /proc/meminfo: memFree=1668088/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=10888 CPUtime=1.48 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 2593 0 3 0 146 2 0 0 25 0 1 0 118804829 11149312 2063 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 2722 2063 312 324 0 1791 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10888 [startup+3.10141 s] /proc/loadavg: 1.05 1.05 1.00 2/65 9501 /proc/meminfo: memFree=1662776/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=17448 CPUtime=3.09 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 4242 0 3 0 305 4 0 0 25 0 1 0 118804829 17866752 3712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 4362 3712 312 324 0 3431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17448 [startup+6.30173 s] /proc/loadavg: 1.04 1.05 1.00 2/65 9501 /proc/meminfo: memFree=1654776/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=23900 CPUtime=6.28 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 5840 0 3 0 623 5 0 0 25 0 1 0 118804829 24473600 5310 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 5975 5310 312 324 0 5044 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23900 [startup+12.7014 s] /proc/loadavg: 1.04 1.04 1.00 2/65 9501 /proc/meminfo: memFree=1645560/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=32672 CPUtime=12.67 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 8033 0 3 0 1260 7 0 0 25 0 1 0 118804829 33456128 7503 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 8168 7503 312 324 0 7237 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 32672 [startup+25.5017 s] /proc/loadavg: 1.03 1.04 1.00 2/65 9501 /proc/meminfo: memFree=1632376/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=45184 CPUtime=25.47 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 11175 0 3 0 2535 12 0 0 25 0 1 0 118804829 46268416 10645 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 11296 10645 312 324 0 10365 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 45184 [startup+51.1013 s] /proc/loadavg: 1.02 1.04 1.00 2/65 9501 /proc/meminfo: memFree=1599416/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=79196 CPUtime=51.06 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 19650 0 3 0 5086 20 0 0 25 0 1 0 118804829 81096704 19120 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 19799 19120 312 324 0 18868 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 79196 [startup+102.306 s] /proc/loadavg: 1.01 1.03 1.00 2/65 9501 /proc/meminfo: memFree=1543032/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=134280 CPUtime=102.25 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 33438 0 3 0 10189 36 0 0 25 0 1 0 118804829 137502720 32908 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 33570 32908 312 324 0 32639 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 134280 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9501 /proc/meminfo: memFree=1501880/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=175576 CPUtime=162.22 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 43750 0 3 0 16172 50 0 0 25 0 1 0 118804829 179789824 43220 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11722469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 43894 43220 312 324 0 42963 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 175576 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9503 /proc/meminfo: memFree=1479544/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=197428 CPUtime=222.21 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 49211 0 3 0 22161 60 0 0 25 0 1 0 118804829 202166272 48681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 49357 48681 312 324 0 48426 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 197428 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9503 /proc/meminfo: memFree=1462264/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=214904 CPUtime=282.19 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 53581 0 3 0 28152 67 0 0 25 0 1 0 118804829 220061696 53051 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 53726 53051 312 324 0 52795 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 214904 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1446712/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=230056 CPUtime=342.17 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 57386 0 3 0 34145 72 0 0 25 0 1 0 118804829 235577344 56856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 57514 56856 312 324 0 56583 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 230056 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1433400/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=243544 CPUtime=402.15 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 60744 0 3 0 40137 78 0 0 25 0 1 0 118804829 249389056 60214 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 60886 60214 312 324 0 59955 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 243544 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1419704/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=257296 CPUtime=462.14 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 64184 0 3 0 46131 83 0 0 25 0 1 0 118804829 263471104 63654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 64324 63654 312 324 0 63393 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 257296 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1408504/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=268488 CPUtime=522.12 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 67004 0 3 0 52125 87 0 0 25 0 1 0 118804829 274931712 66474 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 67122 66474 312 324 0 66191 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 268488 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1397240/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=279676 CPUtime=582.11 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 69778 0 3 0 58120 91 0 0 25 0 1 0 118804829 286388224 69248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 69919 69248 312 324 0 68988 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 279676 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1384760/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=291880 CPUtime=642.1 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 72842 0 3 0 64114 96 0 0 25 0 1 0 118804829 298885120 72312 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 72970 72312 312 324 0 72039 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 291880 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1331832/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=344708 CPUtime=882.02 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 86050 0 3 0 88083 119 0 0 25 0 1 0 118804829 352980992 85520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 86177 85520 312 324 0 85246 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 344708 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1321656/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=354992 CPUtime=942.01 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 88608 0 3 0 94078 123 0 0 25 0 1 0 118804829 363511808 88078 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 88748 88078 312 324 0 87817 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 354992 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1311160/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=365276 CPUtime=1001.99 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 91200 0 3 0 100072 127 0 0 25 0 1 0 118804829 374042624 90670 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 91319 90670 312 324 0 90388 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 365276 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1302712/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=373772 CPUtime=1061.97 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 93319 0 3 0 106066 131 0 0 25 0 1 0 118804829 382742528 92789 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 93443 92789 312 324 0 92512 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 373772 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1293624/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=382772 CPUtime=1121.95 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 95565 0 3 0 112060 135 0 0 25 0 1 0 118804829 391958528 95035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 95693 95035 312 324 0 94762 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 382772 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1284152/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=392276 CPUtime=1181.94 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 97941 0 3 0 118055 139 0 0 25 0 1 0 118804829 401690624 97411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 98069 97411 312 324 0 97138 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 392276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1275576/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=400768 CPUtime=1241.92 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 100056 0 3 0 124050 142 0 0 25 0 1 0 118804829 410386432 99526 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 100192 99526 312 324 0 99261 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 400768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1269112/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=407192 CPUtime=1301.91 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 101658 0 3 0 130046 145 0 0 25 0 1 0 118804829 416964608 101128 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 101798 101128 312 324 0 100867 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 407192 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1262072/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=414260 CPUtime=1361.89 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 103423 0 3 0 136040 149 0 0 25 0 1 0 118804829 424202240 102893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 103565 102893 312 324 0 102634 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 414260 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1254584/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=421584 CPUtime=1421.87 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 105276 0 3 0 142036 151 0 0 25 0 1 0 118804829 431702016 104746 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 105396 104746 312 324 0 104465 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 421584 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9503 /proc/meminfo: memFree=1247288/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=428908 CPUtime=1481.86 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 107104 0 3 0 148031 155 0 0 25 0 1 0 118804829 439201792 106574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 107227 106574 312 324 0 106296 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 428908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 9585 /proc/meminfo: memFree=1239480/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=435464 CPUtime=1541.8 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 108724 0 3 0 154023 157 0 0 25 0 1 0 118804829 445915136 108194 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 108866 108194 312 324 0 107935 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 435464 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9701 /proc/meminfo: memFree=1232632/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=443304 CPUtime=1601.73 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 110692 0 3 0 160012 161 0 0 25 0 1 0 118804829 453943296 110162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 110826 110162 312 324 0 109895 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 443304 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9701 /proc/meminfo: memFree=1224632/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=451272 CPUtime=1661.71 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 112689 0 3 0 166007 164 0 0 25 0 1 0 118804829 462102528 112159 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 112818 112159 312 324 0 111887 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 451272 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9701 /proc/meminfo: memFree=1218104/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=457824 CPUtime=1721.69 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 114334 0 3 0 172002 167 0 0 25 0 1 0 118804829 468811776 113804 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 114456 113804 312 324 0 113525 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 457824 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9701 /proc/meminfo: memFree=1211704/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=464128 CPUtime=1781.68 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194304 115913 0 3 0 177998 170 0 0 25 0 1 0 118804829 475267072 115383 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 116032 115383 312 324 0 115101 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 464128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9701 /proc/meminfo: memFree=1560824/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=0 CPUtime=1800.07 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194308 116407 0 3 0 179830 177 0 0 25 0 1 0 118804829 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9701 /proc/meminfo: memFree=1560824/2055920 swapFree=4184652/4192956 [pid=9500] ppid=9498 vsize=0 CPUtime=1800.07 /proc/9500/stat : 9500 (bsolo3.0.16) R 9498 9500 9075 0 -1 4194308 116407 0 3 0 179830 177 0 0 25 0 1 0 118804829 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9500/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1798.31 CPU system time (s): 1.79273 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 466184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.31 system time used= 1.79273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116407 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 3463 runsolver used 1.17782 second user time and 3.82042 second system time The end
Begin job on node44 on Mon Apr 16 07:35:31 UTC 2007 IDJOB= 349559 IDBENCH= 2521 IDSOLVER= 163 FILE ID= node44/349559-1176708931 PBS_JOBID= 4560066 Free space on /tmp= 66463 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-349559-1176708931 -o ROOT/results/node44/solver-349559-1176708931 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349559-1176708931/instance-349559-1176708931.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 158d85b2efcaf56eab2db834482aadfb RANDOM SEED= 293683483 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1674712 kB Buffers: 17868 kB Cached: 296236 kB SwapCached: 2232 kB Active: 147856 kB Inactive: 176376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1674712 kB SwapTotal: 4192956 kB SwapFree: 4184652 kB Dirty: 5300 kB Writeback: 0 kB Mapped: 17128 kB Slab: 42984 kB Committed_AS: 290732 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66463 MiB End job on node44 on Mon Apr 16 08:05:34 UTC 2007