Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.3 | 1800.89 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst1.opb |
MD5SUM | c5d594af626243e56994c23d5a3c48e8 |
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 | 13806 |
Total number of constraints | 604 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 13958659059 |
Number of bits of the biggest sum of numbers | 34 |
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/349254-1176691673/instance-349254-1176691673.opb 0.00/0.00 c File size is 704009 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.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.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.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.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.05 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.06 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.08 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.09 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.04/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Highest Coefficient sum: 1.39587e+10 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.123 s 0.09/0.13 c Var: 13806 Constr: 732 0/8/724 Lit: 89684 Watch. Lit: 18628 0.09/0.13 c Obj. Vars: 30 (0.217297 % of total variables) 2.29/2.32 c Pre-processing Time: 2.318 s 1800.01/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.60 c 0 7854 732 89684 122 73804 179321 0 0 2.32 1800.01/1800.60 c 100 7854 832 112583 135 73948 197254 100 40 2.45 1800.01/1800.60 c 251 7854 983 142434 144 74194 216980 251 96 2.61 1800.01/1800.60 c 477 7854 1209 185343 153 74646 238679 477 164 2.89 1800.01/1800.60 c 816 7854 1548 242446 156 75268 262547 816 234 3.49 1800.01/1800.60 c 1324 7854 2056 386971 188 76289 288802 1324 343 3.85 1800.01/1800.60 c 2089 7854 2821 555027 196 77738 317683 2089 436 4.78 1800.01/1800.60 c 3236 7854 3968 772989 194 80031 349452 3236 543 5.96 1800.01/1800.60 c 4960 7854 5692 1325663 232 83288 384398 4960 629 7.88 1800.01/1800.60 c 7548 7854 8280 2102101 253 88452 422838 7548 551 13.69 1800.01/1800.60 c 11430 7854 12162 3002895 246 95915 465122 11430 733 15.59 1800.01/1800.60 c 17252 7854 17984 4793991 266 107482 511635 17252 699 24.67 1800.01/1800.60 c 25989 7854 26721 6888421 257 124997 562799 25989 803 32.35 1800.01/1800.66 c 39101 7854 39833 11157199 280 150990 619079 39101 817 47.83 1800.01/1800.66 c 58771 7854 59503 17900593 300 190253 680987 58771 730 80.42 1800.01/1800.66 c 88282 7854 89014 26082522 293 249201 749086 88282 509 173.11 1800.01/1800.66 c 132553 7854 133285 45790228 343 340054 823995 132553 436 303.59 1800.01/1800.66 c 198963 7854 199695 68226318 341 472797 906395 198963 299 665.18 1800.01/1800.66 c 298583 7854 299315 100421255 335 671875 997035 298583 294 1012.82 1800.01/1800.66 c Caught signal: 15 1800.01/1800.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.66 c 18 401295 26534 551873 402027 137497121 401295 222 1800.02 1800.01/1800.66 s UNKNOWN 1800.01/1800.66 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-349254-1176691673 -o ROOT/results/node74/solver-349254-1176691673 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349254-1176691673/instance-349254-1176691673.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.07 1.02 1.00 3/66 1530 /proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=12424 CPUtime=0 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 117082060 12722176 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 3106 337 282 324 0 2003 0 [startup+0.051698 s] /proc/loadavg: 1.07 1.02 1.00 3/66 1530 /proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=5860 CPUtime=0.04 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 737 0 0 0 4 0 0 0 18 0 1 0 117082060 6000640 705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 1465 705 345 324 0 362 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5860 [startup+0.102703 s] /proc/loadavg: 1.07 1.02 1.00 3/66 1530 /proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=6520 CPUtime=0.09 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 979 0 0 0 9 0 0 0 18 0 1 0 117082060 6676480 947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10082436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 1630 947 419 324 0 527 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6520 [startup+0.302736 s] /proc/loadavg: 1.07 1.02 1.00 3/66 1530 /proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=9116 CPUtime=0.29 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 1793 0 0 0 28 1 0 0 19 0 1 0 117082060 9334784 1589 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 2279 1589 306 324 0 1348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9116 [startup+0.701773 s] /proc/loadavg: 1.07 1.02 1.00 3/66 1530 /proc/meminfo: memFree=1845520/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=9920 CPUtime=0.68 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 2127 0 0 0 67 1 0 0 22 0 1 0 117082060 10158080 1815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 2480 1815 308 324 0 1549 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9920 [startup+1.50187 s] /proc/loadavg: 1.07 1.02 1.00 2/67 1531 /proc/meminfo: memFree=1839368/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=9920 CPUtime=1.49 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 2127 0 0 0 147 2 0 0 25 0 1 0 117082060 10158080 1815 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 2480 1815 308 324 0 1549 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9920 [startup+3.10105 s] /proc/loadavg: 1.07 1.02 1.00 2/67 1531 /proc/meminfo: memFree=1839240/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=10708 CPUtime=3.08 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 2500 0 0 0 306 2 0 0 25 0 1 0 117082060 10964992 1999 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 2677 1999 312 324 0 1746 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10708 [startup+6.30142 s] /proc/loadavg: 1.07 1.02 1.00 2/67 1531 /proc/meminfo: memFree=1832328/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=18768 CPUtime=6.28 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 4521 0 0 0 624 4 0 0 25 0 1 0 117082060 19218432 4020 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 4692 4020 312 324 0 3761 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18768 [startup+12.7012 s] /proc/loadavg: 1.06 1.02 1.00 2/67 1531 /proc/meminfo: memFree=1817544/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=33224 CPUtime=12.69 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 8143 0 0 0 1260 9 0 0 25 0 1 0 117082060 34021376 7642 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 8306 7642 312 324 0 7375 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33224 [startup+25.5016 s] /proc/loadavg: 1.05 1.01 1.00 2/67 1531 /proc/meminfo: memFree=1775368/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=76240 CPUtime=25.49 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 18890 0 0 0 2533 16 0 0 25 0 1 0 117082060 78069760 18389 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 19060 18389 312 324 0 18129 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76240 [startup+51.1026 s] /proc/loadavg: 1.03 1.01 1.00 2/67 1531 /proc/meminfo: memFree=1680264/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=172016 CPUtime=51.07 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 42828 0 0 0 5078 29 0 0 25 0 1 0 117082060 176144384 42327 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 43004 42327 312 324 0 42073 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 172016 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/67 1531 /proc/meminfo: memFree=1574920/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=273816 CPUtime=102.26 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 68303 0 0 0 10178 48 0 0 25 0 1 0 117082060 280387584 67802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 68454 67802 312 324 0 67523 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 273816 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1512968/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=336348 CPUtime=162.24 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 83923 0 0 0 16163 61 0 0 25 0 1 0 117082060 344420352 83422 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 84087 83422 312 324 0 83156 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 336348 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1354760/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=493832 CPUtime=222.23 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 123286 0 0 0 22136 87 0 0 25 0 1 0 117082060 505683968 122785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 123458 122785 312 324 0 122527 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 493832 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1265416/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=583388 CPUtime=282.21 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 145668 0 0 0 28117 104 0 0 25 0 1 0 117082060 597389312 145167 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 145847 145167 312 324 0 144916 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 583388 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1178184/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=670028 CPUtime=342.2 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 167354 0 0 0 34099 121 0 0 25 0 1 0 117082060 686108672 166853 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 167507 166853 312 324 0 166576 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 670028 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1113032/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=735444 CPUtime=402.18 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 183711 0 0 0 40083 135 0 0 25 0 1 0 117082060 753094656 183210 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 183861 183210 312 324 0 182930 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 735444 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1069064/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=778704 CPUtime=462.17 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 194525 0 0 0 46074 143 0 0 25 0 1 0 117082060 797392896 194024 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 194676 194024 312 324 0 193745 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 778704 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=1028104/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=819984 CPUtime=522.15 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 204841 0 0 0 52062 153 0 0 25 0 1 0 117082060 839663616 204340 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 204996 204340 312 324 0 204065 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 819984 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=992904/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=854816 CPUtime=582.13 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 213531 0 0 0 58052 161 0 0 25 0 1 0 117082060 875331584 213030 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 213704 213030 312 324 0 212773 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 854816 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1531 /proc/meminfo: memFree=963528/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=883808 CPUtime=642.12 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 220781 0 0 0 64044 168 0 0 25 0 1 0 117082060 905019392 220280 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 220952 220280 312 324 0 220021 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 883808 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=633352/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1213212 CPUtime=881.95 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 303134 0 0 0 87962 233 0 0 25 0 1 0 117082060 1242329088 302633 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10190540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 303303 302633 312 324 0 302372 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 1213212 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=579208/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1267704 CPUtime=941.93 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 316773 0 0 0 93949 244 0 0 25 0 1 0 117082060 1298128896 316272 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 316926 316272 312 324 0 315995 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1267704 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=537608/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1308932 CPUtime=1001.92 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 327068 0 0 0 99938 254 0 0 25 0 1 0 117082060 1340346368 326567 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 327233 326567 312 324 0 326302 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1308932 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=451656/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1396032 CPUtime=1061.91 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 348843 0 0 0 105917 274 0 0 25 0 1 0 117082060 1429536768 348342 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 349008 348342 312 324 0 348077 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1396032 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=399752/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1446436 CPUtime=1121.89 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 361435 0 0 0 111903 286 0 0 25 0 1 0 117082060 1481150464 360934 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 361609 360934 312 324 0 360678 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1446436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=365640/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1480832 CPUtime=1181.87 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 370054 0 0 0 117892 295 0 0 25 0 1 0 117082060 1516371968 369553 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 370208 369553 312 324 0 369277 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1480832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=328136/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1518028 CPUtime=1241.86 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 379347 0 0 0 123881 305 0 0 25 0 1 0 117082060 1554460672 378846 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 379507 378846 312 324 0 378576 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1518028 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=292168/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1553644 CPUtime=1301.84 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 388232 0 0 0 129873 311 0 0 25 0 1 0 117082060 1590931456 387731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 388411 387731 312 324 0 387480 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1553644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=253064/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1592972 CPUtime=1361.82 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 398073 0 0 0 135861 321 0 0 25 0 1 0 117082060 1631203328 397572 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 398243 397572 312 324 0 397312 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1592972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=209288/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1636280 CPUtime=1421.82 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 408908 0 0 0 141849 333 0 0 25 0 1 0 117082060 1675550720 408407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 409070 408407 312 324 0 408139 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1636280 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=170696/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1675232 CPUtime=1481.79 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 418640 0 0 0 147836 343 0 0 25 0 1 0 117082060 1715437568 418139 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 418808 418139 312 324 0 417877 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1675232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=143048/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1702408 CPUtime=1541.78 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 425444 0 0 0 153828 350 0 0 25 0 1 0 117082060 1743265792 424943 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 425602 424943 312 324 0 424671 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1702408 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=115784/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1730116 CPUtime=1601.76 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 432355 0 0 0 159819 357 0 0 25 0 1 0 117082060 1771638784 431854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10191306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 432529 431854 312 324 0 431598 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1730116 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=92232/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1753188 CPUtime=1661.75 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 438135 0 0 0 165813 362 0 0 25 0 1 0 117082060 1795264512 437634 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 438297 437634 312 324 0 437366 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1753188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=66312/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1779140 CPUtime=1721.73 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 444622 0 0 0 171805 368 0 0 25 0 1 0 117082060 1821839360 444121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 444785 444121 312 324 0 443854 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1779140 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=50056/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1795296 CPUtime=1781.71 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 448649 0 0 0 177799 372 0 0 25 0 1 0 117082060 1838383104 448148 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 448824 448148 312 324 0 447893 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1795296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=44936/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=1800140 CPUtime=1800.01 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194304 449877 0 0 0 179628 373 0 0 25 0 1 0 117082060 1843343360 449376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 450035 449376 312 324 0 449104 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1800140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1730 /proc/meminfo: memFree=44936/2055920 swapFree=4183704/4192956 [pid=1530] ppid=1528 vsize=0 CPUtime=1800.21 /proc/1530/stat : 1530 (bsolo3.0.16) R 1528 1530 1401 0 -1 4194308 449878 0 0 0 179628 393 0 0 25 0 1 0 117082060 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1530/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.89 CPU time (s): 1800.3 CPU user time (s): 1796.29 CPU system time (s): 4.01439 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 1800140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.29 system time used= 4.01439 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 449878 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= 2517 runsolver used 1.90271 second user time and 3.9514 second system time The end
Begin job on node74 on Mon Apr 16 02:47:53 UTC 2007 IDJOB= 349254 IDBENCH= 2319 IDSOLVER= 163 FILE ID= node74/349254-1176691673 PBS_JOBID= 4559999 Free space on /tmp= 103223 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349254-1176691673/instance-349254-1176691673.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-349254-1176691673 -o ROOT/results/node74/solver-349254-1176691673 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349254-1176691673/instance-349254-1176691673.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c5d594af626243e56994c23d5a3c48e8 RANDOM SEED= 68122140 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1845936 kB Buffers: 10300 kB Cached: 113580 kB SwapCached: 2668 kB Active: 89224 kB Inactive: 57868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845936 kB SwapTotal: 4192956 kB SwapFree: 4183704 kB Dirty: 5176 kB Writeback: 0 kB Mapped: 29568 kB Slab: 48652 kB Committed_AS: 1930028 kB PageTables: 1512 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103223 MiB End job on node74 on Mon Apr 16 03:17:56 UTC 2007