Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.25 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath1.opb |
MD5SUM | cadb80b29b1b884c95a94376a4e900b4 |
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 | 53335 |
Total number of constraints | 5302 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 189 |
Number of constraints which are nor clauses,nor cardinality constraints | 5113 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50934 |
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 | 4832120913850916 |
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/349289-1176693155/instance-349289-1176693155.opb 0.00/0.00 c File size is 4852876 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.19/0.28 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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.67 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.68 c Coefficients are big enough for not using lower bounding. 0.59/0.69 c Coefficients are big enough for not using lower bounding. 0.59/0.69 c Coefficients are big enough for not using lower bounding. 0.59/0.69 c Coefficients are big enough for not using lower bounding. 0.89/0.93 c Highest Coefficient sum: 4.83212e+15 0.89/0.93 c Parsing was ok!! 0.89/0.93 c Total parsing time: 0.932 s 0.89/0.98 c Var: 53335 Constr: 5806 590/0/5216 Lit: 578438 Watch. Lit: 175580 0.89/0.98 c Obj. Vars: 31 (0.0581232 % of total variables) 183.33/183.40 c Pre-processing Time: 183.333 s 1800.03/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.60 c 0 50813 4792 571064 119 283866 500000 0 0 183.33 1800.03/1800.60 c 100 50813 4892 842158 172 420573 550001 100 0 225.60 1800.03/1800.60 c 250 50813 5042 1295864 257 420704 605002 250 1 236.90 1800.03/1800.60 c 475 50813 5267 1979868 375 421288 665503 475 1 252.27 1800.03/1800.60 c 813 50813 5605 3002046 535 422120 732054 813 2 272.49 1800.03/1800.60 c 1321 50813 6113 4538969 742 422750 805260 1321 4 293.51 1800.03/1800.60 c 2084 50813 6876 6848010 995 424319 885787 2084 6 327.99 1800.03/1800.60 c 3230 50813 8022 10316100 1285 426565 974366 3230 8 380.69 1800.03/1800.60 c 4951 50813 9743 15525759 1593 430006 500000 4951 10 450.87 1800.03/1800.60 c 7535 50813 12327 23345430 1893 435325 550001 7535 14 525.72 1800.03/1800.60 c 11414 50813 16206 35120111 2167 443057 605002 11414 17 639.99 1800.03/1800.60 c 17236 50813 22028 52797304 2396 454699 665503 17236 23 731.14 1800.03/1800.60 c 25973 50813 30765 79346654 2579 472153 732054 25973 24 1070.91 1800.03/1800.60 c Caught signal: 15 1800.03/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.60 c 12 35912 108 576347 40704 110299805 35912 19 1800.03 1800.03/1800.60 s UNKNOWN 1800.03/1800.60 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/node3/watcher-349289-1176693155 -o ROOT/results/node3/solver-349289-1176693155 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349289-1176693155/instance-349289-1176693155.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.99 0.99 3/77 18625 /proc/meminfo: memFree=1735768/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=16476 CPUtime=0 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 145353296 16871424 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 4119 337 282 324 0 2003 0 [startup+0.066953 s] /proc/loadavg: 0.93 0.99 0.99 3/77 18625 /proc/meminfo: memFree=1735768/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=11024 CPUtime=0.06 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 1064 0 0 0 6 0 0 0 18 0 1 0 145353296 11288576 992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 2756 992 363 324 0 640 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11024 [startup+0.102958 s] /proc/loadavg: 0.93 0.99 0.99 3/77 18625 /proc/meminfo: memFree=1735768/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=12452 CPUtime=0.09 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 1501 0 0 0 9 0 0 0 18 0 1 0 145353296 12750848 1350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 3113 1352 410 324 0 997 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12452 [startup+0.30299 s] /proc/loadavg: 0.93 0.99 0.99 3/77 18625 /proc/meminfo: memFree=1735768/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=15252 CPUtime=0.29 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 2923 0 0 0 28 1 0 0 19 0 1 0 145353296 15618048 2323 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 3813 2323 673 324 0 1697 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15252 [startup+0.701055 s] /proc/loadavg: 0.93 0.99 0.99 3/77 18625 /proc/meminfo: memFree=1735768/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=18280 CPUtime=0.69 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 4222 0 0 0 68 1 0 0 22 0 1 0 145353296 18718720 3622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 4570 3622 1217 324 0 2454 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18280 [startup+1.50118 s] /proc/loadavg: 0.93 0.99 0.99 2/78 18626 /proc/meminfo: memFree=1714640/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26600 CPUtime=1.49 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7644 0 0 0 147 2 0 0 25 0 1 0 145353296 27238400 5859 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6650 5859 306 324 0 5719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26600 [startup+3.10144 s] /proc/loadavg: 1.01 1.01 1.00 3/78 18626 /proc/meminfo: memFree=1713168/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26600 CPUtime=3.08 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7649 0 0 0 306 2 0 0 25 0 1 0 145353296 27238400 5864 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6650 5864 306 324 0 5719 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 26600 [startup+6.30197 s] /proc/loadavg: 1.01 1.01 1.00 2/78 18626 /proc/meminfo: memFree=1713168/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26732 CPUtime=6.28 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7689 0 0 0 626 2 0 0 25 0 1 0 145353296 27373568 5904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6683 5904 306 324 0 5752 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26732 [startup+12.702 s] /proc/loadavg: 1.01 1.01 1.00 2/78 18626 /proc/meminfo: memFree=1713232/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26732 CPUtime=12.68 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7689 0 0 0 1266 2 0 0 25 0 1 0 145353296 27373568 5904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6683 5904 306 324 0 5752 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26732 [startup+25.5011 s] /proc/loadavg: 1.01 1.01 1.00 2/78 18626 /proc/meminfo: memFree=1713296/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26732 CPUtime=25.48 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7699 0 0 0 2546 2 0 0 25 0 1 0 145353296 27373568 5914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6683 5914 306 324 0 5752 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26732 [startup+51.1022 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1713360/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26732 CPUtime=51.06 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7710 0 0 0 5104 2 0 0 25 0 1 0 145353296 27373568 5925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6683 5925 306 324 0 5752 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 26732 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1713232/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=26996 CPUtime=102.25 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7748 0 0 0 10222 3 0 0 25 0 1 0 145353296 27643904 5963 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6749 5963 306 324 0 5818 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26996 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1713040/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=27128 CPUtime=162.22 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 7785 0 0 0 16219 3 0 0 25 0 1 0 145353296 27779072 6000 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 6782 6000 306 324 0 5851 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 27128 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1707920/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=32160 CPUtime=222.21 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 9170 0 0 0 22214 7 0 0 25 0 1 0 145353296 32931840 7280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 8040 7280 311 324 0 7109 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32160 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1673744/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=67332 CPUtime=282.19 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 17975 0 0 0 28206 13 0 0 25 0 1 0 145353296 68947968 16085 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 16833 16085 311 324 0 15902 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 67332 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1623824/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=116100 CPUtime=342.17 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 30157 0 0 0 34198 19 0 0 25 0 1 0 145353296 118886400 28267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 29025 28267 311 324 0 28094 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 116100 [startup+402.301 s] /proc/loadavg: 1.06 1.02 1.00 2/78 18626 /proc/meminfo: memFree=1572368/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=168084 CPUtime=402.15 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 43173 0 0 0 40191 24 0 0 25 0 1 0 145353296 172118016 41283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 42021 41283 311 324 0 41090 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 168084 [startup+462.302 s] /proc/loadavg: 1.02 1.01 1.00 3/78 18626 /proc/meminfo: memFree=1517648/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=221848 CPUtime=462.14 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 56609 0 0 0 46184 30 0 0 25 0 1 0 145353296 227172352 54719 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 55462 54719 311 324 0 54531 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 221848 [startup+522.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1432080/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=309808 CPUtime=522.11 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 78594 0 0 0 52170 41 0 0 25 0 1 0 145353296 317243392 76704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 77452 76704 311 324 0 76521 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 309808 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1341776/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=398992 CPUtime=582.1 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 100891 0 0 0 58158 52 0 0 25 0 1 0 145353296 408567808 99001 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 99748 99001 311 324 0 98817 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 398992 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=1268816/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=470088 CPUtime=642.09 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 118665 0 0 0 64149 60 0 0 25 0 1 0 145353296 481370112 116775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 117522 116775 311 324 0 116591 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 470088 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=911760/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=826484 CPUtime=882 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 207754 0 0 0 88096 104 0 0 25 0 1 0 145353296 846319616 205864 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 206621 205864 311 324 0 205690 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 826484 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=865680/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=872824 CPUtime=941.98 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 219338 0 0 0 94090 108 0 0 25 0 1 0 145353296 893771776 217448 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 218206 217448 311 324 0 217275 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 872824 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=804368/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=933580 CPUtime=1001.97 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 234537 0 0 0 100081 116 0 0 25 0 1 0 145353296 955985920 232647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 233395 232647 311 324 0 232464 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 933580 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18626 /proc/meminfo: memFree=716240/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1022600 CPUtime=1061.94 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 256783 0 0 0 106068 126 0 0 25 0 1 0 145353296 1047142400 254893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 255650 254893 311 324 0 254719 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1022600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=703504/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1033848 CPUtime=1121.92 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 259612 0 0 0 112057 135 0 0 25 0 1 0 145353296 1058660352 257722 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 258462 257722 311 324 0 257531 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1033848 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=702992/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1034324 CPUtime=1181.91 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 259744 0 0 0 118047 144 0 0 25 0 1 0 145353296 1059147776 257854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 258581 257854 311 324 0 257650 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1034324 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=641936/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1096844 CPUtime=1241.89 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 275389 0 0 0 124035 154 0 0 25 0 1 0 145353296 1123168256 273499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 274211 273499 311 324 0 273280 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1096844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=548176/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1188648 CPUtime=1301.88 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 298355 0 0 0 130020 168 0 0 25 0 1 0 145353296 1217175552 296465 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 297162 296465 311 324 0 296231 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1188648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=427472/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1309156 CPUtime=1361.85 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 328476 0 0 0 136004 181 0 0 25 0 1 0 145353296 1340575744 326586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 327289 326586 311 324 0 326358 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1309156 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=413072/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1323536 CPUtime=1421.84 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 332070 0 0 0 142000 184 0 0 25 0 1 0 145353296 1355300864 330180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 330884 330180 311 324 0 329953 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1323536 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=397328/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1339292 CPUtime=1481.82 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 336009 0 0 0 147995 187 0 0 25 0 1 0 145353296 1371435008 334119 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 334823 334119 311 324 0 333892 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1339292 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=380496/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1356028 CPUtime=1541.8 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 340183 0 0 0 153991 189 0 0 25 0 1 0 145353296 1388572672 338293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 339007 338293 311 324 0 338076 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1356028 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=364880/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1371680 CPUtime=1601.77 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 344116 0 0 0 159986 191 0 0 25 0 1 0 145353296 1404600320 342226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 342920 342226 311 324 0 341989 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1371680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=348048/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1388320 CPUtime=1661.76 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 348276 0 0 0 165983 193 0 0 25 0 1 0 145353296 1421639680 346386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 347080 346386 311 324 0 346149 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1388320 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=331792/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1404716 CPUtime=1721.74 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 352375 0 0 0 171979 195 0 0 25 0 1 0 145353296 1438429184 350485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 351179 350485 311 324 0 350248 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1404716 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=314832/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1421492 CPUtime=1781.72 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 356549 0 0 0 177974 198 0 0 25 0 1 0 145353296 1455607808 354659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 355373 354659 311 324 0 354442 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1421492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18628 /proc/meminfo: memFree=309456/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=1426736 CPUtime=1800.03 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194304 357880 0 0 0 179804 199 0 0 25 0 1 0 145353296 1460977664 355990 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 356684 355990 311 324 0 355753 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1426736 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/78 18628 /proc/meminfo: memFree=309456/2055920 swapFree=4153684/4192956 [pid=18625] ppid=18623 vsize=0 CPUtime=1800.22 /proc/18625/stat : 18625 (bsolo3.0.16) R 18623 18625 18192 0 -1 4194308 357881 0 0 0 179804 218 0 0 25 0 1 0 145353296 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/18625/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.25 CPU user time (s): 1798.04 CPU system time (s): 2.21066 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 1426736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.04 system time used= 2.21066 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357881 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= 3060 runsolver used 2.04469 second user time and 4.09638 second system time The end
Begin job on node3 on Mon Apr 16 03:12:36 UTC 2007 IDJOB= 349289 IDBENCH= 2333 IDSOLVER= 163 FILE ID= node3/349289-1176693155 PBS_JOBID= 4559419 Free space on /tmp= 66499 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-swath1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349289-1176693155/instance-349289-1176693155.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-349289-1176693155 -o ROOT/results/node3/solver-349289-1176693155 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349289-1176693155/instance-349289-1176693155.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= cadb80b29b1b884c95a94376a4e900b4 RANDOM SEED= 65697725 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1736368 kB Buffers: 23508 kB Cached: 220680 kB SwapCached: 2244 kB Active: 193352 kB Inactive: 74704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1736368 kB SwapTotal: 4192956 kB SwapFree: 4153684 kB Dirty: 9144 kB Writeback: 0 kB Mapped: 31724 kB Slab: 37064 kB Committed_AS: 5135008 kB PageTables: 1784 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= 66499 MiB End job on node3 on Mon Apr 16 03:42:38 UTC 2007