Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.13 | 1800.67 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standata.opb |
MD5SUM | 0fd8d82b89614ba6aec45b78f4728905 |
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 | 30004 |
Total number of constraints | 455 |
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 | 455 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 53687091200 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 326417514192 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 77387257610240 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 2427818341201528 |
Number of bits of the biggest sum of numbers | 52 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349454-1176701876/instance-349454-1176701876.opb 0.00/0.00 c File size is 1213047 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 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.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.08/0.08 c Coefficients are big enough for not using lower bounding. 0.08/0.08 c Coefficients are big enough for not using lower bounding. 0.08/0.08 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.08/0.09 c Coefficients are big enough for not using lower bounding. 0.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 Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.09/0.19 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.20 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.21 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Coefficients are big enough for not using lower bounding. 0.19/0.22 c Highest Coefficient sum: 2.42782e+15 0.19/0.22 c Parsing was ok!! 0.19/0.22 c Total parsing time: 0.223 s 0.19/0.24 c Var: 30004 Constr: 615 0/0/615 Lit: 147774 Watch. Lit: 50161 0.19/0.24 c Obj. Vars: 210 (0.699907 % of total variables) 11.19/11.28 c Pre-processing Time: 11.279 s 1799.95/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.54 c 0 16932 578 143059 247 102269 286118 0 0 11.28 1799.95/1800.54 c 100 16932 678 178813 263 104438 314730 100 8 11.41 1799.95/1800.54 c 250 16932 828 199458 240 105097 346204 250 21 11.54 1799.95/1800.54 c 475 16932 1053 279865 265 105830 380825 475 40 11.66 1799.95/1800.54 c 813 16932 1391 1696247 1219 110508 418908 813 55 14.52 1799.95/1800.54 c 1322 16932 1900 1774127 933 115982 460799 1322 62 21.02 1799.95/1800.54 c 2085 16932 2663 2065274 775 117066 506879 2085 80 25.84 1799.95/1800.54 c 3233 16932 3811 15287851 4011 119581 557567 3233 61 52.60 1799.95/1800.54 c 4954 16932 5532 20699012 3741 120497 613324 4954 51 96.00 1799.95/1800.54 c 7539 16932 8117 20967108 2583 125670 674657 7539 76 98.73 1799.95/1800.54 c 11419 16932 11997 21549277 1796 133206 742123 11419 102 111.43 1799.95/1800.54 c 17241 16932 17819 24235624 1360 144781 816336 17241 125 137.46 1799.95/1800.54 c 25979 16932 26557 25135868 946 162252 897970 25979 175 148.17 1799.95/1800.54 c 39089 16932 39667 26716799 673 188528 987768 39089 225 173.19 1799.95/1800.54 c 58760 16932 59338 38580404 650 229569 500000 58760 143 410.86 1799.95/1800.54 c 88270 16932 88848 42198849 474 293357 550001 88270 111 789.77 1799.95/1800.54 c 132542 16932 133120 46525721 349 377650 605002 132542 107 1233.26 1799.95/1800.54 c 198952 16932 199530 59074706 296 510475 665503 198952 110 1796.52 1799.95/1800.54 c Resources Exceeded 1799.95/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.54 c 17 199076 5585 615011 199654 59108706 199076 110 1800.00 1799.95/1800.54 s UNKNOWN 1799.95/1800.54 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-349454-1176701876 -o ROOT/results/node52/solver-349454-1176701876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349454-1176701876/instance-349454-1176701876.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/64 16432 /proc/meminfo: memFree=1744100/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=12924 CPUtime=0 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 25032698 13234176 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3231 337 282 324 0 2003 0 [startup+0.0882601 s] /proc/loadavg: 0.92 0.99 0.99 3/64 16432 /proc/meminfo: memFree=1744100/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=7740 CPUtime=0.08 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 1153 0 0 0 8 0 0 0 18 0 1 0 25032698 7925760 1081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134539218 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 1935 1081 390 324 0 707 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7740 [startup+0.101261 s] /proc/loadavg: 0.92 0.99 0.99 3/64 16432 /proc/meminfo: memFree=1744100/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=8016 CPUtime=0.09 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 1225 0 0 0 9 0 0 0 18 0 1 0 25032698 8208384 1153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 2004 1154 411 324 0 776 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8016 [startup+0.301274 s] /proc/loadavg: 0.92 0.99 0.99 3/64 16432 /proc/meminfo: memFree=1744100/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=13124 CPUtime=0.29 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 3084 0 0 0 28 1 0 0 19 0 1 0 25032698 13438976 2583 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3281 2583 306 324 0 2350 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13124 [startup+0.701303 s] /proc/loadavg: 0.92 0.99 0.99 3/64 16432 /proc/meminfo: memFree=1744100/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=13256 CPUtime=0.69 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 3106 0 0 0 68 1 0 0 22 0 1 0 25032698 13574144 2605 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3314 2605 306 324 0 2383 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13256 [startup+1.50136 s] /proc/loadavg: 1.01 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1734620/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=13256 CPUtime=1.49 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 3106 0 0 0 148 1 0 0 25 0 1 0 25032698 13574144 2605 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3314 2605 306 324 0 2383 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13256 [startup+3.10146 s] /proc/loadavg: 1.01 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1734492/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=13256 CPUtime=3.09 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 3106 0 0 0 307 2 0 0 25 0 1 0 25032698 13574144 2605 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3314 2605 306 324 0 2383 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13256 [startup+6.30168 s] /proc/loadavg: 1.01 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1733276/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=14476 CPUtime=6.29 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 3718 0 0 0 627 2 0 0 25 0 1 0 25032698 14823424 2922 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3619 2922 308 324 0 2688 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14476 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1732252/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=15644 CPUtime=12.69 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 4017 0 0 0 1265 4 0 0 25 0 1 0 25032698 16019456 3221 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 3911 3221 312 324 0 2980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15644 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1710748/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=37776 CPUtime=25.48 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 9998 0 0 0 2540 8 0 0 25 0 1 0 25032698 38682624 8773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 9444 8773 312 324 0 8513 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37776 [startup+51.1027 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1555804/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=195384 CPUtime=51.07 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 53214 0 0 0 5081 26 0 0 25 0 1 0 25032698 200073216 48185 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 48846 48185 312 324 0 47915 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 195384 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1466652/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=280724 CPUtime=102.27 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 76112 0 0 0 10177 50 0 0 25 0 1 0 25032698 287461376 69501 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 70181 69501 312 324 0 69250 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 280724 [startup+162.301 s] /proc/loadavg: 1.06 1.01 1.00 2/65 16433 /proc/meminfo: memFree=1397724/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=350080 CPUtime=162.25 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 93471 0 0 0 16160 65 0 0 25 0 1 0 25032698 358481920 86856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 87520 86856 312 324 0 86589 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 350080 [startup+222.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 16433 /proc/meminfo: memFree=1346140/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=401156 CPUtime=222.23 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 106238 0 0 0 22148 75 0 0 25 0 1 0 25032698 410783744 99623 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 100289 99623 312 324 0 99358 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 401156 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1306652/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=440904 CPUtime=282.22 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 116156 0 0 0 28141 81 0 0 25 0 1 0 25032698 451485696 109541 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 110226 109541 312 324 0 109295 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 440904 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1272540/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=474508 CPUtime=342.2 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 124568 0 0 0 34133 87 0 0 25 0 1 0 25032698 485896192 117953 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 118627 117953 312 324 0 117696 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 474508 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1242076/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=505332 CPUtime=402.18 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 132279 0 0 0 40126 92 0 0 25 0 1 0 25032698 517459968 125664 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 126333 125664 312 324 0 125402 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 505332 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1230684/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=516284 CPUtime=462.17 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 135005 0 0 0 46123 94 0 0 25 0 1 0 25032698 528674816 128390 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 129071 128390 312 324 0 128140 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 516284 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1222300/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=524624 CPUtime=522.16 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 137096 0 0 0 52120 96 0 0 25 0 1 0 25032698 537214976 130481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 131156 130481 312 324 0 130225 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 524624 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1214748/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=532168 CPUtime=582.15 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 138982 0 0 0 58117 98 0 0 25 0 1 0 25032698 544940032 132367 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 133042 132367 312 324 0 132111 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 532168 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1207580/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=539220 CPUtime=642.13 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 140740 0 0 0 64112 101 0 0 25 0 1 0 25032698 552161280 134125 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 134805 134125 312 324 0 133874 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 539220 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1181532/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=565140 CPUtime=822.09 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 147231 0 0 0 82095 114 0 0 25 0 1 0 25032698 578703360 140616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 141285 140616 312 324 0 140354 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 565140 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1172508/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=574176 CPUtime=882.07 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 149469 0 0 0 88090 117 0 0 25 0 1 0 25032698 587956224 142854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 143544 142854 312 324 0 142613 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 574176 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1163420/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=583256 CPUtime=942.05 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 151765 0 0 0 94084 121 0 0 25 0 1 0 25032698 597254144 145150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 145814 145150 312 324 0 144883 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 583256 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1156380/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=590204 CPUtime=1002.04 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 153499 0 0 0 100080 124 0 0 25 0 1 0 25032698 604368896 146884 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 147551 146884 312 324 0 146620 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 590204 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1146972/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=599760 CPUtime=1062.03 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 155871 0 0 0 106075 128 0 0 25 0 1 0 25032698 614154240 149256 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 149940 149256 312 324 0 149009 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 599760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1140892/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=605632 CPUtime=1122.01 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 157358 0 0 0 112071 130 0 0 25 0 1 0 25032698 620167168 150743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 151408 150743 312 324 0 150477 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 605632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1131548/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=615204 CPUtime=1182 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 159724 0 0 0 118066 134 0 0 25 0 1 0 25032698 629968896 153109 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 153801 153109 312 324 0 152870 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 615204 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1123868/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=622728 CPUtime=1241.98 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 161635 0 0 0 124061 137 0 0 25 0 1 0 25032698 637673472 155020 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 155682 155020 312 324 0 154751 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 622728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1101212/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=645108 CPUtime=1301.97 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 167222 0 0 0 130053 144 0 0 25 0 1 0 25032698 660590592 160607 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 161277 160607 312 324 0 160346 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 645108 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16433 /proc/meminfo: memFree=1086044/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=660464 CPUtime=1361.95 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 171045 0 0 0 136046 149 0 0 25 0 1 0 25032698 676315136 164430 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 165116 164430 312 324 0 164185 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 660464 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/71 16599 /proc/meminfo: memFree=1068948/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=675944 CPUtime=1421.86 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 174935 0 0 0 142032 154 0 0 25 0 1 0 25032698 692166656 168320 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 168986 168320 312 324 0 168055 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 675944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16631 /proc/meminfo: memFree=1056732/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=689388 CPUtime=1481.82 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 178281 0 0 0 148024 158 0 0 25 0 1 0 25032698 705933312 171666 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 172347 171666 312 324 0 171416 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 689388 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16631 /proc/meminfo: memFree=1042972/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=702932 CPUtime=1541.81 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 181678 0 0 0 154019 162 0 0 25 0 1 0 25032698 719802368 175063 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 175733 175063 312 324 0 174802 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 702932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16631 /proc/meminfo: memFree=1030236/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=715736 CPUtime=1601.8 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 184883 0 0 0 160014 166 0 0 25 0 1 0 25032698 732913664 178268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 178934 178268 312 324 0 178003 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 715736 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16631 /proc/meminfo: memFree=1019164/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=726824 CPUtime=1661.79 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 187659 0 0 0 166009 170 0 0 25 0 1 0 25032698 744267776 181044 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 181706 181044 312 324 0 180775 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 726824 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16631 /proc/meminfo: memFree=1004444/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=742132 CPUtime=1721.77 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 191474 0 0 0 172000 177 0 0 25 0 1 0 25032698 759943168 184859 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 185533 184859 312 324 0 184602 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 742132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16633 /proc/meminfo: memFree=968284/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=777784 CPUtime=1781.76 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194304 200381 0 0 0 177986 190 0 0 25 0 1 0 25032698 796450816 193766 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 194446 193766 312 324 0 193515 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 777784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16633 /proc/meminfo: memFree=1352092/2055920 swapFree=4184492/4192956 [pid=16432] ppid=16430 vsize=0 CPUtime=1800.06 /proc/16432/stat : 16432 (bsolo3.0.16) R 16430 16432 15688 0 -1 4194308 202749 0 0 0 179806 200 0 0 25 0 1 0 25032698 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16432/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.13 CPU user time (s): 1798.06 CPU system time (s): 2.06669 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 787188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.06 system time used= 2.06669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 202749 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 2208 runsolver used 1.27981 second user time and 3.70344 second system time The end
Begin job on node52 on Mon Apr 16 05:37:56 UTC 2007 IDJOB= 349454 IDBENCH= 2435 IDSOLVER= 163 FILE ID= node52/349454-1176701876 PBS_JOBID= 4560037 Free space on /tmp= 66395 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349454-1176701876/instance-349454-1176701876.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-349454-1176701876 -o ROOT/results/node52/solver-349454-1176701876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349454-1176701876/instance-349454-1176701876.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0fd8d82b89614ba6aec45b78f4728905 RANDOM SEED= 794164646 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1744508 kB Buffers: 3388 kB Cached: 234456 kB SwapCached: 2264 kB Active: 51108 kB Inactive: 207976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1744508 kB SwapTotal: 4192956 kB SwapFree: 4184492 kB Dirty: 5604 kB Writeback: 0 kB Mapped: 27696 kB Slab: 38288 kB Committed_AS: 1507792 kB PageTables: 1520 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66395 MiB End job on node52 on Mon Apr 16 06:07:59 UTC 2007