Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.08 | 1800.55 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
MD5SUM | 671dfb6ede3c120af748dc40a7daef68 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2123511627775 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/349304-1176695023/instance-349304-1176695023.opb 0.00/0.01 c File size is 910199 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.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.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.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.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.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.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.04/0.09 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.13 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.14 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.15 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.16 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Highest Coefficient sum: 2.12351e+12 0.09/0.17 c Parsing was ok!! 0.09/0.17 c Total parsing time: 0.168 s 0.09/0.18 c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36267 0.09/0.18 c Obj. Vars: 31 (0.348236 % of total variables) 0.89/0.98 c Pre-processing Time: 0.974 s 1799.92/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.47 c 0 5557 2061 98916 47 49514 191658 0 0 0.97 1799.92/1800.47 c 100 5557 2161 101483 46 54725 210824 100 96 1.04 1799.92/1800.47 c 250 5557 2311 107495 46 59010 231907 250 201 1.24 1799.92/1800.47 c 475 5557 2536 113631 44 59136 255098 475 346 1.37 1799.92/1800.47 c 815 5557 2876 134985 46 61322 280608 815 411 1.98 1799.92/1800.47 c 1325 5557 3386 154938 45 61745 308669 1325 541 2.45 1799.92/1800.47 c 2088 5557 4149 187040 45 62904 339536 2088 677 3.08 1799.92/1800.47 c 3235 5557 5296 238705 45 66679 373490 3235 769 4.21 1799.92/1800.47 c 4957 5557 7018 342271 48 69722 410840 4957 690 7.18 1799.92/1800.47 c 7541 5557 9602 427032 44 74223 451925 7541 790 9.54 1799.92/1800.47 c 11420 5557 13481 779287 57 82709 497118 11420 743 15.36 1799.92/1800.47 c 17245 5557 19306 1290043 66 94197 546830 17245 680 25.33 1799.92/1800.47 c 25982 5557 28043 1997209 71 111414 601514 25982 615 42.19 1799.92/1800.47 c 39093 5557 41154 3734955 90 138235 661666 39093 483 80.85 1799.92/1800.47 c 58764 5557 60825 6349680 104 177090 727833 58764 405 144.88 1799.92/1800.47 c 88278 5557 90339 10104058 111 236273 800617 88278 354 249.34 1799.92/1800.47 c 132549 5557 134610 14666876 108 324723 880679 132549 283 466.76 1799.92/1800.47 c 198959 5557 201020 24033287 119 457270 968747 198959 225 882.64 1799.92/1800.47 c Resources Exceeded 1799.92/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.47 c 17 291596 65561 563398 293657 34953943 291596 161 1800.00 1799.92/1800.47 s UNKNOWN 1799.92/1800.47 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/node30/watcher-349304-1176695023 -o ROOT/results/node30/solver-349304-1176695023 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349304-1176695023/instance-349304-1176695023.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.99 0.99 3/77 897 /proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=3780 CPUtime=0 /proc/897/stat : 897 (bsolo3.0.16) D 895 897 525 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 117417957 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/897/statm: 945 155 129 324 0 14 0 [startup+0.0518499 s] /proc/loadavg: 0.92 0.99 0.99 3/77 897 /proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=5680 CPUtime=0.04 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 641 0 3 0 4 0 0 0 18 0 1 0 117417957 5816320 612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 1420 612 335 324 0 266 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5680 [startup+0.101853 s] /proc/loadavg: 0.92 0.99 0.99 3/77 897 /proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=6336 CPUtime=0.09 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 860 0 3 0 9 0 0 0 18 0 1 0 117417957 6488064 831 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 1584 831 401 324 0 430 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6336 [startup+0.301866 s] /proc/loadavg: 0.92 0.99 0.99 3/77 897 /proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=8144 CPUtime=0.28 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 1639 0 3 0 28 0 0 0 19 0 1 0 117417957 8339456 1387 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 2036 1387 306 324 0 1105 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8144 [startup+0.701891 s] /proc/loadavg: 0.92 0.99 0.99 3/77 897 /proc/meminfo: memFree=1807992/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=9160 CPUtime=0.69 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 1906 0 3 0 68 1 0 0 22 0 1 0 117417957 9379840 1654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 2290 1654 308 324 0 1359 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9160 [startup+1.50194 s] /proc/loadavg: 0.92 0.99 0.99 2/78 898 /proc/meminfo: memFree=1802352/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=8492 CPUtime=1.48 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 1927 0 3 0 146 2 0 0 25 0 1 0 117417957 8695808 1473 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 2123 1473 312 324 0 1192 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8492 [startup+3.10104 s] /proc/loadavg: 0.93 0.99 0.99 2/78 898 /proc/meminfo: memFree=1801840/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=9412 CPUtime=3.09 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 2180 0 3 0 306 3 0 0 25 0 1 0 117417957 9637888 1726 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 2353 1726 312 324 0 1422 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9412 [startup+6.30124 s] /proc/loadavg: 0.93 0.99 0.99 2/78 898 /proc/meminfo: memFree=1799728/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=11380 CPUtime=6.28 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 2654 0 3 0 625 3 0 0 25 0 1 0 117417957 11653120 2200 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 2845 2200 312 324 0 1914 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11380 [startup+12.7016 s] /proc/loadavg: 0.94 0.99 0.99 2/78 898 /proc/meminfo: memFree=1795376/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=15980 CPUtime=12.68 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 3813 0 3 0 1264 4 0 0 25 0 1 0 117417957 16363520 3359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 3995 3359 312 324 0 3064 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15980 [startup+25.5014 s] /proc/loadavg: 0.95 0.99 0.99 2/78 898 /proc/meminfo: memFree=1785648/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=25348 CPUtime=25.48 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 6158 0 3 0 2540 8 0 0 25 0 1 0 117417957 25956352 5704 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 6337 5704 312 324 0 5406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25348 [startup+51.102 s] /proc/loadavg: 0.96 0.99 0.99 2/78 898 /proc/meminfo: memFree=1769968/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=41100 CPUtime=51.07 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 10095 0 3 0 5095 12 0 0 25 0 1 0 117417957 42086400 9641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 10275 9641 312 324 0 9344 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41100 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/78 898 /proc/meminfo: memFree=1740016/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=70744 CPUtime=102.26 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 17499 0 3 0 10205 21 0 0 25 0 1 0 117417957 72441856 17045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 17686 17045 312 324 0 16755 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 70744 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1706864/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=104196 CPUtime=162.25 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 25849 0 3 0 16191 34 0 0 25 0 1 0 117417957 106696704 25395 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 26049 25395 312 324 0 25118 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 104196 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1678192/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=132284 CPUtime=222.24 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 32887 0 3 0 22181 43 0 0 25 0 1 0 117417957 135458816 32433 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 33071 32433 312 324 0 32140 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 132284 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1652848/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=157696 CPUtime=282.22 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 39224 0 3 0 28172 50 0 0 25 0 1 0 117417957 161480704 38770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 39424 38770 312 324 0 38493 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 157696 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1633712/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=176600 CPUtime=342.22 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 43963 0 3 0 34162 60 0 0 25 0 1 0 117417957 180838400 43509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 44150 43509 312 324 0 43219 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 176600 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1619696/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=190724 CPUtime=402.2 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 47497 0 3 0 40153 67 0 0 25 0 1 0 117417957 195301376 47043 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 47681 47043 312 324 0 46750 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 190724 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1602416/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=207728 CPUtime=462.19 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 51743 0 3 0 46146 73 0 0 25 0 1 0 117417957 212713472 51289 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 51932 51289 312 324 0 51001 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 207728 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1580912/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=229496 CPUtime=522.17 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 57185 0 3 0 52134 83 0 0 25 0 1 0 117417957 235003904 56731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 57374 56731 312 324 0 56443 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 229496 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1560560/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=249580 CPUtime=582.16 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 62204 0 3 0 58125 91 0 0 25 0 1 0 117417957 255569920 61750 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 62395 61750 312 324 0 61464 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 249580 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 898 /proc/meminfo: memFree=1546288/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=263548 CPUtime=642.15 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 65708 0 3 0 64117 98 0 0 25 0 1 0 117417957 269873152 65254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 65887 65254 312 324 0 64956 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 263548 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 898 /proc/meminfo: memFree=1474096/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=335340 CPUtime=882.1 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 83642 0 3 0 88083 127 0 0 25 0 1 0 117417957 343388160 83188 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 83835 83188 312 324 0 82904 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 335340 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 898 /proc/meminfo: memFree=1461744/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=347644 CPUtime=942.09 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 86733 0 3 0 94076 133 0 0 25 0 1 0 117417957 355987456 86279 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 86911 86279 312 324 0 85980 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 347644 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 898 /proc/meminfo: memFree=1448240/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=360916 CPUtime=1002.07 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 90047 0 3 0 100069 138 0 0 25 0 1 0 117417957 369577984 89593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 90229 89593 312 324 0 89298 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 360916 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 1014 /proc/meminfo: memFree=1431736/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=376220 CPUtime=1062.02 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 93861 0 3 0 106057 145 0 0 25 0 1 0 117417957 385249280 93407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 94055 93407 312 324 0 93124 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 376220 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1422768/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=385988 CPUtime=1121.97 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 96305 0 3 0 112048 149 0 0 25 0 1 0 117417957 395251712 95851 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 96497 95851 312 324 0 95566 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 385988 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1414832/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=393936 CPUtime=1181.96 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 98299 0 3 0 118042 154 0 0 25 0 1 0 117417957 403390464 97845 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 98484 97845 312 324 0 97553 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 393936 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1405744/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=403012 CPUtime=1241.94 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 100580 0 3 0 124036 158 0 0 25 0 1 0 117417957 412684288 100126 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 100753 100126 312 324 0 99822 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 403012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1396912/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=411848 CPUtime=1301.93 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 102761 0 3 0 130029 164 0 0 25 0 1 0 117417957 421732352 102307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 102962 102307 312 324 0 102031 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 411848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1389232/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=419488 CPUtime=1361.91 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 104690 0 3 0 136024 167 0 0 25 0 1 0 117417957 429555712 104236 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 104872 104236 312 324 0 103941 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 419488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1380208/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=428412 CPUtime=1421.91 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 106921 0 3 0 142019 172 0 0 25 0 1 0 117417957 438693888 106467 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 107103 106467 312 324 0 106172 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 428412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1370800/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=438132 CPUtime=1481.89 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 109361 0 3 0 148011 178 0 0 25 0 1 0 117417957 448647168 108907 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 109533 108907 312 324 0 108602 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 438132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1359280/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=449320 CPUtime=1541.88 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 112142 0 3 0 154006 182 0 0 25 0 1 0 117417957 460103680 111688 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 112330 111688 312 324 0 111399 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 449320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1350448/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=458280 CPUtime=1601.87 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 114368 0 3 0 160002 185 0 0 25 0 1 0 117417957 469278720 113914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 114570 113914 312 324 0 113639 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 458280 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1341232/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=467384 CPUtime=1661.86 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 116653 0 3 0 165996 190 0 0 25 0 1 0 117417957 478601216 116199 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 116846 116199 312 324 0 115915 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 467384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1097 /proc/meminfo: memFree=1333616/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=474924 CPUtime=1721.84 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 118546 0 3 0 171991 193 0 0 25 0 1 0 117417957 486322176 118092 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 118731 118092 312 324 0 117800 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 474924 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 1097 /proc/meminfo: memFree=1326320/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=482068 CPUtime=1781.82 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194304 120328 0 3 0 177987 195 0 0 25 0 1 0 117417957 493637632 119874 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 120517 119874 312 324 0 119586 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 482068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 1.01 1.00 2/78 1097 /proc/meminfo: memFree=1480496/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=0 CPUtime=1800.03 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194308 121047 0 3 0 179803 200 0 0 25 0 1 0 117417957 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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.03 1.01 1.00 2/78 1097 /proc/meminfo: memFree=1480496/2055920 swapFree=4169844/4192956 [pid=897] ppid=895 vsize=0 CPUtime=1800.03 /proc/897/stat : 897 (bsolo3.0.16) R 895 897 525 0 -1 4194308 121047 0 3 0 179803 200 0 0 25 0 1 0 117417957 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/897/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.08 CPU user time (s): 1798.03 CPU system time (s): 2.04869 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 484932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.03 system time used= 2.04869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121047 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 2038 runsolver used 2.08768 second user time and 4.44232 second system time The end
Begin job on node30 on Mon Apr 16 03:43:43 UTC 2007 IDJOB= 349304 IDBENCH= 2349 IDSOLVER= 163 FILE ID= node30/349304-1176695023 PBS_JOBID= 4560013 Free space on /tmp= 66528 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349304-1176695023/instance-349304-1176695023.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-349304-1176695023 -o ROOT/results/node30/solver-349304-1176695023 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349304-1176695023/instance-349304-1176695023.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 671dfb6ede3c120af748dc40a7daef68 RANDOM SEED= 879189160 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1808336 kB Buffers: 42240 kB Cached: 120624 kB SwapCached: 2376 kB Active: 92424 kB Inactive: 94268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808336 kB SwapTotal: 4192956 kB SwapFree: 4169844 kB Dirty: 5288 kB Writeback: 0 kB Mapped: 30832 kB Slab: 46388 kB Committed_AS: 2739016 kB PageTables: 1776 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= 66528 MiB End job on node30 on Mon Apr 16 04:13:45 UTC 2007