Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.09 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-roll3000.opb |
MD5SUM | 553e03f28bab227c11d33a47edd1fb32 |
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 | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2123511627775 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349544-1176707369/instance-349544-1176707369.opb 0.00/0.00 c File size is 939711 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 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.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.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 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.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Highest Coefficient sum: 2.12351e+12 0.09/0.18 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.174 s 0.09/0.20 c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36267 0.09/0.20 c Obj. Vars: 31 (0.348236 % of total variables) 0.98/1.00 c Pre-processing Time: 0.99 s 1799.96/1800.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.64 c 0 5557 2061 98916 47 49514 191658 0 0 0.99 1799.96/1800.64 c 100 5557 2161 101483 46 54725 210824 100 94 1.05 1799.96/1800.64 c 250 5557 2311 107495 46 59010 231907 250 199 1.25 1799.96/1800.64 c 475 5557 2536 113631 44 59136 255098 475 342 1.39 1799.96/1800.64 c 815 5557 2876 134985 46 61322 280608 815 408 2.00 1799.96/1800.64 c 1325 5557 3386 154938 45 61745 308669 1325 538 2.46 1799.96/1800.64 c 2088 5557 4149 187040 45 62904 339536 2088 675 3.09 1799.96/1800.64 c 3235 5557 5296 238705 45 66679 373490 3235 768 4.21 1799.96/1800.64 c 4957 5557 7018 342271 48 69722 410840 4957 690 7.18 1799.96/1800.64 c 7541 5557 9602 427032 44 74223 451925 7541 786 9.58 1799.96/1800.64 c 11420 5557 13481 779287 57 82709 497118 11420 737 15.48 1799.96/1800.64 c 17245 5557 19306 1290043 66 94197 546830 17245 678 25.41 1799.96/1800.64 c 25982 5557 28043 1997209 71 111414 601514 25982 613 42.34 1799.96/1800.64 c 39093 5557 41154 3734955 90 138235 661666 39093 481 81.14 1799.96/1800.64 c 58764 5557 60825 6349680 104 177090 727833 58764 404 145.25 1799.96/1800.64 c 88278 5557 90339 10104058 111 236273 800617 88278 353 250.04 1799.96/1800.64 c 132549 5557 134610 14666876 108 324723 880679 132549 283 467.73 1799.96/1800.64 c 198959 5557 201020 24033287 119 457270 968747 198959 225 883.96 1799.96/1800.64 c Resources Exceeded 1799.96/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.64 c 17 291355 65533 563108 293416 34922208 291355 161 1800.01 1799.96/1800.64 s UNKNOWN 1799.96/1800.64 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/node3/watcher-349544-1176707369 -o ROOT/results/node3/solver-349544-1176707369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349544-1176707369/instance-349544-1176707369.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.01 1.00 3/77 19975 /proc/meminfo: memFree=1852384/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=12656 CPUtime=0 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 146774670 12959744 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 3164 337 282 324 0 2003 0 [startup+0.0379991 s] /proc/loadavg: 0.99 1.01 1.00 3/77 19975 /proc/meminfo: memFree=1852384/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=5708 CPUtime=0.03 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 605 0 0 0 3 0 0 0 18 0 1 0 146774670 5844992 573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 1427 574 324 324 0 266 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5708 [startup+0.102009 s] /proc/loadavg: 0.99 1.01 1.00 3/77 19975 /proc/meminfo: memFree=1852384/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=6364 CPUtime=0.09 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 872 0 0 0 9 0 0 0 18 0 1 0 146774670 6516736 840 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 1591 840 407 324 0 430 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6364 [startup+0.301041 s] /proc/loadavg: 0.99 1.01 1.00 3/77 19975 /proc/meminfo: memFree=1852384/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=8144 CPUtime=0.28 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 1648 0 1 0 28 0 0 0 19 0 1 0 146774670 8339456 1387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 2036 1387 306 324 0 1105 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8144 [startup+0.701105 s] /proc/loadavg: 0.99 1.01 1.00 3/77 19975 /proc/meminfo: memFree=1852384/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=9160 CPUtime=0.67 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 1915 0 1 0 67 0 0 0 22 0 1 0 146774670 9379840 1654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 2290 1654 308 324 0 1359 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9160 [startup+1.50124 s] /proc/loadavg: 0.99 1.01 1.00 2/78 19976 /proc/meminfo: memFree=1846936/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=8492 CPUtime=1.48 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 1931 0 1 0 146 2 0 0 25 0 1 0 146774670 8695808 1468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 2123 1468 312 324 0 1192 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8492 [startup+3.1015 s] /proc/loadavg: 0.99 1.01 1.00 2/78 19976 /proc/meminfo: memFree=1847064/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=9420 CPUtime=3.07 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 2186 0 1 0 305 2 0 0 25 0 1 0 146774670 9646080 1723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 2355 1723 312 324 0 1424 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 9420 [startup+6.30201 s] /proc/loadavg: 0.99 1.01 1.00 2/78 19976 /proc/meminfo: memFree=1844888/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=11380 CPUtime=6.28 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 2662 0 1 0 625 3 0 0 25 0 1 0 146774670 11653120 2199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 2845 2199 312 324 0 1914 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11380 [startup+12.7011 s] /proc/loadavg: 0.99 1.01 1.00 2/78 19976 /proc/meminfo: memFree=1840536/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=15956 CPUtime=12.67 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 3805 0 1 0 1263 4 0 0 25 0 1 0 146774670 16338944 3342 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 3989 3342 312 324 0 3058 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 15956 [startup+25.5011 s] /proc/loadavg: 0.99 1.01 1.00 2/78 19976 /proc/meminfo: memFree=1830808/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=25344 CPUtime=25.46 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 6161 0 1 0 2539 7 0 0 25 0 1 0 146774670 25952256 5698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 6336 5698 312 324 0 5405 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 25344 [startup+51.1013 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1815320/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=41012 CPUtime=51.05 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 10068 0 1 0 5093 12 0 0 25 0 1 0 146774670 41996288 9605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 10253 9605 312 324 0 9322 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 41012 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1785496/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=70480 CPUtime=102.24 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 17439 0 1 0 10201 23 0 0 25 0 1 0 146774670 72171520 16976 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 17620 16976 312 324 0 16689 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 70480 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1752280/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=103824 CPUtime=162.22 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 25776 0 1 0 16187 35 0 0 25 0 1 0 146774670 106315776 25313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 25956 25313 312 324 0 25025 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 103824 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1723800/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=131936 CPUtime=222.19 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 32810 0 1 0 22176 43 0 0 25 0 1 0 146774670 135102464 32347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11366117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 32984 32347 312 324 0 32053 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 131936 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1698264/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=157432 CPUtime=282.18 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 39187 0 1 0 28166 52 0 0 25 0 1 0 146774670 161210368 38724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 39358 38724 312 324 0 38427 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 157432 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1679256/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=176212 CPUtime=342.16 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 43886 0 1 0 34156 60 0 0 25 0 1 0 146774670 180441088 43423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 44053 43423 312 324 0 43122 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 176212 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1665176/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=190380 CPUtime=402.14 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 47431 0 1 0 40148 66 0 0 25 0 1 0 146774670 194949120 46968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 47595 46968 312 324 0 46664 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 190380 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1647960/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=207436 CPUtime=462.12 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 51676 0 1 0 46137 75 0 0 25 0 1 0 146774670 212414464 51213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 51859 51213 312 324 0 50928 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 207436 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1626520/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=229100 CPUtime=522.1 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 57088 0 1 0 52125 85 0 0 25 0 1 0 146774670 234598400 56625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 57275 56625 312 324 0 56344 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 229100 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1605976/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=249168 CPUtime=582.08 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 62128 0 1 0 58115 93 0 0 25 0 1 0 146774670 255148032 61665 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11357906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 62292 61665 312 324 0 61361 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 249168 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1591768/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=263228 CPUtime=642.06 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 65629 0 1 0 64107 99 0 0 25 0 1 0 146774670 269545472 65166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 65807 65166 312 324 0 64876 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 263228 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1519832/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=334936 CPUtime=881.97 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 83545 0 1 0 88070 127 0 0 25 0 1 0 146774670 342974464 83082 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 83734 83082 312 324 0 82803 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 334936 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1507480/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=347380 CPUtime=941.95 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 86654 0 1 0 94063 132 0 0 25 0 1 0 146774670 355717120 86191 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 86845 86191 312 324 0 85914 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 347380 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1494040/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=360608 CPUtime=1001.93 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 89976 0 1 0 100054 139 0 0 25 0 1 0 146774670 369262592 89513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 90152 89513 312 324 0 89221 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 360608 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1479000/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=375652 CPUtime=1061.91 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 93738 0 1 0 106044 147 0 0 25 0 1 0 146774670 384667648 93275 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 93913 93275 312 324 0 92982 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 375652 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1468632/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=385784 CPUtime=1121.89 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 96259 0 1 0 112038 151 0 0 25 0 1 0 146774670 395042816 95796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 96446 95796 312 324 0 95515 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 385784 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1460568/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=393724 CPUtime=1181.87 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 98262 0 1 0 118031 156 0 0 25 0 1 0 146774670 403173376 97799 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 98431 97799 312 324 0 97500 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 393724 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19976 /proc/meminfo: memFree=1451352/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=402840 CPUtime=1241.85 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 100540 0 1 0 124024 161 0 0 25 0 1 0 146774670 412508160 100077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 100710 100077 312 324 0 99779 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 402840 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1442648/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=411408 CPUtime=1301.83 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 102674 0 1 0 130018 165 0 0 25 0 1 0 146774670 421281792 102211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 102852 102211 312 324 0 101921 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 411408 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1434904/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=419188 CPUtime=1361.81 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 104624 0 1 0 136011 170 0 0 25 0 1 0 146774670 429248512 104161 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 104797 104161 312 324 0 103866 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 419188 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1426136/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=427760 CPUtime=1421.8 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 106770 0 1 0 142007 173 0 0 25 0 1 0 146774670 438026240 106307 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 106940 106307 312 324 0 106009 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 427760 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1416472/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=437460 CPUtime=1481.77 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 109200 0 1 0 148001 176 0 0 25 0 1 0 146774670 447959040 108737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 109365 108737 312 324 0 108434 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 437460 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1404824/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=448996 CPUtime=1541.75 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 112061 0 1 0 153994 181 0 0 25 0 1 0 146774670 459771904 111598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 112249 111598 312 324 0 111318 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 448996 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1395928/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=457936 CPUtime=1601.73 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 114302 0 1 0 159989 184 0 0 25 0 1 0 146774670 468926464 113839 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 114484 113839 312 324 0 113553 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 457936 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 19978 /proc/meminfo: memFree=1386584/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=467136 CPUtime=1661.7 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 116596 0 1 0 165982 188 0 0 25 0 1 0 146774670 478347264 116133 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 116784 116133 312 324 0 115853 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 467136 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 19978 /proc/meminfo: memFree=1379032/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=474668 CPUtime=1721.69 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 118481 0 1 0 171976 193 0 0 25 0 1 0 146774670 486060032 118018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 118667 118018 312 324 0 117736 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 474668 [startup+1782.3 s] /proc/loadavg: 1.07 1.03 1.00 2/78 19978 /proc/meminfo: memFree=1371800/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=481684 CPUtime=1781.67 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194304 120242 0 1 0 177971 196 0 0 25 0 1 0 146774670 493244416 119779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/statm: 120421 119779 312 324 0 119490 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 481684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.05 1.02 1.00 2/78 19978 /proc/meminfo: memFree=1771736/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=0 CPUtime=1800.07 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194308 120951 0 1 0 179803 204 0 0 25 0 1 0 146774670 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/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.71 s] /proc/loadavg: 1.05 1.02 1.00 2/78 19978 /proc/meminfo: memFree=1771736/2055920 swapFree=4153660/4192956 [pid=19975] ppid=19973 vsize=0 CPUtime=1800.07 /proc/19975/stat : 19975 (bsolo3.0.16) R 19973 19975 19584 0 -1 4194308 120951 0 1 0 179803 204 0 0 25 0 1 0 146774670 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19975/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.09 CPU user time (s): 1798.03 CPU system time (s): 2.05269 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 484552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.03 system time used= 2.05269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120951 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 37963 runsolver used 2.18467 second user time and 4.24535 second system time The end
Begin job on node3 on Mon Apr 16 07:09:29 UTC 2007 IDJOB= 349544 IDBENCH= 2508 IDSOLVER= 163 FILE ID= node3/349544-1176707369 PBS_JOBID= 4559438 Free space on /tmp= 66503 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-roll3000.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349544-1176707369/instance-349544-1176707369.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-349544-1176707369 -o ROOT/results/node3/solver-349544-1176707369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349544-1176707369/instance-349544-1176707369.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 553e03f28bab227c11d33a47edd1fb32 RANDOM SEED= 956764233 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1852792 kB Buffers: 14784 kB Cached: 116840 kB SwapCached: 2200 kB Active: 93304 kB Inactive: 61692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852792 kB SwapTotal: 4192956 kB SwapFree: 4153660 kB Dirty: 5328 kB Writeback: 0 kB Mapped: 31188 kB Slab: 33620 kB Committed_AS: 5152256 kB PageTables: 1780 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= 66503 MiB End job on node3 on Mon Apr 16 07:39:32 UTC 2007