Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.23 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath3.opb |
MD5SUM | 24a38adb0cf3d573eb3de1ce9ead1201 |
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 | 49335 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 209 |
Number of constraints which are nor clauses,nor cardinality constraints | 4693 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 46934 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824000000 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4776342294353942 |
Number of bits of the biggest sum of numbers | 53 |
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/349269-1176692461/instance-349269-1176692461.opb 0.00/0.00 c File size is 4555091 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.19/0.27 c Coefficients are big enough for not using lower bounding. 0.29/0.38 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.39 c Coefficients are big enough for not using lower bounding. 0.29/0.40 c Coefficients are big enough for not using lower bounding. 0.29/0.40 c Coefficients are big enough for not using lower bounding. 0.39/0.40 c Coefficients are big enough for not using lower bounding. 0.39/0.40 c Coefficients are big enough for not using lower bounding. 0.39/0.40 c Coefficients are big enough for not using lower bounding. 0.39/0.40 c Coefficients are big enough for not using lower bounding. 0.39/0.40 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.41 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.42 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.43 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.44 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.45 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.46 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.47 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.48 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.49 c Coefficients are big enough for not using lower bounding. 0.39/0.50 c Coefficients are big enough for not using lower bounding. 0.39/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.50 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.51 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.52 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.53 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.54 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.55 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.56 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.57 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.58 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.59 c Coefficients are big enough for not using lower bounding. 0.49/0.60 c Coefficients are big enough for not using lower bounding. 0.49/0.60 c Coefficients are big enough for not using lower bounding. 0.49/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.60 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.61 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.62 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.63 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.64 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.65 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.59/0.66 c Coefficients are big enough for not using lower bounding. 0.79/0.90 c Highest Coefficient sum: 4.77634e+15 0.79/0.90 c Parsing was ok!! 0.79/0.90 c Total parsing time: 0.895 s 0.88/0.94 c Var: 49335 Constr: 5406 610/0/4796 Lit: 539508 Watch. Lit: 162484 0.88/0.94 c Obj. Vars: 31 (0.0628357 % of total variables) 180.95/181.10 c Pre-processing Time: 180.953 s 1799.99/1800.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.63 c 0 47013 4412 532754 120 265001 500000 0 0 180.95 1799.99/1800.63 c 101 47013 4513 802046 177 395552 550001 101 0 200.96 1799.99/1800.63 c 253 47013 4665 1224164 262 395505 605002 253 1 205.81 1799.99/1800.63 c 478 47013 4890 1813866 370 395575 665503 478 2 230.12 1799.99/1800.63 c 817 47013 5229 2753920 526 395545 732054 817 3 239.42 1799.99/1800.63 c 1326 47013 5738 4163495 725 396489 805260 1326 5 251.37 1799.99/1800.63 c 2089 47013 6501 6272608 964 398063 885787 2089 7 261.39 1799.99/1800.63 c 3235 47013 7647 9434966 1233 400365 974366 3235 10 305.47 1799.99/1800.63 c 4956 47013 9368 14176233 1513 403859 500000 4956 14 348.67 1799.99/1800.63 c 7543 47013 11955 21294845 1781 409023 550001 7543 17 440.99 1799.99/1800.63 c 11422 47013 15834 31959353 2018 416838 605002 11422 19 584.09 1799.99/1800.63 c 17244 47013 21656 51440965 2375 429264 665503 17244 23 739.77 1799.99/1800.63 c 25985 47013 30397 85152962 2801 444622 732054 25985 25 1016.48 1799.99/1800.63 c 39095 47013 43507 95056467 2184 470375 805260 39095 22 1741.21 1799.99/1800.63 c Resources Exceeded 1799.99/1800.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.63 c 13 39331 1321 333675 43743 95717528 39331 21 1800.03 1799.99/1800.63 s UNKNOWN 1799.99/1800.63 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-349269-1176692461 -o ROOT/results/node2/solver-349269-1176692461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349269-1176692461/instance-349269-1176692461.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31703 /proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=16188 CPUtime=0 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 145283881 16576512 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 4047 338 282 324 0 2003 0 [startup+0.0225471 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31703 /proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=8960 CPUtime=0.01 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 543 0 0 0 1 0 0 0 18 0 1 0 145283881 9175040 511 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 2240 511 304 324 0 196 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8960 [startup+0.101554 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31703 /proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=12024 CPUtime=0.09 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 1451 0 0 0 9 0 0 0 18 0 1 0 145283881 12312576 1300 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 3006 1300 402 324 0 962 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12024 [startup+0.301576 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31703 /proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=14368 CPUtime=0.29 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 2677 0 0 0 28 1 0 0 19 0 1 0 145283881 14712832 2158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 3592 2158 658 324 0 1548 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14368 [startup+0.701618 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31703 /proc/meminfo: memFree=1843128/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=17632 CPUtime=0.69 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 4053 0 0 0 68 1 0 0 22 0 1 0 145283881 18055168 3485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 4408 3485 1188 324 0 2364 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17632 [startup+1.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31730 /proc/meminfo: memFree=1821632/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=24924 CPUtime=1.49 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7140 0 0 0 146 3 0 0 25 0 1 0 145283881 25522176 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6231 5459 306 324 0 5300 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24924 [startup+3.10187 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31730 /proc/meminfo: memFree=1820736/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25056 CPUtime=3.09 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7145 0 0 0 306 3 0 0 25 0 1 0 145283881 25657344 5464 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6264 5464 306 324 0 5333 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25056 [startup+6.3012 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31770 /proc/meminfo: memFree=1820408/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25188 CPUtime=6.26 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7183 0 0 0 623 3 0 0 25 0 1 0 145283881 25792512 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6297 5502 306 324 0 5366 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 25188 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31778 /proc/meminfo: memFree=1820472/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25188 CPUtime=12.65 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7183 0 0 0 1262 3 0 0 25 0 1 0 145283881 25792512 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6297 5502 306 324 0 5366 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 25188 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31826 /proc/meminfo: memFree=1820664/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25188 CPUtime=25.42 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7193 0 0 0 2539 3 0 0 25 0 1 0 145283881 25792512 5512 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6297 5512 306 324 0 5366 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 25188 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31878 /proc/meminfo: memFree=1820600/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25188 CPUtime=51 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7202 0 0 0 5096 4 0 0 25 0 1 0 145283881 25792512 5521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6297 5521 306 324 0 5366 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 25188 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1821680/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25452 CPUtime=102.17 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7249 0 0 0 10213 4 0 0 25 0 1 0 145283881 26062848 5568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6363 5568 306 324 0 5432 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 25452 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1821424/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=25584 CPUtime=162.15 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 7282 0 0 0 16210 5 0 0 25 0 1 0 145283881 26198016 5601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 6396 5601 306 324 0 5465 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 25584 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1807088/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=39784 CPUtime=222.13 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 10961 0 0 0 22203 10 0 0 25 0 1 0 145283881 40738816 9183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 9946 9183 311 324 0 9015 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 39784 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1723760/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=123204 CPUtime=282.11 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 31831 0 0 0 28189 22 0 0 25 0 1 0 145283881 126160896 30053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 30801 30053 311 324 0 29870 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 123204 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1649456/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=196956 CPUtime=342.1 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 50262 0 0 0 34179 31 0 0 25 0 1 0 145283881 201682944 48484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 49239 48484 311 324 0 48308 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 196956 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1585328/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=261228 CPUtime=402.08 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 66319 0 0 0 40169 39 0 0 25 0 1 0 145283881 267497472 64541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 65307 64541 311 324 0 64376 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 261228 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1537584/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=308660 CPUtime=462.06 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 78188 0 0 0 46161 45 0 0 25 0 1 0 145283881 316067840 76410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 77165 76410 311 324 0 76234 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 308660 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1476208/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=371052 CPUtime=522.04 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 93777 0 0 0 52152 52 0 0 25 0 1 0 145283881 379957248 91999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 92763 91999 311 324 0 91832 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 371052 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1419312/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=426880 CPUtime=582.03 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 107734 0 0 0 58143 60 0 0 25 0 1 0 145283881 437125120 105956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 106720 105956 311 324 0 105789 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 426880 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1386928/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=458688 CPUtime=642.01 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 115703 0 0 0 64137 64 0 0 25 0 1 0 145283881 469696512 113925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 114672 113925 311 324 0 113741 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 458688 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1135472/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=709276 CPUtime=881.94 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 178374 0 0 0 88097 97 0 0 25 0 1 0 145283881 726298624 176596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 177319 176596 311 324 0 176388 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 709276 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1103600/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=745680 CPUtime=941.93 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 187466 0 0 0 94087 106 0 0 25 0 1 0 145283881 763576320 185688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 186420 185688 311 324 0 185489 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 745680 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=812592/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1033092 CPUtime=1001.92 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 259330 0 0 0 100055 137 0 0 25 0 1 0 145283881 1057886208 257552 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 258273 257552 311 324 0 257342 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1033092 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=733424/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1110416 CPUtime=1061.9 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 278659 0 0 0 106044 146 0 0 25 0 1 0 145283881 1137065984 276881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 277604 276881 311 324 0 276673 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1110416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=722416/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1121208 CPUtime=1121.87 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 281368 0 0 0 112039 148 0 0 25 0 1 0 145283881 1148116992 279590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 280302 279590 311 324 0 279371 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1121208 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=712240/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1131468 CPUtime=1181.86 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 283931 0 0 0 118036 150 0 0 25 0 1 0 145283881 1158623232 282153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 282867 282153 311 324 0 281936 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1131468 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=698416/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1145008 CPUtime=1241.85 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 287294 0 0 0 124032 153 0 0 25 0 1 0 145283881 1172488192 285516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 286252 285516 311 324 0 285321 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1145008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=687728/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1155548 CPUtime=1301.83 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 289932 0 0 0 130029 154 0 0 25 0 1 0 145283881 1183281152 288154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 288887 288154 311 324 0 287956 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1155548 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=676272/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1166836 CPUtime=1361.81 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 292777 0 0 0 136025 156 0 0 25 0 1 0 145283881 1194840064 290999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 291709 290999 311 324 0 290778 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1166836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=663280/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1179688 CPUtime=1421.79 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 295991 0 0 0 142022 157 0 0 25 0 1 0 145283881 1208000512 294213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 294922 294213 311 324 0 293991 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1179688 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=654192/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1188920 CPUtime=1481.78 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 298295 0 0 0 148019 159 0 0 25 0 1 0 145283881 1217454080 296517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 297230 296517 311 324 0 296299 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1188920 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=643312/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1199700 CPUtime=1541.76 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 300970 0 0 0 154014 162 0 0 25 0 1 0 145283881 1228492800 299192 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 299925 299192 311 324 0 298994 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1199700 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=629488/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1213588 CPUtime=1601.75 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 304442 0 0 0 160010 165 0 0 25 0 1 0 145283881 1242714112 302664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 303397 302664 311 324 0 302466 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1213588 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=620464/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1222284 CPUtime=1661.72 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 306634 0 0 0 166006 166 0 0 25 0 1 0 145283881 1251618816 304856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 305571 304856 311 324 0 304640 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1222284 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=612208/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1230588 CPUtime=1721.71 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 308700 0 0 0 172003 168 0 0 25 0 1 0 145283881 1260122112 306922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 307647 306922 311 324 0 306716 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1230588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=606128/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=1236476 CPUtime=1781.7 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194304 310184 0 0 0 177998 172 0 0 25 0 1 0 145283881 1266151424 308406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 309119 308406 311 324 0 308188 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1236476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1040048/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=0 CPUtime=1800.1 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194308 311431 0 0 0 179830 180 0 0 25 0 1 0 145283881 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31902 /proc/meminfo: memFree=1040048/2055920 swapFree=4147232/4192956 [pid=31703] ppid=31701 vsize=0 CPUtime=1800.2 /proc/31703/stat : 31703 (bsolo3.0.16) R 31701 31703 30815 0 -1 4194308 311431 0 0 0 179830 190 0 0 25 0 1 0 145283881 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31703/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.23 CPU user time (s): 1798.3 CPU system time (s): 1.92671 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 1241492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.3 system time used= 1.92671 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 311431 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= 3864 runsolver used 2.16167 second user time and 4.15737 second system time The end
Begin job on node2 on Mon Apr 16 03:01:01 UTC 2007 IDJOB= 349269 IDBENCH= 2326 IDSOLVER= 163 FILE ID= node2/349269-1176692461 PBS_JOBID= 4559410 Free space on /tmp= 66527 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-swath3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349269-1176692461/instance-349269-1176692461.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-349269-1176692461 -o ROOT/results/node2/solver-349269-1176692461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349269-1176692461/instance-349269-1176692461.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 24a38adb0cf3d573eb3de1ce9ead1201 RANDOM SEED= 133431411 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1843536 kB Buffers: 12944 kB Cached: 119652 kB SwapCached: 14488 kB Active: 64228 kB Inactive: 104820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843536 kB SwapTotal: 4192956 kB SwapFree: 4147232 kB Dirty: 8928 kB Writeback: 0 kB Mapped: 43032 kB Slab: 28772 kB Committed_AS: 7042048 kB PageTables: 1892 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= 66527 MiB End job on node2 on Mon Apr 16 03:31:04 UTC 2007