Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.19 | 1800.88 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb |
MD5SUM | 84033421910bbd4d66297a25db66c955 |
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 | 27888 |
Total number of constraints | 874 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 874 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 246 |
Number of terms in the objective function | 27836 |
Biggest coefficient in the objective function | 698469056512 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 44081965661371 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 698469056512 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 44081965661371 |
Number of bits of the biggest sum of numbers | 46 |
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.11 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.11 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.11 c type "bsolo -h" for help 0.00/0.11 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.11 c Time Limit set to 1800 0.00/0.11 c Memory Limit set to 1800 MB 0.00/0.11 c Instance file /tmp/evaluation/349479-1176702585/instance-349479-1176702585.opb 0.00/0.11 c File size is 1282154 bytes. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.18 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.19 c Coefficients are big enough for not using lower bounding. 0.00/0.20 c Coefficients are big enough for not using lower bounding. 0.00/0.20 c Coefficients are big enough for not using lower bounding. 0.00/0.20 c Coefficients are big enough for not using lower bounding. 0.00/0.20 c Coefficients are big enough for not using lower bounding. 0.00/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.21 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.22 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.23 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.24 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.25 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.26 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.27 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.28 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.29 c Coefficients are big enough for not using lower bounding. 0.09/0.30 c Coefficients are big enough for not using lower bounding. 0.09/0.30 c Coefficients are big enough for not using lower bounding. 0.09/0.30 c Coefficients are big enough for not using lower bounding. 0.09/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.30 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Coefficients are big enough for not using lower bounding. 0.18/0.31 c Highest Coefficient sum: 4.4082e+13 0.18/0.31 c Parsing was ok!! 0.18/0.31 c Total parsing time: 0.197 s 0.18/0.32 c Var: 27888 Constr: 1422 16/0/1406 Lit: 116461 Watch. Lit: 13813 0.18/0.32 c Obj. Vars: 27836 (99.8135 % of total variables) 0.38/0.50 c Pre-processing Time: 0.393 s 1800.01/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.70 c 0 25444 1360 110375 81 26041 220750 0 0 0.39 1800.01/1800.70 c 100 25444 1460 122607 83 88321 242826 100 202 0.49 1800.01/1800.70 c 250 25444 1610 138320 85 87219 267109 250 441 0.57 1800.01/1800.70 c 477 25444 1837 167260 91 88806 293820 477 723 0.66 1800.01/1800.70 c 815 25444 2175 284580 130 89138 323203 815 944 0.86 1800.01/1800.70 c 1324 25444 2684 401973 149 89513 355524 1324 1275 1.04 1800.01/1800.70 c 2087 25444 3447 464569 134 90757 391077 2087 1003 2.08 1800.01/1800.70 c 3234 25444 4594 607002 132 93285 430185 3234 1422 2.27 1800.01/1800.70 c 4955 25443 6315 734685 116 96465 473204 4955 1844 2.69 1800.01/1800.70 c 7539 25443 8899 1080040 121 101068 520525 7539 2413 3.12 1800.01/1800.70 c 11418 25443 12778 1504753 117 108808 572578 11418 2966 3.85 1800.01/1800.70 c 17240 25443 18600 2425180 130 121228 629836 17240 2620 6.58 1800.01/1800.70 c 25977 25441 27337 3138320 114 138825 692820 25977 2778 9.35 1800.01/1800.70 c 39087 25441 40447 5902120 145 164664 762103 39087 2006 19.48 1800.01/1800.70 c 58757 25441 60117 10346771 172 202899 838314 58757 1588 36.98 1800.01/1800.70 c 88268 25441 89628 13514224 150 261627 922146 88268 1583 55.73 1800.01/1800.70 c 132539 25441 133899 21266668 158 349439 500000 132539 641 206.51 1800.01/1800.70 c 198950 25441 200310 25644327 128 482429 550001 198950 712 279.33 1800.01/1800.70 c 298570 25441 299930 39116835 130 681657 605002 298570 364 819.55 1800.01/1800.70 c 448005 25441 449365 55617416 123 982490 665503 448005 385 1160.80 1800.01/1800.70 c Resources Exceeded 1800.01/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.70 c 19 555399 5463 1012289 556759 83471633 555399 308 1800.01 1800.01/1800.70 s UNKNOWN 1800.01/1800.70 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-349479-1176702585 -o ROOT/results/node74/solver-349479-1176702585 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349479-1176702585/instance-349479-1176702585.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.58 1.31 1.11 3/66 2585 /proc/meminfo: memFree=1981200/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=18568 CPUtime=0 /proc/2585/stat : 2585 (runsolver) D 2583 2585 2525 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 118173249 19013632 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 228774702375 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/2585/statm: 4642 292 257 24 0 2626 0 [startup+0.035037 s] /proc/loadavg: 1.58 1.31 1.11 3/66 2585 /proc/meminfo: memFree=1981200/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=2332 CPUtime=0 /proc/2585/stat : 2585 (bsolo3.0.16) D 2583 2585 2525 0 -1 4194304 45 0 2 0 0 0 0 0 18 0 1 0 118173249 2387968 30 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9757476 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/2585/statm: 583 30 22 324 0 8 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.101052 s] /proc/loadavg: 1.58 1.31 1.11 3/66 2585 /proc/meminfo: memFree=1981200/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=3780 CPUtime=0 /proc/2585/stat : 2585 (bsolo3.0.16) D 2583 2585 2525 0 -1 4194304 163 0 7 0 0 0 0 0 18 0 1 0 118173249 3870720 138 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10570048 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/2585/statm: 945 138 114 324 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3780 [startup+0.301073 s] /proc/loadavg: 1.58 1.31 1.11 3/66 2585 /proc/meminfo: memFree=1981200/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=9108 CPUtime=0.18 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 1634 0 16 0 17 1 0 0 18 0 1 0 118173249 9326592 1578 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10223202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2585/statm: 2277 1578 581 324 0 1032 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 9108 [startup+0.701118 s] /proc/loadavg: 1.58 1.31 1.11 3/66 2585 /proc/meminfo: memFree=1981200/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=12772 CPUtime=0.58 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 3216 0 17 0 50 8 0 0 22 0 1 0 118173249 13078528 2519 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2585/statm: 3193 2519 312 324 0 2262 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 12772 [startup+1.5012 s] /proc/loadavg: 1.58 1.31 1.11 2/67 2586 /proc/meminfo: memFree=1968328/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=16276 CPUtime=1.38 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 4102 0 17 0 126 12 0 0 25 0 1 0 118173249 16666624 3405 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 4069 3405 312 324 0 3138 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 16276 [startup+3.10139 s] /proc/loadavg: 1.53 1.30 1.11 2/67 2586 /proc/meminfo: memFree=1966408/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=24048 CPUtime=2.98 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 6021 0 17 0 280 18 0 0 25 0 1 0 118173249 24625152 5324 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 6012 5324 312 324 0 5081 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 24048 [startup+6.30176 s] /proc/loadavg: 1.53 1.30 1.11 2/67 2586 /proc/meminfo: memFree=1942600/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=42896 CPUtime=6.18 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 10746 0 17 0 595 23 0 0 25 0 1 0 118173249 43925504 10049 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 10724 10049 312 324 0 9793 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 42896 [startup+12.7015 s] /proc/loadavg: 1.45 1.29 1.11 2/67 2586 /proc/meminfo: memFree=1914568/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=71836 CPUtime=12.58 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 17996 0 17 0 1227 31 0 0 25 0 1 0 118173249 73560064 17299 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 17959 17299 312 324 0 17028 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 71836 [startup+25.502 s] /proc/loadavg: 1.38 1.28 1.11 2/67 2586 /proc/meminfo: memFree=1857288/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=126288 CPUtime=25.37 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 31605 0 17 0 2496 41 0 0 25 0 1 0 118173249 129318912 30908 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 31572 30908 312 324 0 30641 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 126288 [startup+51.1019 s] /proc/loadavg: 1.25 1.26 1.10 2/67 2586 /proc/meminfo: memFree=1799176/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=184936 CPUtime=50.96 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 46258 0 17 0 5043 53 0 0 25 0 1 0 118173249 189374464 45561 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 46234 45561 312 324 0 45303 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 184936 [startup+102.306 s] /proc/loadavg: 1.10 1.21 1.09 2/67 2586 /proc/meminfo: memFree=1736392/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=246456 CPUtime=102.16 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 61646 0 17 0 10144 72 0 0 25 0 1 0 118173249 252370944 60949 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 61614 60949 312 324 0 60683 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 246456 [startup+162.302 s] /proc/loadavg: 1.03 1.17 1.09 2/67 2586 /proc/meminfo: memFree=1702728/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=280256 CPUtime=162.13 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 70090 0 17 0 16131 82 0 0 25 0 1 0 118173249 286982144 69393 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 70064 69393 312 324 0 69133 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 280256 [startup+222.302 s] /proc/loadavg: 1.01 1.14 1.08 2/67 2586 /proc/meminfo: memFree=1654920/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=328256 CPUtime=222.12 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 82097 0 17 0 22111 101 0 0 25 0 1 0 118173249 336134144 81400 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 82064 81400 312 324 0 81133 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 328256 [startup+282.302 s] /proc/loadavg: 1.00 1.11 1.07 2/67 2586 /proc/meminfo: memFree=1614088/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=370320 CPUtime=282.11 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 92620 0 17 0 28096 115 0 0 25 0 1 0 118173249 379207680 91923 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 92580 91923 312 324 0 91649 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 370320 [startup+342.302 s] /proc/loadavg: 1.00 1.09 1.07 2/67 2586 /proc/meminfo: memFree=1562632/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=419672 CPUtime=342.08 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 104964 0 17 0 34080 128 0 0 25 0 1 0 118173249 429744128 104267 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 104918 104267 312 324 0 103987 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 419672 [startup+402.302 s] /proc/loadavg: 1.00 1.07 1.06 2/67 2586 /proc/meminfo: memFree=1540488/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=442008 CPUtime=402.07 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 110524 0 17 0 40071 136 0 0 25 0 1 0 118173249 452616192 109827 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 110502 109827 312 324 0 109571 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 442008 [startup+462.301 s] /proc/loadavg: 1.00 1.05 1.06 2/67 2586 /proc/meminfo: memFree=1519816/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=462356 CPUtime=462.05 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 115616 0 17 0 46061 144 0 0 25 0 1 0 118173249 473452544 114919 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 115589 114919 312 324 0 114658 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 462356 [startup+522.301 s] /proc/loadavg: 1.00 1.04 1.05 2/67 2586 /proc/meminfo: memFree=1500680/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=481404 CPUtime=522.04 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 120381 0 17 0 52052 152 0 0 25 0 1 0 118173249 492957696 119684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 120351 119684 312 324 0 119420 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 481404 [startup+582.301 s] /proc/loadavg: 1.00 1.03 1.04 2/67 2586 /proc/meminfo: memFree=1488328/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=493616 CPUtime=582.02 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 123450 0 17 0 58045 157 0 0 25 0 1 0 118173249 505462784 122753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 123404 122753 312 324 0 122473 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 493616 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.04 2/67 2586 /proc/meminfo: memFree=1476296/2055920 swapFree=4182940/4192956 [pid=2585] ppid=2583 vsize=505576 CPUtime=642.01 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 126414 0 17 0 64039 162 0 0 25 0 1 0 118173249 517709824 125717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 126394 125717 312 324 0 125463 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 505576 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.02 2/67 2784 /proc/meminfo: memFree=1351432/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=629136 CPUtime=881.84 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 157312 0 17 0 87985 199 0 0 25 0 1 0 118173249 644235264 156615 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 157284 156615 312 324 0 156353 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 629136 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.01 2/67 2784 /proc/meminfo: memFree=1336392/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=644248 CPUtime=941.83 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 161079 0 17 0 93978 205 0 0 25 0 1 0 118173249 659709952 160382 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 161062 160382 312 324 0 160131 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 644248 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1291784/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=688956 CPUtime=1001.82 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 172271 0 17 0 99962 220 0 0 25 0 1 0 118173249 705490944 171574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 172239 171574 312 324 0 171308 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 688956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1251656/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=729116 CPUtime=1061.8 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 182316 0 17 0 105946 234 0 0 25 0 1 0 118173249 746614784 181619 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 182279 181619 312 324 0 181348 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 729116 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1229128/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=751240 CPUtime=1121.78 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 187848 0 17 0 111933 245 0 0 25 0 1 0 118173249 769269760 187151 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 187810 187151 312 324 0 186879 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 751240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1162248/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=819056 CPUtime=1181.77 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 204795 0 17 0 117915 262 0 0 25 0 1 0 118173249 838713344 204098 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 204764 204098 312 324 0 203833 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 819056 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1108104/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=872348 CPUtime=1241.75 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 218108 0 17 0 123900 275 0 0 25 0 1 0 118173249 893284352 217411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 218087 217411 312 324 0 217156 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 872348 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1071432/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=908448 CPUtime=1301.74 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 227153 0 17 0 129891 283 0 0 25 0 1 0 118173249 930250752 226456 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 227112 226456 312 324 0 226181 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 908448 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1039560/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=940508 CPUtime=1361.72 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 235146 0 17 0 135880 292 0 0 25 0 1 0 118173249 963080192 234449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 235127 234449 312 324 0 234196 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 940508 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=1009096/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=970732 CPUtime=1421.7 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 242723 0 17 0 141871 299 0 0 25 0 1 0 118173249 994029568 242026 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 242683 242026 312 324 0 241752 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 970732 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=973576/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=1006760 CPUtime=1481.69 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 251713 0 17 0 147859 310 0 0 25 0 1 0 118173249 1030922240 251016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 251690 251016 312 324 0 250759 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 1006760 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=938312/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=1041444 CPUtime=1541.67 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 260395 0 17 0 153849 318 0 0 25 0 1 0 118173249 1066438656 259698 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 260361 259698 312 324 0 259430 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 1041444 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=906056/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=1074016 CPUtime=1601.66 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 268527 0 17 0 159842 324 0 0 25 0 1 0 118173249 1099792384 267830 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 268504 267830 312 324 0 267573 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 1074016 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=874632/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=1105176 CPUtime=1661.63 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 276323 0 17 0 165832 331 0 0 25 0 1 0 118173249 1131700224 275626 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 276294 275626 312 324 0 275363 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1105176 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=862984/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=1116656 CPUtime=1721.62 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 279204 0 17 0 171827 335 0 0 25 0 1 0 118173249 1143455744 278507 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 279164 278507 312 324 0 278233 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1116656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=850056/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=1129440 CPUtime=1781.61 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194304 282398 0 17 0 177822 339 0 0 25 0 1 0 118173249 1156546560 281701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 282360 281701 312 324 0 281429 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 1129440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=844616/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=0 CPUtime=1800.01 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194308 283741 0 17 0 179661 340 0 0 25 0 1 0 118173249 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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.81 s] /proc/loadavg: 1.00 1.00 1.00 2/67 2784 /proc/meminfo: memFree=844616/2055920 swapFree=4182964/4192956 [pid=2585] ppid=2583 vsize=0 CPUtime=1800.11 /proc/2585/stat : 2585 (bsolo3.0.16) R 2583 2585 2525 0 -1 4194308 283741 0 17 0 179661 350 0 0 25 0 1 0 118173249 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2585/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.19 CPU user time (s): 1796.61 CPU system time (s): 3.57546 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 1134872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.61 system time used= 3.57546 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283741 page faults= 17 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46 involuntary context switches= 2189 runsolver used 1.92471 second user time and 3.9344 second system time The end
Begin job on node74 on Mon Apr 16 05:49:45 UTC 2007 IDJOB= 349479 IDBENCH= 2447 IDSOLVER= 163 FILE ID= node74/349479-1176702585 PBS_JOBID= 4560046 Free space on /tmp= 103222 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349479-1176702585/instance-349479-1176702585.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-349479-1176702585 -o ROOT/results/node74/solver-349479-1176702585 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349479-1176702585/instance-349479-1176702585.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 84033421910bbd4d66297a25db66c955 RANDOM SEED= 564210718 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1981736 kB Buffers: 2668 kB Cached: 28196 kB SwapCached: 1572 kB Active: 18352 kB Inactive: 20432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1981736 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 6312 kB Writeback: 0 kB Mapped: 14764 kB Slab: 21280 kB Committed_AS: 1920920 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103222 MiB End job on node74 on Mon Apr 16 06:19:48 UTC 2007