| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 3.0.16 | ? (TO) | 1800.12 | 1800.53 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-swath.opb |
| MD5SUM | 3553224658521cb15e26e6f30dd8f5c2 |
| 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 | 9155 |
| Total number of constraints | 884 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 423 |
| Number of constraints which are nor clauses,nor cardinality constraints | 461 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 6754 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 16777216000000 |
| Number of bits of the biggest number in a constraint | 44 |
| Biggest sum of numbers in a constraint | 66042304016951 |
| Number of bits of the biggest sum of numbers | 46 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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/349549-1176707835/instance-349549-1176707835.opb 0.00/0.00 c File size is 1542349 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.10 c Coefficients are big enough for not using lower bounding. 0.08/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.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.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.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.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.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.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.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.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.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 Highest Coefficient sum: 6.60423e+13 0.19/0.25 c Parsing was ok!! 0.19/0.25 c Total parsing time: 0.255 s 0.19/0.26 c Var: 9155 Constr: 1388 824/182/382 Lit: 149030 Watch. Lit: 30261 0.19/0.26 c Obj. Vars: 31 (0.338613 % of total variables) 180.25/180.32 c Pre-processing Time: 180.271 s 1799.98/1800.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.43 c 0 8753 586 148228 252 36212 403583 0 0 180.27 1799.98/1800.43 c 100 8753 686 178466 260 123450 443942 100 0 182.23 1799.98/1800.43 c 250 8753 836 213868 255 123048 488337 250 1 184.99 1799.98/1800.43 c 478 8753 1064 291072 273 125043 537171 478 2 186.87 1799.98/1800.43 c 819 8753 1405 429738 305 125003 590889 819 4 189.75 1799.98/1800.43 c 1327 8753 1913 734969 384 126019 649978 1327 6 196.37 1799.98/1800.43 c 2092 8753 2678 1038251 387 127815 714976 2092 9 212.12 1799.98/1800.43 c 3240 8753 3826 1454356 380 130966 786474 3240 14 225.18 1799.98/1800.43 c 4961 8753 5547 1966172 354 134522 865122 4961 18 263.58 1799.98/1800.43 c 7545 8753 8131 3721938 457 139595 951635 7545 25 299.68 1799.98/1800.43 c 11427 8753 12013 5699360 474 147397 500000 11427 29 381.74 1799.98/1800.43 c 17249 8753 17835 8722057 489 159003 550001 17249 40 425.57 1799.98/1800.43 c 25987 8753 26573 14955834 562 174541 605002 25987 43 594.73 1799.98/1800.43 c 39097 8753 39683 21149131 532 202319 665503 39097 54 713.81 1799.98/1800.43 c 58767 8753 59353 31546016 531 242058 732054 58767 51 1141.02 1799.98/1800.43 c 88278 8753 88864 47031170 529 299883 805260 88278 55 1604.91 1799.98/1800.43 c Resources Exceeded 1799.98/1800.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.43 c 15 94243 53810 2816183 94829 49113927 94243 52 1800.02 1799.98/1800.43 s UNKNOWN 1799.98/1800.43 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-349549-1176707835 -o ROOT/results/node52/solver-349549-1176707835 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349549-1176707835/instance-349549-1176707835.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.92 0.98 0.99 3/64 17090 /proc/meminfo: memFree=1866460/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=13244 CPUtime=0 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 25628589 13561856 333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 3311 333 281 324 0 2003 0 [startup+0.0927679 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17090 /proc/meminfo: memFree=1866460/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=6740 CPUtime=0.08 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 806 0 0 0 8 0 0 0 18 0 1 0 25628589 6901760 774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 1685 774 413 324 0 377 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6740 [startup+0.101768 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17090 /proc/meminfo: memFree=1866460/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=6740 CPUtime=0.09 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 836 0 0 0 9 0 0 0 18 0 1 0 25628589 6901760 804 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 1685 804 426 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6740 [startup+0.301782 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17090 /proc/meminfo: memFree=1866460/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=0.29 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 29 0 0 0 19 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8176 [startup+0.701809 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17090 /proc/meminfo: memFree=1866460/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=0.69 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 69 0 0 0 22 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8176 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861780/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=1.49 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 149 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8176 [startup+3.10197 s] /proc/loadavg: 0.93 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861652/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=3.08 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 308 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8176 [startup+6.30119 s] /proc/loadavg: 0.93 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861660/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=6.28 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 628 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8176 [startup+12.7026 s] /proc/loadavg: 0.94 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861724/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=12.68 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 1268 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8176 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861852/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=25.48 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 2548 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8176 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861852/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=51.06 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 5106 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 8176 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 17091 /proc/meminfo: memFree=1861852/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=102.25 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 10225 0 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 8176 [startup+162.302 s] /proc/loadavg: 1.03 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1861852/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=8176 CPUtime=162.25 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 1805 0 0 0 16224 1 0 0 25 0 1 0 25628589 8372224 1396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 2044 1396 306 324 0 1113 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 8176 [startup+222.302 s] /proc/loadavg: 1.08 1.03 1.01 2/65 17091 /proc/meminfo: memFree=1844188/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=25872 CPUtime=222.23 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 6232 0 0 0 22215 8 0 0 25 0 1 0 25628589 26492928 5823 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 6468 5823 311 324 0 5537 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25872 [startup+282.302 s] /proc/loadavg: 1.03 1.02 1.00 2/65 17091 /proc/meminfo: memFree=1822876/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=47828 CPUtime=282.22 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 11716 0 0 0 28204 18 0 0 25 0 1 0 25628589 48975872 11307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 11957 11307 311 324 0 11026 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47828 [startup+342.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 17091 /proc/meminfo: memFree=1801628/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=68460 CPUtime=342.2 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 16874 0 0 0 34191 29 0 0 25 0 1 0 25628589 70103040 16465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 17115 16465 311 324 0 16184 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 68460 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 17091 /proc/meminfo: memFree=1770396/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=99928 CPUtime=402.19 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 24753 0 0 0 40180 39 0 0 25 0 1 0 25628589 102326272 24344 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 24982 24344 311 324 0 24051 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 99928 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1729052/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=141100 CPUtime=462.18 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 35036 0 0 0 46166 52 0 0 25 0 1 0 25628589 144486400 34627 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 35275 34627 311 324 0 34344 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 141100 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1698460/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=171660 CPUtime=522.16 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 42681 0 0 0 52159 57 0 0 25 0 1 0 25628589 175779840 42272 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 42915 42272 311 324 0 41984 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 171660 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1673180/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=196600 CPUtime=582.15 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 48911 0 0 0 58144 71 0 0 25 0 1 0 25628589 201318400 48502 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 49150 48502 311 324 0 48219 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 196600 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1649372/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=220132 CPUtime=642.14 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 54812 0 0 0 64137 77 0 0 25 0 1 0 25628589 225415168 54403 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 55033 54403 311 324 0 54102 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 220132 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1542044/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=327180 CPUtime=882.08 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 81583 0 0 0 88092 116 0 0 25 0 1 0 25628589 335032320 81174 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 81795 81174 311 324 0 80864 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 327180 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1526044/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=343232 CPUtime=942.07 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 85577 0 0 0 94083 124 0 0 25 0 1 0 25628589 351469568 85168 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 85808 85168 311 324 0 84877 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 343232 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1513948/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=355264 CPUtime=1002.06 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 88588 0 0 0 100071 135 0 0 25 0 1 0 25628589 363790336 88179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 88816 88179 311 324 0 87885 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 355264 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1493468/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=376276 CPUtime=1062.05 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 93850 0 0 0 106062 143 0 0 25 0 1 0 25628589 385306624 93441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 94069 93441 311 324 0 93138 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 376276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1463196/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=405940 CPUtime=1122.03 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 101262 0 0 0 112050 153 0 0 25 0 1 0 25628589 415682560 100853 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 101485 100853 311 324 0 100554 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 405940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1435036/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=434500 CPUtime=1182.02 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 108392 0 0 0 118035 167 0 0 25 0 1 0 25628589 444928000 107983 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 108625 107983 311 324 0 107694 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 434500 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1410396/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=458600 CPUtime=1242 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 114414 0 0 0 124024 176 0 0 25 0 1 0 25628589 469606400 114005 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 114650 114005 311 324 0 113719 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 458600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1377436/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=491236 CPUtime=1302 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 122592 0 0 0 130014 186 0 0 25 0 1 0 25628589 503025664 122183 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 122809 122183 311 324 0 121878 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 491236 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1368284/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=500552 CPUtime=1361.97 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 124898 0 0 0 136010 187 0 0 25 0 1 0 25628589 512565248 124489 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 125138 124489 311 324 0 124207 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 500552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1360092/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=508528 CPUtime=1421.97 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 126917 0 0 0 142008 189 0 0 25 0 1 0 25628589 520732672 126508 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 127132 126508 311 324 0 126201 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 508528 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1339420/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=529436 CPUtime=1481.95 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 132140 0 0 0 147999 196 0 0 25 0 1 0 25628589 542142464 131731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 132359 131731 311 324 0 131428 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 529436 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1306204/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=562496 CPUtime=1541.94 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 140406 0 0 0 153988 206 0 0 25 0 1 0 25628589 575995904 139997 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 140624 139997 311 324 0 139693 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 562496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1253916/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=614904 CPUtime=1601.92 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 153493 0 0 0 159976 216 0 0 25 0 1 0 25628589 629661696 153084 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 153726 153084 311 324 0 152795 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 614904 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1244508/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=623864 CPUtime=1661.92 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 155746 0 0 0 165962 230 0 0 25 0 1 0 25628589 638836736 155337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 155966 155337 311 324 0 155035 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 623864 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1237340/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=631032 CPUtime=1721.89 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 157530 0 0 0 171948 241 0 0 25 0 1 0 25628589 646176768 157121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 157758 157121 311 324 0 156827 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 631032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1228956/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=639452 CPUtime=1781.88 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194304 159634 0 0 0 177934 254 0 0 25 0 1 0 25628589 654798848 159225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 159863 159225 311 324 0 158932 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 639452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1673756/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=0 CPUtime=1800.09 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194308 160628 0 0 0 179744 265 0 0 25 0 1 0 25628589 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17091 /proc/meminfo: memFree=1673756/2055920 swapFree=4184492/4192956 [pid=17090] ppid=17088 vsize=0 CPUtime=1800.09 /proc/17090/stat : 17090 (bsolo3.0.16) R 17088 17090 16763 0 -1 4194308 160628 0 0 0 179744 265 0 0 25 0 1 0 25628589 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17090/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.12 CPU user time (s): 1797.45 CPU system time (s): 2.67759 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 643428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.45 system time used= 2.67759 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160628 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= 2727 runsolver used 1.41179 second user time and 3.51846 second system time The end
Begin job on node52 on Mon Apr 16 07:17:15 UTC 2007 IDJOB= 349549 IDBENCH= 2511 IDSOLVER= 163 FILE ID= node52/349549-1176707835 PBS_JOBID= 4560073 Free space on /tmp= 66395 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349549-1176707835/instance-349549-1176707835.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-349549-1176707835 -o ROOT/results/node52/solver-349549-1176707835 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349549-1176707835/instance-349549-1176707835.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3553224658521cb15e26e6f30dd8f5c2 RANDOM SEED= 188522622 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1866868 kB Buffers: 4472 kB Cached: 124780 kB SwapCached: 2192 kB Active: 36912 kB Inactive: 102396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866868 kB SwapTotal: 4192956 kB SwapFree: 4184492 kB Dirty: 5892 kB Writeback: 0 kB Mapped: 16544 kB Slab: 35764 kB Committed_AS: 1497628 kB PageTables: 1484 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= 66395 MiB End job on node52 on Mon Apr 16 07:47:18 UTC 2007