Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.14 | 1800.75 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb |
MD5SUM | 5969f09e744b158004f0e27c746edfe9 |
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 | 10740 |
Total number of constraints | 377 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 377 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 8460 |
Biggest coefficient in the objective function | 10788957847552 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 603693086370759 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 33554432000000 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 603693086370759 |
Number of bits of the biggest sum of numbers | 50 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/349474-1176702451/instance-349474-1176702451.opb 0.00/0.03 c File size is 721550 bytes. 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.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.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.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.06 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Highest Coefficient sum: 6.03693e+14 0.06/0.13 c Parsing was ok!! 0.06/0.13 c Total parsing time: 0.107 s 0.06/0.14 c Var: 10740 Constr: 657 13/0/644 Lit: 75450 Watch. Lit: 11422 0.06/0.14 c Obj. Vars: 8460 (78.7709 % of total variables) 0.17/0.29 c Pre-processing Time: 0.261 s 1799.98/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.61 c 0 8728 541 62950 116 39394 125900 0 0 0.26 1799.98/1800.61 c 100 8728 641 77341 120 45371 138491 100 350 0.28 1799.98/1800.61 c 250 8728 791 98623 124 45689 152341 250 809 0.31 1799.98/1800.61 c 476 8728 1017 131062 128 46186 167576 476 1352 0.35 1799.98/1800.61 c 815 8728 1356 179594 132 46765 184334 815 1926 0.42 1799.98/1800.61 c 1325 8728 1866 252481 135 47873 202768 1325 2409 0.55 1799.98/1800.61 c 2088 8728 2629 361716 137 49358 223045 2088 2740 0.76 1799.98/1800.61 c 3234 8728 3775 525358 139 51708 245350 3234 2766 1.17 1799.98/1800.61 c 4955 8728 5496 770965 140 55108 269886 4955 2484 1.99 1799.98/1800.61 c 7539 8728 8080 1139491 141 60314 296875 7539 1862 4.05 1799.98/1800.61 c 11419 8728 11960 1695393 141 68081 326563 11419 1248 9.15 1799.98/1800.61 c 17241 8728 17782 2528515 142 79710 359220 17241 738 23.35 1799.98/1800.61 c 25979 8728 26520 3777941 142 97206 395143 25979 437 59.42 1799.98/1800.61 c 39089 8728 39630 5651419 142 123402 434658 39089 298 130.84 1799.98/1800.61 c 58760 8728 59301 7744277 130 168410 478124 58760 274 214.16 1799.98/1800.61 c 88270 8726 88811 11218870 126 227652 525937 88270 188 467.94 1799.98/1800.61 c 132541 8726 133082 16682603 125 315770 578531 132541 185 715.24 1799.98/1800.61 c 198951 8725 199492 25409167 127 448460 636385 198951 222 892.23 1799.98/1800.61 c 298572 8721 299113 40256338 134 648765 700024 298572 236 1260.21 1799.98/1800.61 c 448008 8720 448549 56564047 126 946656 770027 448008 269 1659.65 1799.98/1800.61 c Resources Exceeded 1799.98/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.61 c 19 494106 14188 552217 494647 62162322 494106 274 1800.01 1799.98/1800.61 s UNKNOWN 1799.98/1800.61 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-349474-1176702451 -o ROOT/results/node4/solver-349474-1176702451 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349474-1176702451/instance-349474-1176702451.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13347 /proc/meminfo: memFree=1765264/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=3780 CPUtime=0 /proc/13347/stat : 13347 (bsolo3.0.16) D 13345 13347 13222 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 146282863 3870720 155 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/13347/statm: 945 186 159 324 0 14 0 [startup+0.0628111 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13347 /proc/meminfo: memFree=1765264/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=13368 CPUtime=0.03 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 628 0 6 0 3 0 0 0 18 0 1 0 146282863 13688832 602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11010593 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13347/statm: 3342 602 339 324 0 2234 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13368 [startup+0.101811 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13347 /proc/meminfo: memFree=1765264/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=6116 CPUtime=0.06 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 832 0 6 0 6 0 0 0 18 0 1 0 146282863 6262784 806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160312769 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13347/statm: 1529 806 402 324 0 421 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6116 [startup+0.301839 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13347 /proc/meminfo: memFree=1765264/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=8292 CPUtime=0.27 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 1710 0 6 0 25 2 0 0 19 0 1 0 146282863 8491008 1423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13347/statm: 2073 1423 310 324 0 1142 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8292 [startup+0.701876 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13347 /proc/meminfo: memFree=1765264/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=11004 CPUtime=0.67 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 2379 0 6 0 65 2 0 0 23 0 1 0 146282863 11268096 2092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13347/statm: 2751 2092 312 324 0 1820 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 11004 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1755272/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=15120 CPUtime=1.46 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 3412 0 6 0 144 2 0 0 25 0 1 0 146282863 15482880 3125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 3780 3125 312 324 0 2849 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 15120 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1750472/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=20012 CPUtime=3.06 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 4642 0 6 0 303 3 0 0 25 0 1 0 146282863 20492288 4355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 5003 4355 312 324 0 4072 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 20012 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1743688/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=25680 CPUtime=6.26 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 6050 0 6 0 622 4 0 0 25 0 1 0 146282863 26296320 5763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 6420 5763 312 324 0 5489 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 25680 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1735880/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=32760 CPUtime=12.66 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 7833 0 6 0 1259 7 0 0 25 0 1 0 146282863 33546240 7546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 8190 7546 312 324 0 7259 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 32760 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1726216/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=41884 CPUtime=25.46 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 10101 0 6 0 2536 10 0 0 25 0 1 0 146282863 42889216 9814 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11022052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 10471 9814 312 324 0 9540 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 41884 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1713864/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=54264 CPUtime=51.05 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 13217 0 6 0 5091 14 0 0 25 0 1 0 146282863 55566336 12930 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 13566 12930 312 324 0 12635 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 54264 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1694280/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=73724 CPUtime=102.24 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 18068 0 6 0 10202 22 0 0 25 0 1 0 146282863 75493376 17781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 18431 17781 312 324 0 17500 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 73724 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 3/78 13348 /proc/meminfo: memFree=1678088/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=89956 CPUtime=162.22 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 22127 0 6 0 16192 30 0 0 25 0 1 0 146282863 92114944 21840 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 22489 21840 312 324 0 21558 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 89956 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1649096/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=118680 CPUtime=222.2 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 29322 0 6 0 22180 40 0 0 25 0 1 0 146282863 121528320 29035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 29670 29035 312 324 0 28739 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 118680 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1638856/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=128980 CPUtime=282.19 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 31899 0 6 0 28174 45 0 0 25 0 1 0 146282863 132075520 31612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 32245 31612 312 324 0 31314 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 128980 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1628360/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=139424 CPUtime=342.17 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 34488 0 6 0 34168 49 0 0 25 0 1 0 146282863 142770176 34201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 34856 34201 312 324 0 33925 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 139424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1618184/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=149612 CPUtime=402.15 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 37044 0 6 0 40159 56 0 0 25 0 1 0 146282863 153202688 36757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11021988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 37403 36757 312 324 0 36472 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 149612 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1608904/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=158756 CPUtime=462.13 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 39324 0 6 0 46154 59 0 0 25 0 1 0 146282863 162566144 39037 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 39689 39037 312 324 0 38758 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 158756 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1591304/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=176412 CPUtime=522.12 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 43736 0 6 0 52148 64 0 0 25 0 1 0 146282863 180645888 43449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 44103 43449 312 324 0 43172 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 176412 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1580168/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=187372 CPUtime=582.1 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 46491 0 6 0 58142 68 0 0 25 0 1 0 146282863 191868928 46204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 46843 46204 312 324 0 45912 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 187372 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13348 /proc/meminfo: memFree=1571912/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=195492 CPUtime=642.09 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 48523 0 6 0 64138 71 0 0 25 0 1 0 146282863 200183808 48236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 48873 48236 312 324 0 47942 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 195492 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.09 1.04 1.01 2/78 13546 /proc/meminfo: memFree=1417800/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=348968 CPUtime=881.93 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 86897 0 6 0 88070 123 0 0 25 0 1 0 146282863 357343232 86610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 87242 86610 312 324 0 86311 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 348968 [startup+942.302 s] /proc/loadavg: 1.03 1.03 1.00 2/78 13546 /proc/meminfo: memFree=1323976/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=443552 CPUtime=941.92 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 110518 0 6 0 94045 147 0 0 25 0 1 0 146282863 454197248 110231 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 110888 110231 312 324 0 109957 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 443552 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13546 /proc/meminfo: memFree=1286600/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=480012 CPUtime=1001.91 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 119647 0 6 0 100030 161 0 0 25 0 1 0 146282863 491532288 119360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 120003 119360 312 324 0 119072 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 480012 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13546 /proc/meminfo: memFree=1256200/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=510332 CPUtime=1061.88 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 127227 0 6 0 106018 170 0 0 25 0 1 0 146282863 522579968 126940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11020161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 127583 126940 312 324 0 126652 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 510332 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13546 /proc/meminfo: memFree=1243400/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=522992 CPUtime=1121.87 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 130392 0 6 0 112011 176 0 0 25 0 1 0 146282863 535543808 130105 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 130748 130105 312 324 0 129817 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 522992 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1230792/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=535624 CPUtime=1181.85 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 133544 0 6 0 118004 181 0 0 25 0 1 0 146282863 548478976 133257 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 133906 133257 312 324 0 132975 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 535624 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1218056/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=548252 CPUtime=1241.84 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 136697 0 6 0 123998 186 0 0 25 0 1 0 146282863 561410048 136410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 137063 136410 312 324 0 136132 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 548252 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1189064/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=576956 CPUtime=1301.82 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 143876 0 6 0 129986 196 0 0 25 0 1 0 146282863 590802944 143589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 144239 143589 312 324 0 143308 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 576956 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1140808/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=626164 CPUtime=1361.8 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 156188 0 6 0 135969 211 0 0 25 0 1 0 146282863 641191936 155901 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 156541 155901 312 324 0 155610 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 626164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1067144/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=698560 CPUtime=1421.79 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 174293 0 6 0 141947 232 0 0 25 0 1 0 146282863 715325440 174006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 174640 174006 312 324 0 173709 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 698560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1036168/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=729692 CPUtime=1481.77 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 182078 0 6 0 147932 245 0 0 25 0 1 0 146282863 747204608 181791 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 182423 181791 312 324 0 181492 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 729692 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1015176/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=750400 CPUtime=1541.75 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 187236 0 6 0 153921 254 0 0 25 0 1 0 146282863 768409600 186949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 187600 186949 312 324 0 186669 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 750400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=999560/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=765984 CPUtime=1601.74 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 191134 0 6 0 159912 262 0 0 25 0 1 0 146282863 784367616 190847 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 191496 190847 312 324 0 190565 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 765984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=988104/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=777328 CPUtime=1661.72 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 193984 0 6 0 165905 267 0 0 25 0 1 0 146282863 795983872 193697 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 194332 193697 312 324 0 193401 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 777328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=938888/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=826732 CPUtime=1721.71 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 206334 0 6 0 171887 284 0 0 25 0 1 0 146282863 846573568 206047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 206683 206047 312 324 0 205752 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 826732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=916168/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=849064 CPUtime=1781.69 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194304 211898 0 6 0 177876 293 0 0 25 0 1 0 146282863 869441536 211611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 212266 211611 312 324 0 211335 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 849064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1468960/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=0 CPUtime=1800.1 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194308 212957 0 6 0 179706 304 0 0 25 0 1 0 146282863 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13546 /proc/meminfo: memFree=1468960/2055920 swapFree=4153844/4192956 [pid=13347] ppid=13345 vsize=0 CPUtime=1800.1 /proc/13347/stat : 13347 (bsolo3.0.16) R 13345 13347 13222 0 -1 4194308 212957 0 6 0 179706 304 0 0 25 0 1 0 146282863 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13347/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.14 CPU user time (s): 1797.06 CPU system time (s): 3.08253 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 853188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.06 system time used= 3.08253 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 212957 page faults= 6 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 37301 runsolver used 2.20666 second user time and 4.21436 second system time The end
Begin job on node4 on Mon Apr 16 05:47:31 UTC 2007 IDJOB= 349474 IDBENCH= 2446 IDSOLVER= 163 FILE ID= node4/349474-1176702451 PBS_JOBID= 4559426 Free space on /tmp= 66514 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349474-1176702451/instance-349474-1176702451.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-349474-1176702451 -o ROOT/results/node4/solver-349474-1176702451 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349474-1176702451/instance-349474-1176702451.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5969f09e744b158004f0e27c746edfe9 RANDOM SEED= 884612104 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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 : 5931.00 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: 1765672 kB Buffers: 21124 kB Cached: 193820 kB SwapCached: 2316 kB Active: 70324 kB Inactive: 167884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765672 kB SwapTotal: 4192956 kB SwapFree: 4153844 kB Dirty: 5104 kB Writeback: 0 kB Mapped: 30620 kB Slab: 37484 kB Committed_AS: 5167536 kB PageTables: 1816 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= 66514 MiB End job on node4 on Mon Apr 16 06:17:34 UTC 2007