| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | Signal | 1566.46 | 1567.08 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb |
| MD5SUM | d26b3b10be20d9248aac462b86b1f040 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 99.0009 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 45 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 940 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3331 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 94 variables and 8 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.012 0.02 c After prepocess the problem consists of 94 variables and 8 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 94 LB: 0 @ 0.019 0.05 c Restart #2 #Var: 94 LB: 0 @ 0.037 0.07 c Restart #3 #Var: 94 LB: 0 @ 0.064 0.11 c Restart #4 #Var: 94 LB: 0 @ 0.096 0.13 c Restart #5 #Var: 94 LB: 0 @ 0.123 0.17 c Restart #6 #Var: 94 LB: 0 @ 0.16 0.21 c Restart #7 #Var: 94 LB: 0 @ 0.2 0.29 c Restart #8 #Var: 94 LB: 0 @ 0.28 0.34 c Restart #9 #Var: 94 LB: 0 @ 0.333 0.41 c Restart #10 #Var: 94 LB: 0 @ 0.396 0.48 c Restart #11 #Var: 94 LB: 0 @ 0.472 0.57 c Restart #12 #Var: 94 LB: 0 @ 0.563 0.65 c Sol. found (all assignments made)... 0.65 o 1280 0.65 c NEW SOLUTION FOUND: 1280 @ 0.642 0.65 c Sol. found (all assignments made)... 0.65 o 1024 0.65 c NEW SOLUTION FOUND: 1024 @ 0.642 0.65 c Sol. found (all assignments made)... 0.65 o 960 0.65 c NEW SOLUTION FOUND: 960 @ 0.642 0.65 c Sol. found (all assignments made)... 0.65 o 944 0.65 c NEW SOLUTION FOUND: 944 @ 0.642 0.65 c Sol. found (all assignments made)... 0.65 o 936 0.65 c NEW SOLUTION FOUND: 936 @ 0.642 0.65 c Sol. found (all assignments made)... 0.65 o 934 0.65 c NEW SOLUTION FOUND: 934 @ 0.642 0.65 c Sol. found (all assignments made)... 0.65 o 930 0.65 c NEW SOLUTION FOUND: 930 @ 0.643 0.65 c Sol. found (all assignments made)... 0.65 o 926 0.65 c NEW SOLUTION FOUND: 926 @ 0.643 0.66 c Sol. found (all assignments made)... 0.66 o 922 0.66 c NEW SOLUTION FOUND: 922 @ 0.644 0.66 c Sol. found (all assignments made)... 0.66 o 918 0.66 c NEW SOLUTION FOUND: 918 @ 0.644 0.66 c Sol. found (all assignments made)... 0.66 o 914 0.66 c NEW SOLUTION FOUND: 914 @ 0.644 0.66 c Sol. found (all assignments made)... 0.66 o 910 0.66 c NEW SOLUTION FOUND: 910 @ 0.645 0.66 c Sol. found (all assignments made)... 0.66 o 906 0.66 c NEW SOLUTION FOUND: 906 @ 0.648 0.66 c Sol. found (all assignments made)... 0.66 o 902 0.66 c NEW SOLUTION FOUND: 902 @ 0.65 0.66 c Sol. found (all assignments made)... 0.66 o 894 0.66 c NEW SOLUTION FOUND: 894 @ 0.652 0.66 c Sol. found (all assignments made)... 0.66 o 886 0.66 c NEW SOLUTION FOUND: 886 @ 0.653 0.67 c Sol. found (all assignments made)... 0.67 o 878 0.67 c NEW SOLUTION FOUND: 878 @ 0.655 0.67 c Sol. found (all assignments made)... 0.67 o 874 0.67 c NEW SOLUTION FOUND: 874 @ 0.659 0.69 c Sol. found (all assignments made)... 0.69 o 872 0.69 c NEW SOLUTION FOUND: 872 @ 0.679 0.70 c Sol. found (all assignments made)... 0.70 o 858 0.70 c NEW SOLUTION FOUND: 858 @ 0.692 0.70 c Sol. found (all assignments made)... 0.70 o 794 0.70 c NEW SOLUTION FOUND: 794 @ 0.693 0.71 c Sol. found (all assignments made)... 0.71 o 778 0.71 c NEW SOLUTION FOUND: 778 @ 0.694 0.71 c Sol. found (all assignments made)... 0.71 o 776 0.71 c NEW SOLUTION FOUND: 776 @ 0.698 0.72 c Sol. found (all assignments made)... 0.72 o 762 0.72 c NEW SOLUTION FOUND: 762 @ 0.708 0.72 c Sol. found (all assignments made)... 0.72 o 746 0.72 c NEW SOLUTION FOUND: 746 @ 0.711 0.73 c Sol. found (all assignments made)... 0.73 o 744 0.73 c NEW SOLUTION FOUND: 744 @ 0.714 0.73 c Sol. found (all assignments made)... 0.73 o 714 0.73 c NEW SOLUTION FOUND: 714 @ 0.72 0.74 c Sol. found (all assignments made)... 0.74 o 698 0.74 c NEW SOLUTION FOUND: 698 @ 0.725 0.74 c Sol. found (all assignments made)... 0.74 o 682 0.74 c NEW SOLUTION FOUND: 682 @ 0.726 0.75 c Sol. found (all assignments made)... 0.75 o 680 0.75 c NEW SOLUTION FOUND: 680 @ 0.738 0.81 c Sol. found (all assignments made)... 0.81 o 666 0.81 c NEW SOLUTION FOUND: 666 @ 0.797 0.83 c Sol. found (all assignments made)... 0.83 o 664 0.83 c NEW SOLUTION FOUND: 664 @ 0.82 0.89 c Sol. found (all assignments made)... 0.89 o 656 0.89 c NEW SOLUTION FOUND: 656 @ 0.878 1.04 c Sol. found (all assignments made)... 1.04 o 654 1.04 c NEW SOLUTION FOUND: 654 @ 1.023 1.04 c Sol. found (all assignments made)... 1.04 o 652 1.04 c NEW SOLUTION FOUND: 652 @ 1.025 1.39 c Sol. found (all assignments made)... 1.39 o 650 1.39 c NEW SOLUTION FOUND: 650 @ 1.377 1.62 c Sol. found (all assignments made)... 1.62 o 648 1.62 c NEW SOLUTION FOUND: 648 @ 1.608 1.62 c Sol. found (all assignments made)... 1.62 o 618 1.62 c NEW SOLUTION FOUND: 618 @ 1.609 1.62 c Sol. found (all assignments made)... 1.62 o 616 1.62 c NEW SOLUTION FOUND: 616 @ 1.609 1.64 c Sol. found (all assignments made)... 1.64 o 504 1.64 c NEW SOLUTION FOUND: 504 @ 1.624 1.64 c Sol. found (all assignments made)... 1.64 o 478 1.64 c NEW SOLUTION FOUND: 478 @ 1.624 1.64 c Sol. found (all assignments made)... 1.64 o 476 1.64 c NEW SOLUTION FOUND: 476 @ 1.624 1.64 c Sol. found (all assignments made)... 1.64 o 474 1.64 c NEW SOLUTION FOUND: 474 @ 1.625 1.64 c Sol. found (all assignments made)... 1.64 o 456 1.64 c NEW SOLUTION FOUND: 456 @ 1.625 1.64 c Sol. found (all assignments made)... 1.64 o 450 1.64 c NEW SOLUTION FOUND: 450 @ 1.625 1.64 c Sol. found (all assignments made)... 1.64 o 448 1.64 c NEW SOLUTION FOUND: 448 @ 1.626 1.64 c Sol. found (all assignments made)... 1.64 o 442 1.64 c NEW SOLUTION FOUND: 442 @ 1.626 1.64 c Sol. found (all assignments made)... 1.64 o 440 1.64 c NEW SOLUTION FOUND: 440 @ 1.626 1.64 c Sol. found (all assignments made)... 1.64 o 424 1.64 c NEW SOLUTION FOUND: 424 @ 1.626 1.64 c Sol. found (all assignments made)... 1.64 o 392 1.64 c NEW SOLUTION FOUND: 392 @ 1.627 1.74 c Sol. found (all assignments made)... 1.74 o 390 1.74 c NEW SOLUTION FOUND: 390 @ 1.731 1.86 c Sol. found (all assignments made)... 1.86 o 356 1.86 c NEW SOLUTION FOUND: 356 @ 1.845 1.86 c Sol. found (all assignments made)... 1.86 o 304 1.86 c NEW SOLUTION FOUND: 304 @ 1.846 1.86 c Sol. found (all assignments made)... 1.86 o 298 1.86 c NEW SOLUTION FOUND: 298 @ 1.847 1.86 c Sol. found (all assignments made)... 1.86 o 296 1.86 c NEW SOLUTION FOUND: 296 @ 1.847 1.86 c Sol. found (all assignments made)... 1.86 o 294 1.86 c NEW SOLUTION FOUND: 294 @ 1.848 1.86 c Sol. found (all assignments made)... 1.86 o 292 1.86 c NEW SOLUTION FOUND: 292 @ 1.848 2.00 c Sol. found (all assignments made)... 2.00 o 262 2.00 c NEW SOLUTION FOUND: 262 @ 1.987 2.23 c Sol. found (all assignments made)... 2.23 o 216 2.23 c NEW SOLUTION FOUND: 216 @ 2.213 2.23 c Sol. found (all assignments made)... 2.23 o 200 2.23 c NEW SOLUTION FOUND: 200 @ 2.213 2.23 c Sol. found (all assignments made)... 2.23 o 198 2.23 c NEW SOLUTION FOUND: 198 @ 2.214 2.41 c Sol. found (all assignments made)... 2.41 o 192 2.41 c NEW SOLUTION FOUND: 192 @ 2.395 2.42 c Sol. found (all assignments made)... 2.42 o 190 2.42 c NEW SOLUTION FOUND: 190 @ 2.403 3.26 c Restart #13 #Var: 94 LB: 0 @ 3.245 4.37 c Restart #14 #Var: 94 LB: 0 @ 4.361 5.00 c Restart #15 #Var: 94 LB: 0 @ 4.983 5.24 c Restart #16 #Var: 94 LB: 0 @ 5.224 5.61 c CHANGE to MIS mode... UB: 190 MIS: 0 LPR: 0 (0.007) Diff: nan 5.61 c Restart #0 #Var: 94 LB: 0 @ 5.597 5.66 c Restart #1 #Var: 94 LB: 0 @ 5.641 5.74 c Restart #2 #Var: 94 LB: 0 @ 5.73 5.80 c Restart #3 #Var: 94 LB: 0 @ 5.788 5.89 c Restart #4 #Var: 94 LB: 0 @ 5.877 5.96 c Restart #5 #Var: 94 LB: 0 @ 5.948 6.18 c Restart #6 #Var: 94 LB: 0 @ 6.163 6.51 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.58 c Restart #7 #Var: 94 LB: 0 @ 6.561 7.58 c Restart #8 #Var: 94 LB: 0 @ 7.562 8.68 c Restart #9 #Var: 94 LB: 0 @ 8.663 9.48 c Restart #10 #Var: 94 LB: 0 @ 9.464 9.83 c Restart #11 #Var: 94 LB: 0 @ 9.819 10.51 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 o 188 10.51 c NEW SOLUTION FOUND: 188 @ 10.492 10.53 c Sol. found (all assignments made)... 10.53 o 186 10.53 c NEW SOLUTION FOUND: 186 @ 10.514 14.09 c Restart #12 #Var: 94 LB: 0 @ 14.069 17.19 c Restart #13 #Var: 94 LB: 0 @ 17.167 18.66 c Restart #14 #Var: 94 LB: 0 @ 18.641 20.69 c Restart #15 #Var: 94 LB: 0 @ 20.669 24.19 c Restart #16 #Var: 94 LB: 0 @ 24.166 28.30 c Restart #17 #Var: 94 LB: 0 @ 28.28 29.81 c Restart #18 #Var: 94 LB: 0 @ 29.789 33.20 c Sol. found (all assignments made)... 33.20 o 184 33.20 c NEW SOLUTION FOUND: 184 @ 33.175 40.11 c Sol. found (all assignments made)... 40.11 o 183 40.11 c NEW SOLUTION FOUND: 183 @ 40.084 40.18 c Sol. found (all assignments made)... 40.18 o 181 40.18 c NEW SOLUTION FOUND: 181 @ 40.157 40.19 c Sol. found (all assignments made)... 40.19 o 179 40.19 c NEW SOLUTION FOUND: 179 @ 40.158 42.45 c Sol. found (all assignments made)... 42.45 c Sol. found (all assignments made)... 42.45 o 177 42.45 c NEW SOLUTION FOUND: 177 @ 42.426 42.77 c Sol. found (all assignments made)... 42.77 o 175 42.77 c NEW SOLUTION FOUND: 175 @ 42.742 42.95 c Sol. found (all assignments made)... 42.95 o 169 42.95 c NEW SOLUTION FOUND: 169 @ 42.925 42.98 c Sol. found (all assignments made)... 42.98 o 167 42.98 c NEW SOLUTION FOUND: 167 @ 42.953 43.30 c Sol. found (all assignments made)... 43.30 o 161 43.30 c NEW SOLUTION FOUND: 161 @ 43.27 43.32 c Sol. found (all assignments made)... 43.32 o 153 43.32 c NEW SOLUTION FOUND: 153 @ 43.29 43.34 c Sol. found (all assignments made)... 43.34 o 151 43.34 c NEW SOLUTION FOUND: 151 @ 43.313 43.56 c Sol. found (all assignments made)... 43.56 o 145 43.56 c NEW SOLUTION FOUND: 145 @ 43.531 43.58 c Sol. found (all assignments made)... 43.58 o 143 43.58 c NEW SOLUTION FOUND: 143 @ 43.555 43.83 c Sol. found (all assignments made)... 43.83 o 137 43.83 c NEW SOLUTION FOUND: 137 @ 43.798 43.91 c Sol. found (all assignments made)... 43.91 o 135 43.91 c NEW SOLUTION FOUND: 135 @ 43.88 46.33 c Sol. found (all assignments made)... 46.33 o 133 46.33 c NEW SOLUTION FOUND: 133 @ 46.298 46.78 c Sol. found (all assignments made)... 46.78 o 131 46.78 c NEW SOLUTION FOUND: 131 @ 46.749 47.08 c Sol. found (all assignments made)... 47.08 o 121 47.08 c NEW SOLUTION FOUND: 121 @ 47.047 47.21 c Sol. found (all assignments made)... 47.21 c Sol. found (all assignments made)... 47.25 c Sol. found (all assignments made)... 47.25 o 119 47.25 c NEW SOLUTION FOUND: 119 @ 47.221 47.27 c Sol. found (all assignments made)... 47.27 o 117 47.27 c NEW SOLUTION FOUND: 117 @ 47.236 47.72 c Sol. found (all assignments made)... 47.72 o 109 47.72 c NEW SOLUTION FOUND: 109 @ 47.689 47.79 c Sol. found (all assignments made)... 47.79 o 105 47.79 c NEW SOLUTION FOUND: 105 @ 47.758 48.00 c Sol. found (all assignments made)... 48.00 o 101 48.00 c NEW SOLUTION FOUND: 101 @ 47.967 48.28 c Sol. found (all assignments made)... 48.28 o 99 48.28 c NEW SOLUTION FOUND: 99 @ 48.249 55.21 c Restart #19 #Var: 94 LB: 0 @ 55.174 60.11 c Restart #20 #Var: 94 LB: 0 @ 60.075 64.71 c Restart #21 #Var: 94 LB: 0 @ 64.678 68.41 c Restart #22 #Var: 93 LB: 0 @ 68.376 85.44 c Restart #23 #Var: 90 LB: 0 @ 85.396 100.07 c Sol. found (all assignments made)... 100.07 c Sol. found (all assignments made)... 100.07 o 96 100.07 c NEW SOLUTION FOUND: 96 @ 100.02 112.26 c Sol. found (all assignments made)... 112.26 o 95 112.26 c NEW SOLUTION FOUND: 95 @ 112.2 112.26 c Sol. found (all assignments made)... 112.26 o 93 112.26 c NEW SOLUTION FOUND: 93 @ 112.21 112.28 c Sol. found (all assignments made)... 112.28 o 87 112.28 c NEW SOLUTION FOUND: 87 @ 112.22 114.10 c Sol. found (all assignments made)... 114.10 o 86 114.10 c NEW SOLUTION FOUND: 86 @ 114.04 114.25 c Sol. found (all assignments made)... 114.25 o 72 114.25 c NEW SOLUTION FOUND: 72 @ 114.19 114.25 c Sol. found (all assignments made)... 114.25 o 66 114.25 c NEW SOLUTION FOUND: 66 @ 114.19 114.25 c Sol. found (all assignments made)... 114.25 o 64 114.25 c NEW SOLUTION FOUND: 64 @ 114.2 114.26 c Sol. found (all assignments made)... 114.26 o 60 114.26 c NEW SOLUTION FOUND: 60 @ 114.2 114.72 c Sol. found (all assignments made)... 114.72 o 58 114.72 c NEW SOLUTION FOUND: 58 @ 114.66 119.89 c Sol. found (all assignments made)... 119.89 c Sol. found (all assignments made)... 119.90 c Sol. found (all assignments made)... 119.90 c Sol. found (all assignments made)... 119.93 c Sol. found (all assignments made)... 119.93 o 56 119.93 c NEW SOLUTION FOUND: 56 @ 119.87 119.93 c Sol. found (all assignments made)... 119.94 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.48 o 54 120.48 c NEW SOLUTION FOUND: 54 @ 120.42 120.48 c Sol. found (all assignments made)... 120.48 o 52 120.48 c NEW SOLUTION FOUND: 52 @ 120.42 120.48 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.63 c Sol. found (all assignments made)... 120.63 c Sol. found (all assignments made)... 120.63 c Sol. found (all assignments made)... 120.63 c Sol. found (all assignments made)... 120.63 o 46 120.63 c NEW SOLUTION FOUND: 46 @ 120.58 120.63 c Sol. found (all assignments made)... 120.63 o 44 120.63 c NEW SOLUTION FOUND: 44 @ 120.58 120.63 c Sol. found (all assignments made)... 120.68 c Sol. found (all assignments made)... 120.68 o 42 120.68 c NEW SOLUTION FOUND: 42 @ 120.62 120.68 c Sol. found (all assignments made)... 120.78 c Sol. found (all assignments made)... 120.78 c Sol. found (all assignments made)... 120.86 c Sol. found (all assignments made)... 120.86 o 40 120.86 c NEW SOLUTION FOUND: 40 @ 120.81 120.86 c Sol. found (all assignments made)... 121.25 c Sol. found (all assignments made)... 121.25 c Sol. found (all assignments made)... 121.26 c Sol. found (all assignments made)... 121.26 o 38 121.26 c NEW SOLUTION FOUND: 38 @ 121.21 121.27 c Sol. found (all assignments made)... 121.27 o 36 121.27 c NEW SOLUTION FOUND: 36 @ 121.22 121.34 c Sol. found (all assignments made)... 121.34 c Sol. found (all assignments made)... 121.34 o 34 121.34 c NEW SOLUTION FOUND: 34 @ 121.28 121.64 c Sol. found (all assignments made)... 121.64 c Sol. found (all assignments made)... 143.89 c Restart #24 #Var: 78 LB: 0 @ 143.82 154.34 c Sol. found (all assignments made)... 154.42 c Sol. found (all assignments made)... 154.42 c Sol. found (all assignments made)... 154.42 o 32 154.42 c NEW SOLUTION FOUND: 32 @ 154.35 157.48 c Sol. found (all assignments made)... 157.48 o 26 157.48 c NEW SOLUTION FOUND: 26 @ 157.41 157.49 c Sol. found (all assignments made)... 157.49 o 24 157.49 c NEW SOLUTION FOUND: 24 @ 157.41 157.56 c Sol. found (all assignments made)... 157.56 o 20 157.56 c NEW SOLUTION FOUND: 20 @ 157.49 157.56 c Sol. found (all assignments made)... 157.56 o 18 157.56 c NEW SOLUTION FOUND: 18 @ 157.49 157.76 c Sol. found (all assignments made)... 157.78 c Sol. found (all assignments made)... 157.78 o 16 157.78 c NEW SOLUTION FOUND: 16 @ 157.71 161.15 c Sol. found (all assignments made)... 161.15 c Sol. found (all assignments made)... 161.16 c Sol. found (all assignments made)... 161.16 c Sol. found (all assignments made)... 161.16 o 15 161.16 c NEW SOLUTION FOUND: 15 @ 161.09 161.16 c Sol. found (all assignments made)... 161.16 c Sol. found (all assignments made)... 161.16 o 13 161.16 c NEW SOLUTION FOUND: 13 @ 161.09 161.46 c Sol. found (all assignments made)... 161.46 o 11 161.46 c NEW SOLUTION FOUND: 11 @ 161.38 162.63 c Restart #25 #Var: 63 LB: 0 @ 162.55 163.96 c Restart #26 #Var: 63 LB: 0 @ 163.88 165.00 c Restart #27 #Var: 62 LB: 0 @ 164.92 165.77 c Sol. found (all assignments made)... 165.77 o 9 165.77 c NEW SOLUTION FOUND: 9 @ 165.7 166.03 c Sol. found (all assignments made)... 166.03 o 8 166.03 c NEW SOLUTION FOUND: 8 @ 165.96 166.03 c Sol. found (all assignments made)... 166.03 o 6 166.03 c NEW SOLUTION FOUND: 6 @ 165.96 166.05 c Sol. found (all assignments made)... 166.05 o 4 166.05 c NEW SOLUTION FOUND: 4 @ 165.98 166.42 c Sol. found (all assignments made)... 166.42 c Sol. found (all assignments made)... 167.21 c Restart #28 #Var: 58 LB: 0 @ 167.14 167.99 c Restart #29 #Var: 58 LB: 0 @ 167.91 168.89 c Restart #30 #Var: 58 LB: 0 @ 168.81 169.94 c Restart #31 #Var: 58 LB: 0 @ 169.87 171.03 c Restart #32 #Var: 57 LB: 0 @ 170.96 172.21 c Restart #33 #Var: 56 LB: 0 @ 172.13 173.28 c Restart #34 #Var: 56 LB: 0 @ 173.2 174.73 c Restart #35 #Var: 56 LB: 0 @ 174.65 176.37 c Restart #36 #Var: 56 LB: 0 @ 176.29 177.29 c Sol. found (all assignments made)... 177.66 c Restart #37 #Var: 56 LB: 0 @ 177.58 179.62 c Restart #38 #Var: 56 LB: 0 @ 179.54 181.99 c Restart #39 #Var: 56 LB: 0 @ 181.91 184.90 c Restart #40 #Var: 56 LB: 0 @ 184.82 185.45 c Sol. found (all assignments made)... 187.68 c Restart #41 #Var: 55 LB: 0 @ 187.59 189.83 c Restart #42 #Var: 55 LB: 0 @ 189.75 191.86 c Restart #43 #Var: 55 LB: 0 @ 191.77 193.98 c Restart #44 #Var: 55 LB: 0 @ 193.9 196.21 c Restart #45 #Var: 55 LB: 0 @ 196.12 198.33 c Restart #46 #Var: 55 LB: 0 @ 198.24 200.86 c Restart #47 #Var: 55 LB: 0 @ 200.77 203.15 c Restart #48 #Var: 55 LB: 0 @ 203.06 206.43 c Restart #49 #Var: 55 LB: 0 @ 206.34 210.53 c Restart #50 #Var: 55 LB: 0 @ 210.44 213.53 c Sol. found (all assignments made)... 216.51 c Restart #51 #Var: 55 LB: 0 @ 216.42 219.19 c Restart #52 #Var: 55 LB: 0 @ 219.1 222.95 c Restart #53 #Var: 55 LB: 0 @ 222.86 226.41 c Restart #54 #Var: 55 LB: 0 @ 226.32 229.78 c Restart #55 #Var: 53 LB: 0 @ 229.68 233.13 c Restart #56 #Var: 53 LB: 0 @ 233.03 237.08 c Restart #57 #Var: 53 LB: 0 @ 236.98 241.62 c Restart #58 #Var: 53 LB: 0 @ 241.52 245.37 c Restart #59 #Var: 53 LB: 0 @ 245.26 249.40 c Restart #60 #Var: 53 LB: 0 @ 249.29 254.71 c Restart #61 #Var: 52 LB: 0 @ 254.6 260.90 c Restart #62 #Var: 52 LB: 0 @ 260.79 265.90 c Sol. found (all assignments made)... 265.90 c Sol. found (all assignments made)... 265.90 c Sol. found (all assignments made)... 265.90 o 2 265.90 c NEW SOLUTION FOUND: 2 @ 265.79 270.13 c Restart #63 #Var: 52 LB: 0 @ 270.01 276.45 c Restart #64 #Var: 50 LB: 0 @ 276.33 280.28 c Restart #65 #Var: 50 LB: 0 @ 280.16 286.04 c Restart #66 #Var: 50 LB: 0 @ 285.92 290.62 c Restart #67 #Var: 50 LB: 0 @ 290.5 295.61 c Restart #68 #Var: 50 LB: 0 @ 295.49 301.11 c Restart #69 #Var: 50 LB: 0 @ 300.99 308.44 c Sol. found (all assignments made)... 308.44 c Sol. found (all assignments made)... 316.39 c Restart #70 #Var: 48 LB: 0 @ 316.26 324.15 c Restart #71 #Var: 48 LB: 0 @ 324.01 333.62 c Restart #72 #Var: 48 LB: 0 @ 333.48 341.85 c Restart #73 #Var: 48 LB: 0 @ 341.71 353.79 c Restart #74 #Var: 48 LB: 0 @ 353.64 362.61 c Restart #75 #Var: 47 LB: 0 @ 362.46 368.59 c Restart #76 #Var: 47 LB: 0 @ 368.44 375.35 c Restart #77 #Var: 47 LB: 0 @ 375.2 381.02 c Restart #78 #Var: 47 LB: 0 @ 380.87 389.91 c Restart #79 #Var: 47 LB: 0 @ 389.75 402.08 c Restart #80 #Var: 47 LB: 0 @ 401.92 416.60 c Restart #81 #Var: 47 LB: 0 @ 416.44 421.59 c Sol. found (all assignments made)... 424.84 c Restart #82 #Var: 47 LB: 0 @ 424.67 434.47 c Restart #83 #Var: 47 LB: 0 @ 434.29 447.46 c Restart #84 #Var: 47 LB: 0 @ 447.28 459.97 c Restart #85 #Var: 47 LB: 0 @ 459.79 472.23 c Restart #86 #Var: 47 LB: 0 @ 472.04 491.61 c Restart #87 #Var: 47 LB: 0 @ 491.42 510.43 c Restart #88 #Var: 47 LB: 0 @ 510.23 527.13 c Restart #89 #Var: 47 LB: 0 @ 526.92 544.71 c Restart #90 #Var: 47 LB: 0 @ 544.49 560.77 c Restart #91 #Var: 47 LB: 0 @ 560.55 574.13 c Restart #92 #Var: 47 LB: 0 @ 573.9 588.34 c Restart #93 #Var: 47 LB: 0 @ 588.11 599.17 c Restart #94 #Var: 47 LB: 0 @ 598.93 608.14 c Restart #95 #Var: 47 LB: 0 @ 607.9 618.49 c Restart #96 #Var: 47 LB: 0 @ 618.25 635.26 c Restart #97 #Var: 47 LB: 0 @ 635.01 651.80 c Restart #98 #Var: 47 LB: 0 @ 651.55 661.82 c Restart #99 #Var: 47 LB: 0 @ 661.56 673.12 c Restart #100 #Var: 47 LB: 0 @ 672.86 690.65 c Restart #101 #Var: 47 LB: 0 @ 690.38 704.74 c Restart #102 #Var: 47 LB: 0 @ 704.47 724.09 c Restart #103 #Var: 47 LB: 0 @ 723.81 726.22 c Sol. found (all assignments made)... 733.45 c Restart #104 #Var: 47 LB: 0 @ 733.16 747.22 c Restart #105 #Var: 47 LB: 0 @ 746.92 759.41 c Restart #106 #Var: 47 LB: 0 @ 759.11 778.10 c Restart #107 #Var: 47 LB: 0 @ 777.8 805.44 c Restart #108 #Var: 47 LB: 0 @ 805.13 818.16 c Restart #109 #Var: 47 LB: 0 @ 817.84 837.04 c Restart #110 #Var: 47 LB: 0 @ 836.72 857.91 c Restart #111 #Var: 47 LB: 0 @ 857.58 881.50 c Restart #112 #Var: 47 LB: 0 @ 881.16 905.44 c Restart #113 #Var: 46 LB: 0 @ 905.09 942.71 c Restart #114 #Var: 46 LB: 0 @ 942.35 972.85 c Restart #115 #Var: 46 LB: 0 @ 972.47 1013.51 c Restart #116 #Var: 46 LB: 0 @ 1013.1 1056.20 c Restart #117 #Var: 46 LB: 0 @ 1055.8 1070.66 c Sol. found (all assignments made)... 1082.09 c Restart #118 #Var: 46 LB: 0 @ 1081.7 1103.50 c Restart #119 #Var: 46 LB: 0 @ 1103.1 1117.23 c Restart #120 #Var: 46 LB: 0 @ 1116.8 1132.17 c Restart #121 #Var: 46 LB: 0 @ 1131.7 1152.09 c Restart #122 #Var: 46 LB: 0 @ 1151.6 1174.23 c Restart #123 #Var: 46 LB: 0 @ 1173.8 1180.97 c Sol. found (all assignments made)... 1198.13 c Restart #124 #Var: 46 LB: 0 @ 1197.7 1233.63 c Restart #125 #Var: 46 LB: 0 @ 1233.2 1278.11 c Restart #126 #Var: 46 LB: 0 @ 1277.6 1325.14 c Restart #127 #Var: 46 LB: 0 @ 1324.6 1342.80 c Sol. found (all assignments made)... 1350.67 c Restart #128 #Var: 46 LB: 0 @ 1350.1 1374.57 c Restart #129 #Var: 46 LB: 0 @ 1374 1402.30 c Restart #130 #Var: 46 LB: 0 @ 1401.8 1440.83 c Restart #131 #Var: 46 LB: 0 @ 1440.3 1471.64 c Restart #132 #Var: 46 LB: 0 @ 1471.1 1478.30 c Sol. found (all assignments made)... 1507.05 c Restart #133 #Var: 46 LB: 0 @ 1506.5 1537.73 c Restart #134 #Var: 46 LB: 0 @ 1537.1 1559.77 c Restart #135 #Var: 46 LB: 0 @ 1559.2
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node73/watcher-50301-1149898509 -o ROOT/results/node73/solver-50301-1149898509 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/50301-1149898509/instance-50301-1149898509.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1364840/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=4656 CPUtime=0 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 73 0 0 0 0 0 0 0 18 0 1 0 255515641 4767744 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7713799 0 0 4096 0 0 0 0 17 1 0 0 /proc/11386/statm: 1165 63 47 55 0 45 0 [startup+10.0024 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1309488/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=60108 CPUtime=9.98 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 14307 0 0 0 988 10 0 0 25 0 1 0 255515641 61550592 14214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 15027 14214 420 55 0 13919 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 60108 [startup+20.0083 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1299376/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=70296 CPUtime=19.98 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 16862 0 0 0 1985 13 0 0 25 0 1 0 255515641 71983104 16769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 17574 16769 420 55 0 16466 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 70296 [startup+30.0143 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1289456/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=80344 CPUtime=29.98 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 19341 0 0 0 2982 16 0 0 25 0 1 0 255515641 82272256 19244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 20086 19244 420 55 0 18978 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 80344 [startup+40.0203 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1283632/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=86180 CPUtime=39.99 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 21094 0 0 0 3981 18 0 0 25 0 1 0 255515641 88248320 20703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 21545 20703 420 55 0 20437 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 86180 [startup+50.0262 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1279856/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=90196 CPUtime=49.99 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 22068 0 0 0 4980 19 0 0 25 0 1 0 255515641 92360704 21671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 22549 21671 420 55 0 21441 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 90196 [startup+60.0322 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1274480/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=95540 CPUtime=59.99 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 23406 0 0 0 5979 20 0 0 25 0 1 0 255515641 97832960 23005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 23885 23005 420 55 0 22777 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 95540 [startup+70.0382 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1265968/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=104136 CPUtime=69.99 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 25534 0 0 0 6977 22 0 0 25 0 1 0 255515641 106635264 25133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 26034 25133 420 55 0 24926 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 104136 [startup+80.0441 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1264112/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=105864 CPUtime=79.99 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 25991 0 0 0 7976 23 0 0 25 0 1 0 255515641 108404736 25590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 26466 25590 420 55 0 25358 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 105864 [startup+90.0511 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1262896/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=107184 CPUtime=89.99 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 26295 0 0 0 8975 24 0 0 25 0 1 0 255515641 109756416 25894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 26796 25894 420 55 0 25688 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 107184 [startup+100.058 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1261680/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=108412 CPUtime=100 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 26601 0 0 0 9975 25 0 0 25 0 1 0 255515641 111013888 26196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 27103 26196 420 55 0 25995 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 108412 [startup+110.065 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1261040/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=109072 CPUtime=110.01 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 26769 0 0 0 10976 25 0 0 25 0 1 0 255515641 111689728 26364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 27268 26364 420 55 0 26160 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 109072 [startup+120.072 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1259760/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=110392 CPUtime=120 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 27093 0 0 0 11975 25 0 0 25 0 1 0 255515641 113041408 26688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 27598 26688 420 55 0 26490 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 110392 [startup+130.079 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1257008/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=113036 CPUtime=130.01 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 27764 0 0 0 12975 26 0 0 25 0 1 0 255515641 115748864 27359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 28259 27359 420 55 0 27151 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 113036 [startup+140.086 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1255728/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=114356 CPUtime=140.02 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 28083 0 0 0 13975 27 0 0 25 0 1 0 255515641 117100544 27678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 28589 27678 420 55 0 27481 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 114356 [startup+150.093 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1254576/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=115412 CPUtime=150.02 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 28368 0 0 0 14975 27 0 0 25 0 1 0 255515641 118181888 27963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 28853 27963 420 55 0 27745 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 115412 [startup+160.1 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1251824/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=118184 CPUtime=160.02 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 29051 0 0 0 15973 29 0 0 25 0 1 0 255515641 121020416 28646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 29546 28646 420 55 0 28438 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 118184 [startup+170.107 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1209584/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=160724 CPUtime=170.02 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 40214 0 0 0 16967 35 0 0 25 0 1 0 255515641 164581376 39218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 40181 39218 420 55 0 39073 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 160724 [startup+180.114 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1165104/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=205356 CPUtime=180.03 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 51323 0 0 0 17960 43 0 0 25 0 1 0 255515641 210284544 50306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8144507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 51339 50306 420 55 0 50231 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 205356 [startup+190.12 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1138480/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=232236 CPUtime=190.02 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 57979 0 0 0 18954 48 0 0 25 0 1 0 255515641 237809664 56948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 58059 56948 420 55 0 56951 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 232236 [startup+200.127 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 /proc/meminfo: memFree=1101936/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=268864 CPUtime=200.03 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 67120 0 0 0 19948 55 0 0 25 0 1 0 255515641 275316736 66076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8144507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 67216 66076 420 55 0 66108 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 268864 [startup+210.133 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11386 ################ # More data... # ################ Current children cumulated CPU time (s) 1350.34 Current children cumulated vsize (Kb) 1654592 [startup+1360.87 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14896/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1666472 CPUtime=1360.34 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 429305 0 0 0 135662 372 0 0 25 0 1 0 255515641 1706467328 412539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 416618 412539 420 55 0 415510 0 Current children cumulated CPU time (s) 1360.34 Current children cumulated vsize (Kb) 1666472 [startup+1370.87 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=16176/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1677560 CPUtime=1370.35 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 432080 0 0 0 136660 375 0 0 25 0 1 0 255515641 1717821440 415314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 419390 415314 420 55 0 418282 0 Current children cumulated CPU time (s) 1370.35 Current children cumulated vsize (Kb) 1677560 [startup+1380.88 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15344/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1689308 CPUtime=1380.35 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 434997 0 0 0 137658 377 0 0 25 0 1 0 255515641 1729851392 418231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 422327 418231 420 55 0 421219 0 Current children cumulated CPU time (s) 1380.35 Current children cumulated vsize (Kb) 1689308 [startup+1390.89 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15536/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1699056 CPUtime=1390.34 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 437459 0 0 0 138655 379 0 0 25 0 1 0 255515641 1739833344 420531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 424764 420531 420 55 0 423656 0 Current children cumulated CPU time (s) 1390.34 Current children cumulated vsize (Kb) 1699056 [startup+1400.89 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15024/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1707372 CPUtime=1400.35 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 439539 0 0 0 139653 382 0 0 25 0 1 0 255515641 1748348928 422611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 426843 422611 420 55 0 425735 0 Current children cumulated CPU time (s) 1400.35 Current children cumulated vsize (Kb) 1707372 [startup+1410.9 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15920/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1712520 CPUtime=1410.35 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 440853 0 0 0 140652 383 0 0 25 0 1 0 255515641 1753620480 423925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 428130 423925 420 55 0 427022 0 Current children cumulated CPU time (s) 1410.35 Current children cumulated vsize (Kb) 1712520 [startup+1420.9 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15024/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1722556 CPUtime=1420.35 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 443371 0 0 0 141650 385 0 0 25 0 1 0 255515641 1763897344 426443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548701 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 430639 426443 420 55 0 429531 0 Current children cumulated CPU time (s) 1420.35 Current children cumulated vsize (Kb) 1722556 [startup+1430.91 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14960/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1727308 CPUtime=1430.36 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 444553 0 0 0 142649 387 0 0 25 0 1 0 255515641 1768763392 427625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 431827 427625 420 55 0 430719 0 Current children cumulated CPU time (s) 1430.36 Current children cumulated vsize (Kb) 1727308 [startup+1440.92 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=16176/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1732192 CPUtime=1440.36 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 445781 0 0 0 143648 388 0 0 25 0 1 0 255515641 1773764608 428853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 433048 428853 420 55 0 431940 0 Current children cumulated CPU time (s) 1440.36 Current children cumulated vsize (Kb) 1732192 [startup+1450.93 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14832/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1740772 CPUtime=1450.36 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 448037 0 0 0 144646 390 0 0 25 0 1 0 255515641 1782550528 431109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 435193 431109 420 55 0 434085 0 Current children cumulated CPU time (s) 1450.36 Current children cumulated vsize (Kb) 1740772 [startup+1460.93 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15984/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1748824 CPUtime=1460.37 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 450042 0 0 0 145645 392 0 0 25 0 1 0 255515641 1790795776 433114 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 437206 433114 420 55 0 436098 0 Current children cumulated CPU time (s) 1460.37 Current children cumulated vsize (Kb) 1748824 [startup+1470.94 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15856/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1756612 CPUtime=1470.37 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 451989 0 0 0 146644 393 0 0 25 0 1 0 255515641 1798770688 435061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 439153 435061 420 55 0 438045 0 Current children cumulated CPU time (s) 1470.37 Current children cumulated vsize (Kb) 1756612 [startup+1480.95 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15984/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1763608 CPUtime=1480.38 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 453872 0 0 0 147643 395 0 0 25 0 1 0 255515641 1805934592 436944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 440902 436944 420 55 0 439794 0 Current children cumulated CPU time (s) 1480.38 Current children cumulated vsize (Kb) 1763608 [startup+1490.95 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=15792/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1774564 CPUtime=1490.38 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 456612 0 0 0 148641 397 0 0 25 0 1 0 255515641 1817153536 439684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 443641 439684 420 55 0 442533 0 Current children cumulated CPU time (s) 1490.38 Current children cumulated vsize (Kb) 1774564 [startup+1500.96 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14960/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1779980 CPUtime=1500.38 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 457970 0 0 0 149640 398 0 0 25 0 1 0 255515641 1822699520 441042 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 444995 441042 420 55 0 443887 0 Current children cumulated CPU time (s) 1500.38 Current children cumulated vsize (Kb) 1779980 [startup+1510.97 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14832/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1786388 CPUtime=1510.38 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 459619 0 0 0 150638 400 0 0 25 0 1 0 255515641 1829261312 442207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 446597 442207 420 55 0 445489 0 Current children cumulated CPU time (s) 1510.38 Current children cumulated vsize (Kb) 1786388 [startup+1520.98 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=16304/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1797212 CPUtime=1520.39 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 462330 0 0 0 151637 402 0 0 25 0 1 0 255515641 1840345088 444918 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 449303 444918 420 55 0 448195 0 Current children cumulated CPU time (s) 1520.39 Current children cumulated vsize (Kb) 1797212 [startup+1530.98 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14960/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1804736 CPUtime=1530.39 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 464209 0 0 0 152635 404 0 0 25 0 1 0 255515641 1848049664 446797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 451184 446797 420 55 0 450076 0 Current children cumulated CPU time (s) 1530.39 Current children cumulated vsize (Kb) 1804736 [startup+1540.99 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=16048/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1812840 CPUtime=1540.4 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 466415 0 0 0 153634 406 0 0 25 0 1 0 255515641 1856348160 448361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 453210 448361 420 55 0 452102 0 Current children cumulated CPU time (s) 1540.4 Current children cumulated vsize (Kb) 1812840 [startup+1551 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=16240/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1827888 CPUtime=1550.4 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 470188 0 0 0 154630 410 0 0 25 0 1 0 255515641 1871757312 452134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 456972 452134 420 55 0 455864 0 Current children cumulated CPU time (s) 1550.4 Current children cumulated vsize (Kb) 1827888 [startup+1561 s] /proc/loadavg: 1.00 0.99 0.95 2/64 11388 /proc/meminfo: memFree=14832/2055920 swapFree=4182184/4192956 [pid=11386] ppid=11384 vsize=1838184 CPUtime=1560.4 /proc/11386/stat : 11386 (bsolo) R 11384 11386 11340 0 -1 0 472862 0 0 0 155628 412 0 0 25 0 1 0 255515641 1882300416 454808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11386/statm: 459546 454808 420 55 0 458438 0 Current children cumulated CPU time (s) 1560.4 Current children cumulated vsize (Kb) 1838184 Child ended because it received signal 6 (SIGABRT) Real time (s): 1567.08 CPU time (s): 1566.46 CPU user time (s): 1562.04 CPU system time (s): 4.42233 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (Kb): 1838184 The end
Begin job on node73 on Sat Jun 10 00:15:09 UTC 2006 FILE ID= 50301-1149898509 PBS_JOBID= 385162 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/50301-1149898509/instance-50301-1149898509.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-50301-1149898509 -o ROOT/results/node73/solver-50301-1149898509 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/50301-1149898509/instance-50301-1149898509.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED= 862913569 /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.261 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.261 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: 1365048 kB Buffers: 42676 kB Cached: 570944 kB SwapCached: 2596 kB Active: 108844 kB Inactive: 513604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1365048 kB SwapTotal: 4192956 kB SwapFree: 4182184 kB Dirty: 196 kB Writeback: 0 kB Mapped: 15140 kB Slab: 54532 kB Committed_AS: 615068 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sat Jun 10 00:41:16 UTC 2006