Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.11 | 1800.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb |
MD5SUM | 4f19aa044e880280faec0077a2509ba8 |
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 | 4890 |
Total number of constraints | 363 |
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 | 363 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 3930 |
Biggest coefficient in the objective function | 5373004087296 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 556141355997381 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
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.14 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.14 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.14 c type "bsolo -h" for help 0.00/0.14 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.14 c Time Limit set to 1800 0.00/0.14 c Memory Limit set to 1800 MB 0.00/0.14 c Instance file /tmp/evaluation/349494-1176703041/instance-349494-1176703041.opb 0.00/0.14 c File size is 783503 bytes. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 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.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.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.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.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.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.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.20 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.21 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.22 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.23 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.24 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.25 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Coefficients are big enough for not using lower bounding. 0.05/0.26 c Highest Coefficient sum: 4.6272e+16 0.05/0.26 c Parsing was ok!! 0.05/0.26 c Total parsing time: 0.111 s 0.05/0.26 c Var: 4890 Constr: 399 6/0/393 Lit: 56430 Watch. Lit: 31202 0.05/0.26 c Obj. Vars: 3930 (80.3681 % of total variables) 0.15/0.38 c Pre-processing Time: 0.234 s 1799.95/1800.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.76 c 0 2992 175 30930 176 23540 61860 0 0 0.23 1799.95/1800.76 c 101 2992 276 37051 134 24858 68047 101 399 0.25 1799.95/1800.76 c 251 2992 426 50771 119 25900 74852 251 874 0.29 1799.95/1800.76 c 476 2992 651 74393 114 26532 82338 476 950 0.50 1799.95/1800.76 c 815 2992 990 101019 102 27178 90572 815 815 1.00 1799.95/1800.76 c 1325 2992 1500 132970 88 28260 99630 1325 923 1.43 1799.95/1800.76 c 2088 2992 2263 269147 118 29633 109594 2088 1290 1.62 1799.95/1800.76 c 3234 2992 3409 357143 104 31629 120554 3234 1684 1.92 1799.95/1800.76 c 4955 2992 5130 618011 120 35129 132610 4955 2067 2.40 1799.95/1800.76 c 7540 2992 7715 858460 111 40372 145872 7540 2271 3.32 1799.95/1800.76 c 11420 2992 11595 1785632 154 47918 160460 11420 2304 4.96 1799.95/1800.76 c 17243 2992 17418 3136293 180 59531 176507 17243 2377 7.25 1799.95/1800.76 c 25981 2992 26156 5134942 196 76981 194158 25981 2296 11.31 1799.95/1800.76 c 39092 2992 39267 9280399 236 102896 213574 39092 1068 36.58 1799.95/1800.76 c 58763 2992 58938 11667346 197 142219 234932 58763 961 61.10 1799.95/1800.76 c 88275 2991 88450 14412005 162 201043 258426 88275 1060 83.26 1799.95/1800.76 c 132546 2991 132721 17347047 130 289574 284269 132546 746 177.54 1799.95/1800.76 c 198957 2991 199132 23807388 119 422331 312696 198957 756 263.09 1799.95/1800.76 c 298577 2991 298752 42928793 143 621579 343966 298577 174 1707.17 1799.95/1800.76 c Resources Exceeded 1799.95/1800.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.76 c 18 310707 2874 337153 310882 45297812 310707 172 1800.00 1799.95/1800.76 s UNKNOWN 1799.95/1800.76 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-349494-1176703041 -o ROOT/results/node70/solver-349494-1176703041 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349494-1176703041/instance-349494-1176703041.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.30 1.10 1.03 3/64 1720 /proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=18568 CPUtime=0 /proc/1720/stat : 1720 (runsolver) D 1718 1720 577 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 109841441 19013632 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 233402068263 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/1720/statm: 4642 292 257 24 0 2626 0 [startup+0.0448459 s] /proc/loadavg: 1.30 1.10 1.03 3/64 1720 /proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=2380 CPUtime=0 /proc/1720/stat : 1720 (bsolo3.0.16) D 1718 1720 577 0 -1 4194304 52 0 2 0 0 0 0 0 18 0 1 0 109841441 2437120 37 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8413988 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/1720/statm: 595 37 29 324 0 8 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.102851 s] /proc/loadavg: 1.30 1.10 1.03 3/64 1720 /proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=2560 CPUtime=0 /proc/1720/stat : 1720 (bsolo3.0.16) D 1718 1720 577 0 -1 4194304 59 0 3 0 0 0 0 0 18 0 1 0 109841441 2621440 45 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8414116 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/1720/statm: 640 45 35 324 0 8 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2560 [startup+0.302869 s] /proc/loadavg: 1.30 1.10 1.03 3/64 1720 /proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=6372 CPUtime=0.15 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 1147 0 17 0 14 1 0 0 19 0 1 0 109841441 6524928 940 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 1593 940 306 324 0 662 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 6372 [startup+0.702909 s] /proc/loadavg: 1.30 1.10 1.03 3/64 1720 /proc/meminfo: memFree=1985008/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=6400 CPUtime=0.54 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 1198 0 17 0 53 1 0 0 21 0 1 0 109841441 6553600 985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 1600 985 312 324 0 669 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 6400 [startup+1.50199 s] /proc/loadavg: 1.30 1.10 1.03 2/65 1721 /proc/meminfo: memFree=1980008/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=6924 CPUtime=1.34 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 1323 0 17 0 133 1 0 0 25 0 1 0 109841441 7090176 1110 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 1731 1110 312 324 0 800 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 6924 [startup+3.10115 s] /proc/loadavg: 1.30 1.10 1.03 2/65 1721 /proc/meminfo: memFree=1975848/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=16108 CPUtime=2.94 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 3594 0 17 0 291 3 0 0 25 0 1 0 109841441 16494592 3381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 4027 3381 312 324 0 3096 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 16108 [startup+6.30147 s] /proc/loadavg: 1.28 1.10 1.03 2/65 1721 /proc/meminfo: memFree=1953576/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=39772 CPUtime=6.14 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 9531 0 17 0 608 6 0 0 25 0 1 0 109841441 40726528 9318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 9943 9318 312 324 0 9012 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 39772 [startup+12.7011 s] /proc/loadavg: 1.25 1.10 1.03 2/65 1721 /proc/meminfo: memFree=1912056/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=75544 CPUtime=12.55 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 18481 0 17 0 1244 11 0 0 25 0 1 0 109841441 77357056 18268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 18886 18268 312 324 0 17955 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 75544 [startup+25.5014 s] /proc/loadavg: 1.20 1.09 1.02 2/65 1721 /proc/meminfo: memFree=1874040/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=113096 CPUtime=25.33 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 27864 0 17 0 2517 16 0 0 25 0 1 0 109841441 115810304 27651 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 28274 27651 312 324 0 27343 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 113096 [startup+51.102 s] /proc/loadavg: 1.13 1.08 1.02 2/65 1721 /proc/meminfo: memFree=1836472/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=150928 CPUtime=50.92 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 37313 0 17 0 5068 24 0 0 25 0 1 0 109841441 154550272 37100 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 37732 37100 312 324 0 36801 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 150928 [startup+102.305 s] /proc/loadavg: 1.05 1.07 1.02 2/65 1721 /proc/meminfo: memFree=1770808/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=215800 CPUtime=102.1 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 53543 0 17 0 10170 40 0 0 25 0 1 0 109841441 220979200 53330 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 53950 53330 312 324 0 53019 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 215800 [startup+162.301 s] /proc/loadavg: 1.02 1.05 1.01 2/65 1721 /proc/meminfo: memFree=1749816/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=236884 CPUtime=162.09 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 58795 0 17 0 16160 49 0 0 25 0 1 0 109841441 242569216 58582 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 59221 58582 312 324 0 58290 0 Current children cumulated CPU time (s) 162.09 Current children cumulated vsize (KiB) 236884 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.00 2/71 1748 /proc/meminfo: memFree=1711864/2055920 swapFree=4176664/4192956 [pid=1720] ppid=1718 vsize=272744 CPUtime=222.06 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 67764 0 17 0 22145 61 0 0 25 0 1 0 109841441 279289856 67551 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 68186 67551 312 324 0 67255 0 Current children cumulated CPU time (s) 222.06 Current children cumulated vsize (KiB) 272744 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/65 1929 /proc/meminfo: memFree=1624992/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=360428 CPUtime=281.96 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 89698 0 17 0 28111 85 0 0 25 0 1 0 109841441 369078272 89485 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 90107 89485 312 324 0 89176 0 Current children cumulated CPU time (s) 281.96 Current children cumulated vsize (KiB) 360428 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1929 /proc/meminfo: memFree=1590968/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=393884 CPUtime=341.94 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 98059 0 17 0 34097 97 0 0 25 0 1 0 109841441 403337216 97846 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8846930 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 98471 97846 312 324 0 97540 0 Current children cumulated CPU time (s) 341.94 Current children cumulated vsize (KiB) 393884 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1929 /proc/meminfo: memFree=1570680/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=414172 CPUtime=401.93 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 103130 0 17 0 40089 104 0 0 25 0 1 0 109841441 424112128 102917 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8847058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 103543 102917 312 324 0 102612 0 Current children cumulated CPU time (s) 401.93 Current children cumulated vsize (KiB) 414172 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1929 /proc/meminfo: memFree=1555384/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=429336 CPUtime=461.9 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 106915 0 17 0 46081 109 0 0 25 0 1 0 109841441 439640064 106702 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 107334 106702 312 324 0 106403 0 Current children cumulated CPU time (s) 461.9 Current children cumulated vsize (KiB) 429336 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1929 /proc/meminfo: memFree=1543288/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=441664 CPUtime=521.9 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 109996 0 17 0 52076 114 0 0 25 0 1 0 109841441 452263936 109783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 110416 109783 312 324 0 109485 0 Current children cumulated CPU time (s) 521.9 Current children cumulated vsize (KiB) 441664 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1532032/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=452724 CPUtime=581.88 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 112776 0 17 0 58070 118 0 0 25 0 1 0 109841441 463589376 112563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 113181 112563 312 324 0 112250 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 452724 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1521920/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=462752 CPUtime=641.86 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 115282 0 17 0 64065 121 0 0 25 0 1 0 109841441 473858048 115069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 115688 115069 312 324 0 114757 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 462752 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1494720/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=489860 CPUtime=821.81 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 122063 0 17 0 82050 131 0 0 25 0 1 0 109841441 501616640 121850 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 122465 121850 312 324 0 121534 0 Current children cumulated CPU time (s) 821.81 Current children cumulated vsize (KiB) 489860 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1486144/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=498340 CPUtime=881.8 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 124178 0 17 0 88046 134 0 0 25 0 1 0 109841441 510300160 123965 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 124585 123965 312 324 0 123654 0 Current children cumulated CPU time (s) 881.8 Current children cumulated vsize (KiB) 498340 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1478208/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=506312 CPUtime=941.78 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 126166 0 17 0 94040 138 0 0 25 0 1 0 109841441 518463488 125953 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 126578 125953 312 324 0 125647 0 Current children cumulated CPU time (s) 941.78 Current children cumulated vsize (KiB) 506312 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1470016/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=514420 CPUtime=1001.76 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 128187 0 17 0 100035 141 0 0 25 0 1 0 109841441 526766080 127974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 128605 127974 312 324 0 127674 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 514420 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1462912/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=521620 CPUtime=1061.75 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 129984 0 17 0 106030 145 0 0 25 0 1 0 109841441 534138880 129771 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 130405 129771 312 324 0 129474 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 521620 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1455808/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=528564 CPUtime=1121.73 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 131735 0 17 0 112025 148 0 0 25 0 1 0 109841441 541249536 131522 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8846868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 132141 131522 312 324 0 131210 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 528564 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1449024/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=535368 CPUtime=1181.71 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 133434 0 17 0 118020 151 0 0 25 0 1 0 109841441 548216832 133221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 133842 133221 312 324 0 132911 0 Current children cumulated CPU time (s) 1181.71 Current children cumulated vsize (KiB) 535368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1442816/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=541556 CPUtime=1241.69 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 134973 0 17 0 124016 153 0 0 25 0 1 0 109841441 554553344 134760 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 135389 134760 312 324 0 134458 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 541556 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1436544/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=547740 CPUtime=1301.68 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 136524 0 17 0 130012 156 0 0 25 0 1 0 109841441 560885760 136311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8846927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 136935 136311 312 324 0 136004 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 547740 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1430656/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=553660 CPUtime=1361.66 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 138009 0 17 0 136008 158 0 0 25 0 1 0 109841441 566947840 137796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 138415 137796 312 324 0 137484 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 553660 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1424640/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=559576 CPUtime=1421.65 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 139485 0 17 0 142005 160 0 0 25 0 1 0 109841441 573005824 139272 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 139894 139272 312 324 0 138963 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 559576 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1419008/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=565228 CPUtime=1481.63 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 140892 0 17 0 148001 162 0 0 25 0 1 0 109841441 578793472 140679 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 141307 140679 312 324 0 140376 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 565228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1413440/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=570636 CPUtime=1541.61 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 142258 0 17 0 153997 164 0 0 25 0 1 0 109841441 584331264 142045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 142659 142045 312 324 0 141728 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 570636 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1408064/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=576164 CPUtime=1601.6 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 143612 0 17 0 159993 167 0 0 25 0 1 0 109841441 589991936 143399 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 144041 143399 312 324 0 143110 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 576164 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1402944/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=581188 CPUtime=1661.57 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 144867 0 17 0 165989 168 0 0 25 0 1 0 109841441 595136512 144654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 145297 144654 312 324 0 144366 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 581188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1394048/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=590332 CPUtime=1721.56 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 147155 0 17 0 171984 172 0 0 25 0 1 0 109841441 604499968 146942 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 147583 146942 312 324 0 146652 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 590332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1373504/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=610556 CPUtime=1781.54 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194304 152230 0 17 0 177976 178 0 0 25 0 1 0 109841441 625209344 152017 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 152639 152017 312 324 0 151708 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 610556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1929 /proc/meminfo: memFree=1622528/2055920 swapFree=4176688/4192956 [pid=1720] ppid=1718 vsize=0 CPUtime=1800.04 /proc/1720/stat : 1720 (bsolo3.0.16) R 1718 1720 577 0 -1 4194308 153665 0 17 0 179820 184 0 0 25 0 1 0 109841441 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1720/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.11 CPU user time (s): 1798.21 CPU system time (s): 1.89871 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 616344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 1.89871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 153665 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= 4973 runsolver used 1.19982 second user time and 3.78642 second system time The end
Begin job on node70 on Mon Apr 16 05:57:21 UTC 2007 IDJOB= 349494 IDBENCH= 2457 IDSOLVER= 163 FILE ID= node70/349494-1176703041 PBS_JOBID= 4560016 Free space on /tmp= 66545 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-agg.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349494-1176703041/instance-349494-1176703041.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-349494-1176703041 -o ROOT/results/node70/solver-349494-1176703041 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349494-1176703041/instance-349494-1176703041.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4f19aa044e880280faec0077a2509ba8 RANDOM SEED= 790517776 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1985416 kB Buffers: 2280 kB Cached: 25000 kB SwapCached: 5496 kB Active: 17040 kB Inactive: 16776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1985416 kB SwapTotal: 4192956 kB SwapFree: 4176664 kB Dirty: 5912 kB Writeback: 0 kB Mapped: 10064 kB Slab: 22748 kB Committed_AS: 2396700 kB PageTables: 1400 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= 66545 MiB End job on node70 on Mon Apr 16 06:27:24 UTC 2007