Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-shell.opb |
MD5SUM | 812fb8d8b2de50e0f82554fbb1bd21a5 |
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 | 45231 |
Total number of constraints | 653 |
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 | 653 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1560 |
Number of terms in the objective function | 39844 |
Biggest coefficient in the objective function | 2101312749568 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 249967315526150 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 2101312749568 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 249967315526150 |
Number of bits of the biggest sum of numbers | 48 |
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/349499-1176703251/instance-349499-1176703251.opb 0.00/0.00 c File size is 1901662 bytes. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.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.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.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.09/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.23 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.24 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.26 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.29 c Coefficients are big enough for not using lower bounding. 0.19/0.30 c Coefficients are big enough for not using lower bounding. 0.19/0.30 c Coefficients are big enough for not using lower bounding. 0.19/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.30 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.31 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.32 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Highest Coefficient sum: 2.49967e+14 0.29/0.33 c Parsing was ok!! 0.29/0.33 c Total parsing time: 0.333 s 0.29/0.35 c Var: 45231 Constr: 1187 0/0/1187 Lit: 184095 Watch. Lit: 37756 0.29/0.35 c Obj. Vars: 39844 (88.09 % of total variables) 0.89/0.93 c Pre-processing Time: 0.935 s 1799.95/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.54 c 0 36183 1079 177393 164 78808 354786 0 0 0.94 1799.95/1800.54 c 100 36183 1179 184899 156 104861 390265 100 69 1.44 1799.95/1800.54 c 251 36183 1330 224334 168 107692 429292 251 145 1.72 1799.95/1800.54 c 477 36183 1556 243582 156 106925 472222 477 271 1.76 1799.95/1800.54 c 816 36183 1895 293902 155 108730 519445 816 444 1.84 1799.95/1800.54 c 1324 36183 2403 638650 265 118175 571390 1324 568 2.33 1799.95/1800.54 c 2089 36183 3168 684354 216 119497 628530 2089 836 2.50 1799.95/1800.54 c 3236 36183 4315 762990 176 121999 691384 3236 1147 2.82 1799.95/1800.54 c 4958 36183 6037 926577 153 125233 760523 4958 1596 3.11 1799.95/1800.54 c 7543 36182 8622 1081082 125 131021 836576 7543 2092 3.60 1799.95/1800.54 c 11423 36182 12502 1256515 100 138861 920234 11423 2556 4.47 1799.95/1800.54 c 17246 36182 18325 1893231 103 151719 500000 17246 2887 5.97 1799.95/1800.54 c 25983 36182 27062 3226143 119 168055 550001 25983 1718 15.12 1799.95/1800.54 c 39093 36181 40172 3810985 94 193987 605002 39093 2162 18.08 1799.95/1800.54 c 58764 36181 59843 4792455 80 233014 665503 58764 2073 28.33 1799.95/1800.54 c 88274 36181 89353 6213611 69 296124 732054 88274 1345 65.63 1799.95/1800.54 c 132545 36181 133624 8209910 61 385011 805260 132545 1396 94.88 1799.95/1800.54 c 198955 36181 200034 13034547 65 520218 885787 198955 862 230.80 1799.95/1800.54 c 298577 36181 299656 19142624 63 719438 974366 298577 631 472.61 1799.95/1800.54 c 448013 36181 449092 24322472 54 1017206 500000 448013 400 1119.30 1799.95/1800.54 c Resources Exceeded 1799.95/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.54 c 19 639294 12233 1952827 143452 10245319 142373 355 1800.00 1799.95/1800.54 s UNKNOWN 1799.95/1800.54 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/node15/watcher-349499-1176703251 -o ROOT/results/node15/solver-349499-1176703251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349499-1176703251/instance-349499-1176703251.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.02 1.00 3/77 21661 /proc/meminfo: memFree=1839160/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=13596 CPUtime=0 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 118242706 13922304 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 3399 337 282 324 0 2003 0 [startup+0.079862 s] /proc/loadavg: 0.99 1.02 1.00 3/77 21661 /proc/meminfo: memFree=1839160/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=15968 CPUtime=0.07 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 1130 0 0 0 7 0 0 0 18 0 1 0 118242706 16351232 1058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 3992 1058 415 324 0 2596 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15968 [startup+0.101864 s] /proc/loadavg: 0.99 1.02 1.00 3/77 21661 /proc/meminfo: memFree=1839160/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=9528 CPUtime=0.09 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 1518 0 0 0 9 0 0 0 18 0 1 0 118242706 9756672 1367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 2382 1368 447 324 0 986 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9528 [startup+0.301883 s] /proc/loadavg: 0.99 1.02 1.00 3/77 21661 /proc/meminfo: memFree=1839160/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=11640 CPUtime=0.29 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 2313 0 0 0 28 1 0 0 19 0 1 0 118242706 11919360 2162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7934393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 2910 2163 702 324 0 1514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11640 [startup+0.70192 s] /proc/loadavg: 0.99 1.02 1.00 3/77 21661 /proc/meminfo: memFree=1839160/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=17888 CPUtime=0.69 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 4811 0 0 0 64 5 0 0 22 0 1 0 118242706 18317312 3674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 4472 3674 308 324 0 3541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17888 [startup+1.50199 s] /proc/loadavg: 0.99 1.02 1.00 2/78 21662 /proc/meminfo: memFree=1825520/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=17888 CPUtime=1.49 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 4824 0 0 0 141 8 0 0 25 0 1 0 118242706 18317312 3687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 4472 3687 312 324 0 3541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17888 [startup+3.10114 s] /proc/loadavg: 0.99 1.02 1.00 2/78 21662 /proc/meminfo: memFree=1822896/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=26236 CPUtime=3.09 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 6939 0 0 0 298 11 0 0 25 0 1 0 118242706 26865664 5802 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 6559 5802 312 324 0 5628 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26236 [startup+6.30243 s] /proc/loadavg: 0.99 1.02 1.00 2/78 21662 /proc/meminfo: memFree=1806064/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=41132 CPUtime=6.29 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 10640 0 0 0 613 16 0 0 25 0 1 0 118242706 42119168 9503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 10283 9503 312 324 0 9352 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41132 [startup+12.702 s] /proc/loadavg: 0.99 1.02 1.00 2/84 21688 /proc/meminfo: memFree=1786752/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=55820 CPUtime=12.66 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 14327 0 0 0 1248 18 0 0 25 0 1 0 118242706 57159680 13190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21661/statm: 13955 13190 312 324 0 13024 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 55820 [startup+25.5012 s] /proc/loadavg: 0.99 1.02 1.00 2/84 21752 /proc/meminfo: memFree=1762304/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=79720 CPUtime=25.44 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 20311 0 0 0 2515 29 0 0 25 0 1 0 118242706 81633280 19174 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7945984 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 19930 19174 312 324 0 18999 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 79720 [startup+51.1015 s] /proc/loadavg: 0.99 1.01 1.00 2/84 21830 /proc/meminfo: memFree=1742464/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=99296 CPUtime=50.99 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 25218 0 0 0 5062 37 0 0 25 0 1 0 118242706 101679104 24081 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 24824 24081 312 324 0 23893 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 99296 [startup+102.305 s] /proc/loadavg: 0.99 1.01 1.00 2/78 21860 /proc/meminfo: memFree=1694832/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=148056 CPUtime=102.16 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 37382 0 0 0 10148 68 0 0 25 0 1 0 118242706 151609344 36245 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 37014 36245 312 324 0 36083 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 148056 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1667696/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=175164 CPUtime=162.15 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 44169 0 0 0 16135 80 0 0 25 0 1 0 118242706 179367936 43032 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 43791 43032 312 324 0 42860 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 175164 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1643184/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=199400 CPUtime=222.13 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 50244 0 0 0 22123 90 0 0 25 0 1 0 118242706 204185600 49107 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 49850 49107 312 324 0 48919 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 199400 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1598448/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=244096 CPUtime=282.12 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 61418 0 0 0 28102 110 0 0 25 0 1 0 118242706 249954304 60281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 61024 60281 312 324 0 60093 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 244096 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1581040/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=261328 CPUtime=342.1 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 65726 0 0 0 34092 118 0 0 25 0 1 0 118242706 267599872 64589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 65332 64589 312 324 0 64401 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 261328 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1565936/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=276612 CPUtime=402.09 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 69544 0 0 0 40083 126 0 0 25 0 1 0 118242706 283250688 68407 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 69153 68407 312 324 0 68222 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 276612 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1552944/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=289436 CPUtime=462.07 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 72740 0 0 0 46075 132 0 0 25 0 1 0 118242706 296382464 71603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 72359 71603 312 324 0 71428 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 289436 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1516080/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=326284 CPUtime=522.05 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 81950 0 0 0 52047 158 0 0 25 0 1 0 118242706 334114816 80813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 81571 80813 312 324 0 80640 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 326284 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1508144/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=334100 CPUtime=582.04 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 83903 0 0 0 58039 165 0 0 25 0 1 0 118242706 342118400 82766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 83525 82767 312 324 0 82594 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 334100 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1501872/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=340204 CPUtime=642.04 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 85447 0 0 0 64033 171 0 0 25 0 1 0 118242706 348368896 84310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 85051 84310 312 324 0 84120 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 340204 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1485488/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=356580 CPUtime=821.98 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 89516 0 0 0 82013 185 0 0 25 0 1 0 118242706 365137920 88379 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 89145 88379 312 324 0 88214 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 356580 [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1481328/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=360736 CPUtime=881.97 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 90555 0 0 0 88008 189 0 0 25 0 1 0 118242706 369393664 89418 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 90184 89418 312 324 0 89253 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 360736 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1477488/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=364504 CPUtime=941.95 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 91515 0 0 0 94003 192 0 0 25 0 1 0 118242706 373252096 90378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 91126 90378 312 324 0 90195 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 364504 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1473776/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=368132 CPUtime=1001.94 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 92423 0 0 0 99998 196 0 0 25 0 1 0 118242706 376967168 91286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 92033 91286 312 324 0 91102 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 368132 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 3/78 21860 /proc/meminfo: memFree=1470384/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=371628 CPUtime=1061.92 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 93283 0 0 0 105993 199 0 0 25 0 1 0 118242706 380547072 92146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 92907 92146 312 324 0 91976 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 371628 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1462128/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=380740 CPUtime=1121.91 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 95557 0 0 0 111982 209 0 0 25 0 1 0 118242706 389877760 94420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 95185 94420 312 324 0 94254 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 380740 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1435568/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=406396 CPUtime=1181.89 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 101970 0 0 0 117968 221 0 0 25 0 1 0 118242706 416149504 100833 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 101599 100833 312 324 0 100668 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 406396 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1422064/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=419696 CPUtime=1241.88 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 105320 0 0 0 123959 229 0 0 25 0 1 0 118242706 429768704 104183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 104924 104183 312 324 0 103993 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 419696 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.01 2/78 21860 /proc/meminfo: memFree=1416496/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1301.88 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 129955 233 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 425020 [startup+1362.3 s] /proc/loadavg: 1.10 1.03 1.00 2/78 21860 /proc/meminfo: memFree=1416496/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1361.85 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 135952 233 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 425020 [startup+1422.31 s] /proc/loadavg: 1.10 1.04 1.00 2/78 21860 /proc/meminfo: memFree=1416560/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1421.84 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 141951 233 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 425020 [startup+1482.3 s] /proc/loadavg: 1.10 1.04 1.00 2/78 21860 /proc/meminfo: memFree=1416560/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1481.83 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 147949 234 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 425020 [startup+1542.3 s] /proc/loadavg: 1.03 1.03 1.00 2/78 21860 /proc/meminfo: memFree=1416624/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1541.8 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 153946 234 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 425020 [startup+1602.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 21860 /proc/meminfo: memFree=1416624/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1601.79 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 159942 237 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 425020 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 21860 /proc/meminfo: memFree=1416624/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1661.78 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 165936 242 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 425020 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21860 /proc/meminfo: memFree=1416688/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1721.77 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107130 0 0 0 171931 246 0 0 25 0 1 0 118242706 435220480 105494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105494 312 324 0 105324 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 425020 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21860 /proc/meminfo: memFree=1416624/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=425020 CPUtime=1781.75 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194304 107132 0 0 0 177889 286 0 0 25 0 1 0 118242706 435220480 105496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7954162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 106255 105496 312 324 0 105324 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 425020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21860 /proc/meminfo: memFree=1766256/2055920 swapFree=4169120/4192956 [pid=21661] ppid=21659 vsize=0 CPUtime=1800.06 /proc/21661/stat : 21661 (bsolo3.0.16) R 21659 21661 21447 0 -1 4194308 107133 0 0 0 179712 294 0 0 25 0 1 0 118242706 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21661/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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.62 CPU time (s): 1800.07 CPU user time (s): 1797.12 CPU system time (s): 2.94755 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 427016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.12 system time used= 2.94755 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107133 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 2725 runsolver used 2.20966 second user time and 4.29035 second system time The end
Begin job on node15 on Mon Apr 16 06:00:51 UTC 2007 IDJOB= 349499 IDBENCH= 2461 IDSOLVER= 163 FILE ID= node15/349499-1176703251 PBS_JOBID= 4559424 Free space on /tmp= 66505 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-shell.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349499-1176703251/instance-349499-1176703251.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-349499-1176703251 -o ROOT/results/node15/solver-349499-1176703251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349499-1176703251/instance-349499-1176703251.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 812fb8d8b2de50e0f82554fbb1bd21a5 RANDOM SEED= 989755200 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1839568 kB Buffers: 21580 kB Cached: 119124 kB SwapCached: 2572 kB Active: 76616 kB Inactive: 87344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839568 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 6264 kB Writeback: 0 kB Mapped: 30572 kB Slab: 37768 kB Committed_AS: 6092980 kB PageTables: 1868 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= 66505 MiB End job on node15 on Mon Apr 16 06:30:54 UTC 2007