Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1043.25 | 1043.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb |
MD5SUM | 2299da783c48196e7dbf5579e5089efd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 42 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | NO |
Number of variables | 985 |
Total number of constraints | 45 |
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 | 45 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 115 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524347 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.07 c INFO: OSL Context initialized. 0.09 c Initial problem consists of 985 variables and 60 constraints. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.023 0.09 c After prepocess the problem consists of 985 variables and 60 constraints. 0.09 c Initial Lower Bound: 0 0.11 c Restart #1 #Var: 985 LB: 0 @ 0.045 0.16 c Restart #2 #Var: 985 LB: 0 @ 0.09 0.22 c Restart #3 #Var: 985 LB: 0 @ 0.154 0.30 c Restart #4 #Var: 985 LB: 0 @ 0.229 0.39 c Restart #5 #Var: 985 LB: 0 @ 0.318 0.49 c Restart #6 #Var: 985 LB: 0 @ 0.419 0.61 c Restart #7 #Var: 985 LB: 0 @ 0.537 0.75 c Restart #8 #Var: 985 LB: 0 @ 0.674 0.87 c Restart #9 #Var: 985 LB: 0 @ 0.796 1.00 c Restart #10 #Var: 985 LB: 0 @ 0.929 1.15 c Restart #11 #Var: 985 LB: 0 @ 1.074 1.31 c Restart #12 #Var: 985 LB: 0 @ 1.233 1.48 c Restart #13 #Var: 985 LB: 0 @ 1.406 1.65 c Restart #14 #Var: 985 LB: 0 @ 1.58 1.84 c Restart #15 #Var: 985 LB: 0 @ 1.768 2.04 c Restart #16 #Var: 985 LB: 0 @ 1.967 2.25 c Restart #17 #Var: 985 LB: 0 @ 2.181 2.48 c Restart #18 #Var: 985 LB: 0 @ 2.404 2.71 c Restart #19 #Var: 985 LB: 0 @ 2.643 2.96 c Restart #20 #Var: 985 LB: 0 @ 2.89 3.23 c Restart #21 #Var: 985 LB: 0 @ 3.155 3.50 c Restart #22 #Var: 985 LB: 0 @ 3.427 3.79 c Restart #23 #Var: 985 LB: 0 @ 3.717 4.08 c Restart #24 #Var: 985 LB: 0 @ 4.012 4.40 c Restart #25 #Var: 985 LB: 0 @ 4.327 4.73 c Restart #26 #Var: 985 LB: 0 @ 4.662 5.11 c Restart #27 #Var: 985 LB: 0 @ 5.043 5.61 c Restart #28 #Var: 985 LB: 0 @ 5.541 6.12 c Restart #29 #Var: 985 LB: 0 @ 6.047 6.50 c Restart #30 #Var: 985 LB: 0 @ 6.427 6.89 c Restart #31 #Var: 985 LB: 0 @ 6.816 7.28 c Restart #32 #Var: 985 LB: 0 @ 7.21 7.70 c Restart #33 #Var: 985 LB: 0 @ 7.622 8.11 c Restart #34 #Var: 985 LB: 0 @ 8.039 8.55 c Restart #35 #Var: 985 LB: 0 @ 8.479 8.99 c Restart #36 #Var: 985 LB: 0 @ 8.921 9.46 c Restart #37 #Var: 985 LB: 0 @ 9.388 9.93 c Restart #38 #Var: 985 LB: 0 @ 9.854 10.42 c Restart #39 #Var: 985 LB: 0 @ 10.342 10.91 c Restart #40 #Var: 985 LB: 0 @ 10.831 11.42 c Restart #41 #Var: 985 LB: 0 @ 11.347 11.93 c Restart #42 #Var: 985 LB: 0 @ 11.861 12.48 c Restart #43 #Var: 985 LB: 0 @ 12.401 13.01 c Restart #44 #Var: 985 LB: 0 @ 12.94 13.58 c Restart #45 #Var: 985 LB: 0 @ 13.503 14.14 c Restart #46 #Var: 985 LB: 0 @ 14.066 14.73 c Restart #47 #Var: 985 LB: 0 @ 14.656 15.32 c Restart #48 #Var: 985 LB: 0 @ 15.242 15.93 c Restart #49 #Var: 985 LB: 0 @ 15.852 16.54 c Restart #50 #Var: 985 LB: 0 @ 16.46 17.17 c Restart #51 #Var: 985 LB: 0 @ 17.095 17.80 c Restart #52 #Var: 985 LB: 0 @ 17.727 18.46 c Restart #53 #Var: 985 LB: 0 @ 18.386 19.12 c Restart #54 #Var: 985 LB: 0 @ 19.043 19.80 c Restart #55 #Var: 985 LB: 0 @ 19.729 20.49 c Restart #56 #Var: 985 LB: 0 @ 20.412 21.20 c Restart #57 #Var: 985 LB: 0 @ 21.123 21.90 c Restart #58 #Var: 985 LB: 0 @ 21.827 22.64 c Restart #59 #Var: 985 LB: 0 @ 22.566 23.37 c Restart #60 #Var: 985 LB: 0 @ 23.296 24.14 c Restart #61 #Var: 985 LB: 0 @ 24.058 24.89 c Restart #62 #Var: 985 LB: 0 @ 24.817 25.69 c Restart #63 #Var: 985 LB: 0 @ 25.613 26.48 c Restart #64 #Var: 985 LB: 0 @ 26.4 27.31 c Restart #65 #Var: 985 LB: 0 @ 27.229 28.12 c Restart #66 #Var: 985 LB: 0 @ 28.039 28.98 c Restart #67 #Var: 985 LB: 0 @ 28.903 29.81 c Restart #68 #Var: 985 LB: 0 @ 29.733 30.70 c Restart #69 #Var: 985 LB: 0 @ 30.624 31.56 c Restart #70 #Var: 985 LB: 0 @ 31.481 32.48 c Restart #71 #Var: 985 LB: 0 @ 32.399 33.36 c Restart #72 #Var: 985 LB: 0 @ 33.277 34.31 c Restart #73 #Var: 985 LB: 0 @ 34.226 35.20 c Restart #74 #Var: 985 LB: 0 @ 35.12 36.17 c Restart #75 #Var: 985 LB: 0 @ 36.085 37.07 c Restart #76 #Var: 985 LB: 0 @ 36.991 38.07 c Restart #77 #Var: 985 LB: 0 @ 37.993 39.00 c Restart #78 #Var: 985 LB: 0 @ 38.924 40.03 c Restart #79 #Var: 985 LB: 0 @ 39.951 40.99 c Restart #80 #Var: 985 LB: 0 @ 40.911 42.05 c Restart #81 #Var: 985 LB: 0 @ 41.967 43.04 c Restart #82 #Var: 985 LB: 0 @ 42.957 44.12 c Restart #83 #Var: 985 LB: 0 @ 44.036 45.14 c Restart #84 #Var: 985 LB: 0 @ 45.057 46.25 c Restart #85 #Var: 985 LB: 0 @ 46.168 47.31 c Restart #86 #Var: 985 LB: 0 @ 47.222 48.45 c Restart #87 #Var: 985 LB: 0 @ 48.362 49.53 c Restart #88 #Var: 985 LB: 0 @ 49.445 50.69 c Restart #89 #Var: 985 LB: 0 @ 50.61 51.80 c Restart #90 #Var: 985 LB: 0 @ 51.715 52.99 c Restart #91 #Var: 985 LB: 0 @ 52.906 54.11 c Restart #92 #Var: 985 LB: 0 @ 54.027 55.33 c Restart #93 #Var: 985 LB: 0 @ 55.25 56.47 c Restart #94 #Var: 985 LB: 0 @ 56.385 57.71 c Restart #95 #Var: 985 LB: 0 @ 57.628 58.87 c Restart #96 #Var: 985 LB: 0 @ 58.785 60.14 c Restart #97 #Var: 985 LB: 0 @ 60.057 61.32 c Restart #98 #Var: 985 LB: 0 @ 61.233 62.62 c Restart #99 #Var: 985 LB: 0 @ 62.53 63.82 c Restart #100 #Var: 985 LB: 0 @ 63.732 65.14 c Restart #101 #Var: 985 LB: 0 @ 65.055 66.38 c Restart #102 #Var: 985 LB: 0 @ 66.293 67.75 c Restart #103 #Var: 985 LB: 0 @ 67.659 69.02 c Restart #104 #Var: 985 LB: 0 @ 68.933 70.41 c Restart #105 #Var: 985 LB: 0 @ 70.316 71.70 c Restart #106 #Var: 985 LB: 0 @ 71.612 73.12 c Restart #107 #Var: 985 LB: 0 @ 73.027 74.43 c Restart #108 #Var: 985 LB: 0 @ 74.342 75.87 c Restart #109 #Var: 985 LB: 0 @ 75.779 77.20 c Restart #110 #Var: 985 LB: 0 @ 77.114 78.65 c Restart #111 #Var: 985 LB: 0 @ 78.561 80.01 c Restart #112 #Var: 985 LB: 0 @ 79.918 81.48 c Restart #113 #Var: 985 LB: 0 @ 81.392 82.88 c Restart #114 #Var: 985 LB: 0 @ 82.785 84.37 c Restart #115 #Var: 985 LB: 0 @ 84.281 85.79 c Restart #116 #Var: 985 LB: 0 @ 85.7 87.33 c Restart #117 #Var: 985 LB: 0 @ 87.24 88.78 c Restart #118 #Var: 985 LB: 0 @ 88.683 90.35 c Restart #119 #Var: 985 LB: 0 @ 90.252 91.83 c Restart #120 #Var: 985 LB: 0 @ 91.732 93.43 c Restart #121 #Var: 985 LB: 0 @ 93.339 94.92 c Restart #122 #Var: 985 LB: 0 @ 94.827 96.55 c Restart #123 #Var: 985 LB: 0 @ 96.455 98.07 c Restart #124 #Var: 985 LB: 0 @ 97.973 99.71 c Restart #125 #Var: 985 LB: 0 @ 99.608 101.24 c Restart #126 #Var: 985 LB: 0 @ 101.14 102.91 c Restart #127 #Var: 985 LB: 0 @ 102.81 104.46 c Restart #128 #Var: 985 LB: 0 @ 104.37 106.16 c Restart #129 #Var: 985 LB: 0 @ 106.06 107.76 c Restart #130 #Var: 985 LB: 0 @ 107.66 109.48 c Restart #131 #Var: 985 LB: 0 @ 109.39 111.12 c Restart #132 #Var: 985 LB: 0 @ 111.02 112.87 c Restart #133 #Var: 985 LB: 0 @ 112.77 114.53 c Restart #134 #Var: 985 LB: 0 @ 114.42 116.30 c Restart #135 #Var: 985 LB: 0 @ 116.19 117.97 c Restart #136 #Var: 985 LB: 0 @ 117.86 119.75 c Restart #137 #Var: 985 LB: 0 @ 119.65 121.45 c Restart #138 #Var: 985 LB: 0 @ 121.34 123.27 c Restart #139 #Var: 985 LB: 0 @ 123.17 124.99 c Restart #140 #Var: 985 LB: 0 @ 124.88 126.85 c Restart #141 #Var: 985 LB: 0 @ 126.74 128.60 c Restart #142 #Var: 985 LB: 0 @ 128.5 130.48 c Restart #143 #Var: 985 LB: 0 @ 130.37 132.26 c Restart #144 #Var: 985 LB: 0 @ 132.15 134.17 c Restart #145 #Var: 985 LB: 0 @ 134.07 135.97 c Restart #146 #Var: 985 LB: 0 @ 135.86 137.89 c Restart #147 #Var: 985 LB: 0 @ 137.78 139.70 c Restart #148 #Var: 985 LB: 0 @ 139.6 141.65 c Restart #149 #Var: 985 LB: 0 @ 141.55 143.50 c Restart #150 #Var: 985 LB: 0 @ 143.39 145.48 c Restart #151 #Var: 985 LB: 0 @ 145.37 147.37 c Restart #152 #Var: 985 LB: 0 @ 147.26 149.40 c Restart #153 #Var: 985 LB: 0 @ 149.29 151.32 c Restart #154 #Var: 985 LB: 0 @ 151.21 153.37 c Restart #155 #Var: 985 LB: 0 @ 153.26 155.32 c Restart #156 #Var: 985 LB: 0 @ 155.21 157.38 c Restart #157 #Var: 985 LB: 0 @ 157.27 159.32 c Restart #158 #Var: 985 LB: 0 @ 159.21 161.42 c Restart #159 #Var: 985 LB: 0 @ 161.31 163.39 c Restart #160 #Var: 985 LB: 0 @ 163.28 165.52 c Restart #161 #Var: 985 LB: 0 @ 165.4 167.54 c Restart #162 #Var: 985 LB: 0 @ 167.42 169.71 c Restart #163 #Var: 985 LB: 0 @ 169.6 171.77 c Restart #164 #Var: 985 LB: 0 @ 171.66 173.97 c Restart #165 #Var: 985 LB: 0 @ 173.86 176.05 c Restart #166 #Var: 985 LB: 0 @ 175.94 178.25 c Restart #167 #Var: 985 LB: 0 @ 178.13 180.35 c Restart #168 #Var: 985 LB: 0 @ 180.23 182.59 c Restart #169 #Var: 985 LB: 0 @ 182.47 184.70 c Restart #170 #Var: 985 LB: 0 @ 184.58 186.98 c Restart #171 #Var: 985 LB: 0 @ 186.86 189.12 c Restart #172 #Var: 985 LB: 0 @ 189 191.42 c Restart #173 #Var: 985 LB: 0 @ 191.3 193.60 c Restart #174 #Var: 985 LB: 0 @ 193.48 195.94 c Restart #175 #Var: 985 LB: 0 @ 195.82 198.11 c Restart #176 #Var: 985 LB: 0 @ 197.99 200.47 c Restart #177 #Var: 985 LB: 0 @ 200.35 202.69 c Restart #178 #Var: 985 LB: 0 @ 202.56 205.08 c Restart #179 #Var: 985 LB: 0 @ 204.96 207.32 c Restart #180 #Var: 985 LB: 0 @ 207.19 209.76 c Restart #181 #Var: 985 LB: 0 @ 209.63 212.00 c Restart #182 #Var: 985 LB: 0 @ 211.88 214.42 c Restart #183 #Var: 985 LB: 0 @ 214.3 216.69 c Restart #184 #Var: 985 LB: 0 @ 216.56 219.11 c Restart #185 #Var: 985 LB: 0 @ 218.98 221.41 c Restart #186 #Var: 985 LB: 0 @ 221.28 223.87 c Restart #187 #Var: 985 LB: 0 @ 223.74 226.20 c Restart #188 #Var: 985 LB: 0 @ 226.07 228.71 c Restart #189 #Var: 985 LB: 0 @ 228.58 231.12 c Restart #190 #Var: 985 LB: 0 @ 230.99 233.66 c Restart #191 #Var: 985 LB: 0 @ 233.53 236.07 c Restart #192 #Var: 985 LB: 0 @ 235.94 238.61 c Restart #193 #Var: 985 LB: 0 @ 238.47 241.05 c Restart #194 #Var: 985 LB: 0 @ 240.91 243.60 c Restart #195 #Var: 985 LB: 0 @ 243.47 246.10 c Restart #196 #Var: 985 LB: 0 @ 245.96 248.68 c Restart #197 #Var: 985 LB: 0 @ 248.55 251.24 c Restart #198 #Var: 985 LB: 0 @ 251.1 253.85 c Restart #199 #Var: 985 LB: 0 @ 253.72 256.43 c Restart #200 #Var: 985 LB: 0 @ 256.3 259.03 c Restart #201 #Var: 985 LB: 0 @ 258.89 261.61 c Restart #202 #Var: 985 LB: 0 @ 261.47 264.21 c Restart #203 #Var: 985 LB: 0 @ 264.07 266.85 c Restart #204 #Var: 985 LB: 0 @ 266.71 269.49 c Restart #205 #Var: 985 LB: 0 @ 269.35 272.17 c Restart #206 #Var: 985 LB: 0 @ 272.03 274.84 c Restart #207 #Var: 985 LB: 0 @ 274.69 277.54 c Restart #208 #Var: 985 LB: 0 @ 277.4 280.19 c Restart #209 #Var: 985 LB: 0 @ 280.05 282.92 c Restart #210 #Var: 985 LB: 0 @ 282.78 285.89 c Restart #211 #Var: 985 LB: 0 @ 285.75 289.68 c Restart #212 #Var: 985 LB: 0 @ 289.54 292.67 c Restart #213 #Var: 985 LB: 0 @ 292.52 295.71 c Restart #214 #Var: 985 LB: 0 @ 295.56 298.60 c Restart #215 #Var: 985 LB: 0 @ 298.45 301.38 c Restart #216 #Var: 985 LB: 0 @ 301.24 304.27 c Restart #217 #Var: 985 LB: 0 @ 304.12 306.85 c Restart #218 #Var: 985 LB: 0 @ 306.69 309.81 c Restart #219 #Var: 985 LB: 0 @ 309.66 312.43 c Restart #220 #Var: 985 LB: 0 @ 312.27 315.41 c Restart #221 #Var: 985 LB: 0 @ 315.26 318.04 c Restart #222 #Var: 985 LB: 0 @ 317.89 321.02 c Restart #223 #Var: 985 LB: 0 @ 320.86 323.69 c Restart #224 #Var: 985 LB: 0 @ 323.54 326.75 c Restart #225 #Var: 985 LB: 0 @ 326.59 329.46 c Restart #226 #Var: 985 LB: 0 @ 329.31 332.61 c Restart #227 #Var: 985 LB: 0 @ 332.45 335.36 c Restart #228 #Var: 985 LB: 0 @ 335.21 338.51 c Restart #229 #Var: 985 LB: 0 @ 338.35 341.27 c Restart #230 #Var: 985 LB: 0 @ 341.11 344.45 c Restart #231 #Var: 985 LB: 0 @ 344.29 347.26 c Restart #232 #Var: 985 LB: 0 @ 347.1 350.51 c Restart #233 #Var: 985 LB: 0 @ 350.35 353.39 c Restart #234 #Var: 985 LB: 0 @ 353.22 356.66 c Restart #235 #Var: 985 LB: 0 @ 356.49 359.53 c Restart #236 #Var: 985 LB: 0 @ 359.36 362.85 c Restart #237 #Var: 985 LB: 0 @ 362.69 365.80 c Restart #238 #Var: 985 LB: 0 @ 365.63 369.17 c Restart #239 #Var: 985 LB: 0 @ 369.01 372.10 c Restart #240 #Var: 985 LB: 0 @ 371.93 375.51 c Restart #241 #Var: 985 LB: 0 @ 375.34 378.49 c Restart #242 #Var: 985 LB: 0 @ 378.32 381.86 c Restart #243 #Var: 985 LB: 0 @ 381.69 384.89 c Restart #244 #Var: 985 LB: 0 @ 384.71 388.32 c Restart #245 #Var: 985 LB: 0 @ 388.15 391.41 c Restart #246 #Var: 985 LB: 0 @ 391.24 394.90 c Restart #247 #Var: 985 LB: 0 @ 394.73 397.99 c Restart #248 #Var: 985 LB: 0 @ 397.82 401.43 c Restart #249 #Var: 985 LB: 0 @ 401.25 404.56 c Restart #250 #Var: 985 LB: 0 @ 404.38 408.06 c Restart #251 #Var: 985 LB: 0 @ 407.88 411.24 c Restart #252 #Var: 985 LB: 0 @ 411.06 414.76 c Restart #253 #Var: 985 LB: 0 @ 414.58 417.93 c Restart #254 #Var: 985 LB: 0 @ 417.75 421.45 c Restart #255 #Var: 985 LB: 0 @ 421.27 424.68 c Restart #256 #Var: 985 LB: 0 @ 424.5 428.27 c Restart #257 #Var: 985 LB: 0 @ 428.09 431.51 c Restart #258 #Var: 985 LB: 0 @ 431.33 435.13 c Restart #259 #Var: 985 LB: 0 @ 434.94 438.36 c Restart #260 #Var: 985 LB: 0 @ 438.18 441.97 c Restart #261 #Var: 985 LB: 0 @ 441.78 445.23 c Restart #262 #Var: 985 LB: 0 @ 445.04 448.86 c Restart #263 #Var: 985 LB: 0 @ 448.67 452.16 c Restart #264 #Var: 985 LB: 0 @ 451.97 455.85 c Restart #265 #Var: 985 LB: 0 @ 455.66 459.16 c Restart #266 #Var: 985 LB: 0 @ 458.96 462.81 c Restart #267 #Var: 985 LB: 0 @ 462.62 466.16 c Restart #268 #Var: 985 LB: 0 @ 465.97 469.95 c Restart #269 #Var: 985 LB: 0 @ 469.76 473.36 c Restart #270 #Var: 985 LB: 0 @ 473.17 477.11 c Restart #271 #Var: 985 LB: 0 @ 476.92 480.52 c Restart #272 #Var: 985 LB: 0 @ 480.32 484.26 c Restart #273 #Var: 985 LB: 0 @ 484.06 487.73 c Restart #274 #Var: 985 LB: 0 @ 487.54 491.55 c Restart #275 #Var: 985 LB: 0 @ 491.35 495.04 c Restart #276 #Var: 985 LB: 0 @ 494.84 498.82 c Restart #277 #Var: 985 LB: 0 @ 498.62 502.30 c Restart #278 #Var: 985 LB: 0 @ 502.1 506.09 c Restart #279 #Var: 985 LB: 0 @ 505.89 509.64 c Restart #280 #Var: 985 LB: 0 @ 509.43 513.46 c Restart #281 #Var: 985 LB: 0 @ 513.26 517.03 c Restart #282 #Var: 985 LB: 0 @ 516.83 520.85 c Restart #283 #Var: 985 LB: 0 @ 520.64 524.47 c Restart #284 #Var: 985 LB: 0 @ 524.26 528.36 c Restart #285 #Var: 985 LB: 0 @ 528.15 532.05 c Restart #286 #Var: 985 LB: 0 @ 531.84 535.97 c Restart #287 #Var: 985 LB: 0 @ 535.76 539.63 c Restart #288 #Var: 985 LB: 0 @ 539.42 543.50 c Restart #289 #Var: 985 LB: 0 @ 543.28 547.20 c Restart #290 #Var: 985 LB: 0 @ 546.99 551.17 c Restart #291 #Var: 985 LB: 0 @ 550.95 554.91 c Restart #292 #Var: 985 LB: 0 @ 554.7 558.85 c Restart #293 #Var: 985 LB: 0 @ 558.64 562.62 c Restart #294 #Var: 985 LB: 0 @ 562.4 566.62 c Restart #295 #Var: 985 LB: 0 @ 566.4 570.41 c Restart #296 #Var: 985 LB: 0 @ 570.18 574.44 c Restart #297 #Var: 985 LB: 0 @ 574.22 578.19 c Restart #298 #Var: 985 LB: 0 @ 577.97 582.23 c Restart #299 #Var: 985 LB: 0 @ 582.01 586.01 c Restart #300 #Var: 985 LB: 0 @ 585.78 590.10 c Restart #301 #Var: 985 LB: 0 @ 589.87 593.93 c Restart #302 #Var: 985 LB: 0 @ 593.7 598.05 c Restart #303 #Var: 985 LB: 0 @ 597.83 601.86 c Restart #304 #Var: 985 LB: 0 @ 601.63 605.96 c Restart #305 #Var: 985 LB: 0 @ 605.73 609.84 c Restart #306 #Var: 985 LB: 0 @ 609.61 614.02 c Restart #307 #Var: 985 LB: 0 @ 613.79 617.95 c Restart #308 #Var: 985 LB: 0 @ 617.72 622.12 c Restart #309 #Var: 985 LB: 0 @ 621.88 626.09 c Restart #310 #Var: 985 LB: 0 @ 625.86 630.32 c Restart #311 #Var: 985 LB: 0 @ 630.08 634.35 c Restart #312 #Var: 985 LB: 0 @ 634.12 638.60 c Restart #313 #Var: 985 LB: 0 @ 638.36 642.62 c Restart #314 #Var: 985 LB: 0 @ 642.38 646.88 c Restart #315 #Var: 985 LB: 0 @ 646.64 650.98 c Restart #316 #Var: 985 LB: 0 @ 650.74 655.29 c Restart #317 #Var: 985 LB: 0 @ 655.05 659.40 c Restart #318 #Var: 985 LB: 0 @ 659.16 663.76 c Restart #319 #Var: 985 LB: 0 @ 663.52 667.96 c Restart #320 #Var: 985 LB: 0 @ 667.72 672.40 c Restart #321 #Var: 985 LB: 0 @ 672.15 676.60 c Restart #322 #Var: 985 LB: 0 @ 676.35 680.99 c Restart #323 #Var: 985 LB: 0 @ 680.75 685.17 c Restart #324 #Var: 985 LB: 0 @ 684.92 689.59 c Restart #325 #Var: 985 LB: 0 @ 689.34 693.83 c Restart #326 #Var: 985 LB: 0 @ 693.58 698.28 c Restart #327 #Var: 985 LB: 0 @ 698.03 702.51 c Restart #328 #Var: 985 LB: 0 @ 702.26 706.99 c Restart #329 #Var: 985 LB: 0 @ 706.73 711.28 c Restart #330 #Var: 985 LB: 0 @ 711.03 715.82 c Restart #331 #Var: 985 LB: 0 @ 715.56 720.04 c Restart #332 #Var: 985 LB: 0 @ 719.79 724.53 c Restart #333 #Var: 985 LB: 0 @ 724.27 728.86 c Restart #334 #Var: 985 LB: 0 @ 728.6 733.41 c Restart #335 #Var: 985 LB: 0 @ 733.15 737.75 c Restart #336 #Var: 985 LB: 0 @ 737.49 742.29 c Restart #337 #Var: 985 LB: 0 @ 742.03 746.63 c Restart #338 #Var: 985 LB: 0 @ 746.37 751.25 c Restart #339 #Var: 985 LB: 0 @ 750.98 755.63 c Restart #340 #Var: 985 LB: 0 @ 755.36 760.19 c Restart #341 #Var: 985 LB: 0 @ 759.92 764.52 c Restart #342 #Var: 985 LB: 0 @ 764.25 769.11 c Restart #343 #Var: 985 LB: 0 @ 768.84 773.53 c Restart #344 #Var: 985 LB: 0 @ 773.25 778.12 c Restart #345 #Var: 985 LB: 0 @ 777.84 782.56 c Restart #346 #Var: 985 LB: 0 @ 782.29 787.23 c Restart #347 #Var: 985 LB: 0 @ 786.95 791.78 c Restart #348 #Var: 985 LB: 0 @ 791.5 796.52 c Restart #349 #Var: 985 LB: 0 @ 796.24 801.09 c Restart #350 #Var: 985 LB: 0 @ 800.81 805.79 c Restart #351 #Var: 985 LB: 0 @ 805.51 810.42 c Restart #352 #Var: 985 LB: 0 @ 810.13 815.15 c Restart #353 #Var: 985 LB: 0 @ 814.87 819.80 c Restart #354 #Var: 985 LB: 0 @ 819.51 824.60 c Restart #355 #Var: 985 LB: 0 @ 824.31 829.31 c Restart #356 #Var: 985 LB: 0 @ 829.02 834.11 c Restart #357 #Var: 985 LB: 0 @ 833.82 838.78 c Restart #358 #Var: 985 LB: 0 @ 838.49 843.53 c Restart #359 #Var: 985 LB: 0 @ 843.24 848.24 c Restart #360 #Var: 985 LB: 0 @ 847.95 853.09 c Restart #361 #Var: 985 LB: 0 @ 852.79 857.84 c Restart #362 #Var: 985 LB: 0 @ 857.54 862.60 c Restart #363 #Var: 985 LB: 0 @ 862.31 867.35 c Restart #364 #Var: 985 LB: 0 @ 867.06 872.18 c Restart #365 #Var: 985 LB: 0 @ 871.88 876.94 c Restart #366 #Var: 985 LB: 0 @ 876.64 881.75 c Restart #367 #Var: 985 LB: 0 @ 881.45 886.57 c Restart #368 #Var: 985 LB: 0 @ 886.27 891.46 c Restart #369 #Var: 985 LB: 0 @ 891.16 896.26 c Restart #370 #Var: 985 LB: 0 @ 895.96 901.13 c CHANGE Heuristic... 901.13 c Restart #0 #Var: 985 LB: 0 @ 900.83 901.29 c Restart #1 #Var: 985 LB: 0 @ 900.98 901.39 c Restart #2 #Var: 985 LB: 0 @ 901.08 902.55 c Restart #3 #Var: 985 LB: 0 @ 902.25 902.62 c Restart #4 #Var: 985 LB: 0 @ 902.32 902.69 c Restart #5 #Var: 985 LB: 0 @ 902.39 902.77 c Restart #6 #Var: 985 LB: 0 @ 902.47 902.87 c Restart #7 #Var: 985 LB: 0 @ 902.56 902.98 c Restart #8 #Var: 985 LB: 0 @ 902.67 903.11 c Restart #9 #Var: 985 LB: 0 @ 902.8 903.25 c Restart #10 #Var: 985 LB: 0 @ 902.94 903.42 c Restart #11 #Var: 985 LB: 0 @ 903.11 903.61 c Restart #12 #Var: 985 LB: 0 @ 903.3 903.80 c Restart #13 #Var: 985 LB: 0 @ 903.49 904.03 c Restart #14 #Var: 985 LB: 0 @ 903.72 904.25 c Restart #15 #Var: 985 LB: 0 @ 903.94 904.53 c Restart #16 #Var: 985 LB: 0 @ 904.23 904.82 c Restart #17 #Var: 985 LB: 0 @ 904.52 905.14 c Restart #18 #Var: 985 LB: 0 @ 904.84 905.48 c Restart #19 #Var: 985 LB: 0 @ 905.17 905.82 c Restart #20 #Var: 985 LB: 0 @ 905.51 906.19 c Restart #21 #Var: 985 LB: 0 @ 905.89 906.59 c Restart #22 #Var: 985 LB: 0 @ 906.29 907.02 c Restart #23 #Var: 985 LB: 0 @ 906.71 907.46 c Restart #24 #Var: 985 LB: 0 @ 907.15 907.97 c Restart #25 #Var: 985 LB: 0 @ 907.66 908.53 c Restart #26 #Var: 985 LB: 0 @ 908.22 909.21 c Restart #27 #Var: 985 LB: 0 @ 908.91 909.98 c Restart #28 #Var: 985 LB: 0 @ 909.67 910.58 c Restart #29 #Var: 985 LB: 0 @ 910.27 911.20 c Restart #30 #Var: 985 LB: 0 @ 910.9 911.90 c Restart #31 #Var: 985 LB: 0 @ 911.59 912.53 c Restart #32 #Var: 985 LB: 0 @ 912.22 913.26 c Restart #33 #Var: 985 LB: 0 @ 912.95 914.03 c Restart #34 #Var: 985 LB: 0 @ 913.72 914.87 c Restart #35 #Var: 985 LB: 0 @ 914.56 915.69 c Restart #36 #Var: 985 LB: 0 @ 915.38 916.52 c Restart #37 #Var: 985 LB: 0 @ 916.21 917.49 c Restart #38 #Var: 985 LB: 0 @ 917.18 918.43 c Restart #39 #Var: 985 LB: 0 @ 918.12 919.46 c Restart #40 #Var: 985 LB: 0 @ 919.15 920.27 c Restart #41 #Var: 985 LB: 0 @ 919.96 921.48 c Restart #42 #Var: 985 LB: 0 @ 921.16 922.41 c Restart #43 #Var: 985 LB: 0 @ 922.1 923.56 c Restart #44 #Var: 985 LB: 0 @ 923.25 924.62 c Restart #45 #Var: 985 LB: 0 @ 924.3 925.87 c Restart #46 #Var: 985 LB: 0 @ 925.56 927.12 c Restart #47 #Var: 985 LB: 0 @ 926.8 928.27 c Restart #48 #Var: 985 LB: 0 @ 927.95 929.67 c Restart #49 #Var: 985 LB: 0 @ 929.36 931.00 c Restart #50 #Var: 985 LB: 0 @ 930.69 932.32 c Restart #51 #Var: 985 LB: 0 @ 932.01 933.91 c Restart #52 #Var: 985 LB: 0 @ 933.6 935.10 c Restart #53 #Var: 985 LB: 0 @ 934.78 936.83 c Restart #54 #Var: 985 LB: 0 @ 936.52 938.51 c Restart #55 #Var: 985 LB: 0 @ 938.2 940.31 c Restart #56 #Var: 985 LB: 0 @ 939.99 941.88 c Restart #57 #Var: 985 LB: 0 @ 941.56 943.89 c Restart #58 #Var: 985 LB: 0 @ 943.58 945.32 c Restart #59 #Var: 985 LB: 0 @ 945 947.42 c Restart #60 #Var: 985 LB: 0 @ 947.1 949.09 c Restart #61 #Var: 985 LB: 0 @ 948.77 951.08 c Restart #62 #Var: 985 LB: 0 @ 950.76 953.02 c Restart #63 #Var: 985 LB: 0 @ 952.7 954.96 c Restart #64 #Var: 985 LB: 0 @ 954.64 957.15 c Restart #65 #Var: 985 LB: 0 @ 956.83 959.42 c Restart #66 #Var: 985 LB: 0 @ 959.1 961.50 c Restart #67 #Var: 985 LB: 0 @ 961.18 964.28 c Restart #68 #Var: 985 LB: 0 @ 963.96 966.06 c Restart #69 #Var: 985 LB: 0 @ 965.74 968.78 c Restart #70 #Var: 985 LB: 0 @ 968.46 970.77 c Restart #71 #Var: 985 LB: 0 @ 970.44 973.21 c Restart #72 #Var: 985 LB: 0 @ 972.88 975.83 c Restart #73 #Var: 985 LB: 0 @ 975.51 978.10 c Restart #74 #Var: 985 LB: 0 @ 977.77 980.54 c Restart #75 #Var: 985 LB: 0 @ 980.21 983.04 c Restart #76 #Var: 985 LB: 0 @ 982.71 985.56 c Restart #77 #Var: 985 LB: 0 @ 985.24 987.98 c Restart #78 #Var: 985 LB: 0 @ 987.65 990.87 c Restart #79 #Var: 985 LB: 0 @ 990.55 993.58 c Restart #80 #Var: 985 LB: 0 @ 993.25 996.45 c Restart #81 #Var: 985 LB: 0 @ 996.12 999.20 c Restart #82 #Var: 985 LB: 0 @ 998.87 1001.59 c Restart #83 #Var: 985 LB: 0 @ 1001.3 1004.63 c Restart #84 #Var: 985 LB: 0 @ 1004.3 1007.36 c Restart #85 #Var: 985 LB: 0 @ 1007 1010.16 c Restart #86 #Var: 985 LB: 0 @ 1009.8 1013.00 c Restart #87 #Var: 985 LB: 0 @ 1012.6 1015.89 c Restart #88 #Var: 985 LB: 0 @ 1015.5 1018.58 c Restart #89 #Var: 985 LB: 0 @ 1018.2 1021.89 c Restart #90 #Var: 985 LB: 0 @ 1021.5 1024.82 c Restart #91 #Var: 985 LB: 0 @ 1024.5 1028.20 c Restart #92 #Var: 985 LB: 0 @ 1027.8 1031.51 c Restart #93 #Var: 985 LB: 0 @ 1031.1 1034.93 c Restart #94 #Var: 985 LB: 0 @ 1034.6 1038.52 c Restart #95 #Var: 985 LB: 0 @ 1038.2 1042.26 c Restart #96 #Var: 985 LB: 0 @ 1041.9
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-40022-1149355745 -o ROOT/results/node19/solver-40022-1149355745 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/40022-1149355745/instance-40022-1149355745.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 1.01 0.99 2/64 12266 /proc/meminfo: memFree=1470264/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=2948 CPUtime=0 /proc/12266/stat : 12266 (bsolo) D 12264 12266 12220 0 -1 0 50 0 0 0 0 0 0 0 18 0 1 0 201237525 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7484196 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/12266/statm: 737 34 26 55 0 38 0 [startup+10.0018 s] /proc/loadavg: 0.93 1.01 0.99 2/64 12266 /proc/meminfo: memFree=1468416/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6300 CPUtime=9.92 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 830 0 0 0 984 8 0 0 25 0 1 0 201237525 6451200 745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1575 745 297 55 0 467 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 6300 [startup+20.0079 s] /proc/loadavg: 0.94 1.01 0.99 2/64 12266 /proc/meminfo: memFree=1468480/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6300 CPUtime=19.92 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 831 0 0 0 1980 12 0 0 25 0 1 0 201237525 6451200 746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1575 746 297 55 0 467 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 6300 [startup+30.0139 s] /proc/loadavg: 0.95 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468416/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6300 CPUtime=29.92 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 836 0 0 0 2975 17 0 0 25 0 1 0 201237525 6451200 751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1575 751 297 55 0 467 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 6300 [startup+40.02 s] /proc/loadavg: 0.96 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468480/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6300 CPUtime=39.93 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 847 0 0 0 3970 23 0 0 25 0 1 0 201237525 6451200 762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1575 762 297 55 0 467 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 6300 [startup+50.0261 s] /proc/loadavg: 0.96 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468416/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6428 CPUtime=49.94 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 856 0 0 0 4966 28 0 0 25 0 1 0 201237525 6582272 771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1607 771 297 55 0 499 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 6428 [startup+60.0322 s] /proc/loadavg: 0.97 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468352/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6428 CPUtime=59.94 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 867 0 0 0 5961 33 0 0 25 0 1 0 201237525 6582272 782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1607 782 297 55 0 499 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 6428 [startup+70.0383 s] /proc/loadavg: 0.97 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468352/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6428 CPUtime=69.94 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 875 0 0 0 6956 38 0 0 25 0 1 0 201237525 6582272 790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1607 790 297 55 0 499 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 6428 [startup+80.0464 s] /proc/loadavg: 0.98 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468288/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6428 CPUtime=79.94 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 883 0 0 0 7951 43 0 0 25 0 1 0 201237525 6582272 798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1607 798 297 55 0 499 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 6428 [startup+90.0525 s] /proc/loadavg: 0.98 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468288/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6560 CPUtime=89.95 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 890 0 0 0 8947 48 0 0 25 0 1 0 201237525 6717440 805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1640 805 297 55 0 532 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 6560 [startup+100.059 s] /proc/loadavg: 0.98 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468224/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6560 CPUtime=99.95 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 899 0 0 0 9942 53 0 0 25 0 1 0 201237525 6717440 814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7918147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1640 814 297 55 0 532 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 6560 [startup+110.065 s] /proc/loadavg: 0.98 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468160/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6692 CPUtime=109.96 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 918 0 0 0 10938 58 0 0 25 0 1 0 201237525 6852608 833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1673 833 297 55 0 565 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 6692 [startup+120.072 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468096/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6692 CPUtime=119.96 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 933 0 0 0 11935 61 0 0 25 0 1 0 201237525 6852608 848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1673 848 297 55 0 565 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 6692 [startup+130.077 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468032/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6692 CPUtime=129.96 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 948 0 0 0 12929 67 0 0 25 0 1 0 201237525 6852608 863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1673 863 297 55 0 565 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 6692 [startup+140.083 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468096/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6824 CPUtime=139.97 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 960 0 0 0 13924 73 0 0 25 0 1 0 201237525 6987776 875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1706 875 297 55 0 598 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 6824 [startup+150.089 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1468032/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6824 CPUtime=149.97 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 968 0 0 0 14919 78 0 0 25 0 1 0 201237525 6987776 883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1706 883 297 55 0 598 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 6824 [startup+160.095 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1467968/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6824 CPUtime=159.98 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 980 0 0 0 15915 83 0 0 25 0 1 0 201237525 6987776 895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1706 895 297 55 0 598 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 6824 [startup+170.101 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1467968/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6956 CPUtime=169.98 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 990 0 0 0 16910 88 0 0 25 0 1 0 201237525 7122944 905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1739 905 297 55 0 631 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 6956 [startup+180.108 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1467904/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6956 CPUtime=179.98 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 1000 0 0 0 17906 92 0 0 25 0 1 0 201237525 7122944 915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1739 915 297 55 0 631 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 6956 [startup+190.114 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1467840/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=6956 CPUtime=189.98 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 1010 0 0 0 18902 96 0 0 25 0 1 0 201237525 7122944 925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1739 925 297 55 0 631 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 6956 [startup+200.121 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1467840/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=7088 CPUtime=199.99 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 1017 0 0 0 19898 101 0 0 25 0 1 0 201237525 7258112 932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 1772 932 297 55 0 664 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 7088 [startup+210.127 s] /proc/loadavg: 0.99 1.00 0.99 2/64 12266 /proc/meminfo: memFree=1467776/2055920 swapFree=4181404/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 830.21 Current children cumulated vsize (Kb) 214816 [startup+840.506 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259968/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=214816 CPUtime=840.21 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52883 0 0 0 83571 450 0 0 25 0 1 0 201237525 219971584 52778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53704 52778 297 55 0 52596 0 Current children cumulated CPU time (s) 840.21 Current children cumulated vsize (Kb) 214816 [startup+850.513 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259904/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=214940 CPUtime=850.21 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52895 0 0 0 84566 455 0 0 25 0 1 0 201237525 220098560 52790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53735 52790 297 55 0 52627 0 Current children cumulated CPU time (s) 850.21 Current children cumulated vsize (Kb) 214940 [startup+860.519 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259840/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=214940 CPUtime=860.21 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52907 0 0 0 85561 460 0 0 25 0 1 0 201237525 220098560 52802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53735 52802 297 55 0 52627 0 Current children cumulated CPU time (s) 860.21 Current children cumulated vsize (Kb) 214940 [startup+870.525 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259776/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=214940 CPUtime=870.22 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52920 0 0 0 86557 465 0 0 25 0 1 0 201237525 220098560 52815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53735 52815 297 55 0 52627 0 Current children cumulated CPU time (s) 870.22 Current children cumulated vsize (Kb) 214940 [startup+880.531 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259776/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=215068 CPUtime=880.22 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52932 0 0 0 87552 470 0 0 25 0 1 0 201237525 220229632 52827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53767 52827 297 55 0 52659 0 Current children cumulated CPU time (s) 880.22 Current children cumulated vsize (Kb) 215068 [startup+890.538 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259712/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=215068 CPUtime=890.22 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52945 0 0 0 88547 475 0 0 25 0 1 0 201237525 220229632 52840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53767 52840 297 55 0 52659 0 Current children cumulated CPU time (s) 890.22 Current children cumulated vsize (Kb) 215068 [startup+900.543 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1259648/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=215068 CPUtime=900.23 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 52957 0 0 0 89542 481 0 0 25 0 1 0 201237525 220229632 52852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 53767 52852 297 55 0 52659 0 Current children cumulated CPU time (s) 900.23 Current children cumulated vsize (Kb) 215068 [startup+910.549 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=1108480/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=366568 CPUtime=910.23 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 90702 0 0 0 90524 499 0 0 25 0 1 0 201237525 375365632 90562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 91642 90562 297 55 0 90534 0 Current children cumulated CPU time (s) 910.23 Current children cumulated vsize (Kb) 366568 [startup+920.555 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=958016/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=517592 CPUtime=920.23 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 128382 0 0 0 91503 520 0 0 25 0 1 0 201237525 530014208 128125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 129398 128126 297 55 0 128290 0 Current children cumulated CPU time (s) 920.23 Current children cumulated vsize (Kb) 517592 [startup+930.561 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=820864/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=654560 CPUtime=930.24 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 162603 0 0 0 92486 538 0 0 25 0 1 0 201237525 670269440 162332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 163640 162332 297 55 0 162532 0 Current children cumulated CPU time (s) 930.24 Current children cumulated vsize (Kb) 654560 [startup+940.567 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=704256/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=771616 CPUtime=940.24 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 191973 0 0 0 93471 553 0 0 25 0 1 0 201237525 790134784 191442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 192904 191443 297 55 0 191796 0 Current children cumulated CPU time (s) 940.24 Current children cumulated vsize (Kb) 771616 [startup+950.573 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=584256/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=892008 CPUtime=950.25 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 222167 0 0 0 94455 570 0 0 25 0 1 0 201237525 913416192 221363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 223002 221363 297 55 0 221894 0 Current children cumulated CPU time (s) 950.25 Current children cumulated vsize (Kb) 892008 [startup+960.58 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=477184/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=999328 CPUtime=960.25 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 249207 0 0 0 95440 585 0 0 25 0 1 0 201237525 1023311872 248075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 249832 248075 297 55 0 248724 0 Current children cumulated CPU time (s) 960.25 Current children cumulated vsize (Kb) 999328 [startup+970.586 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=369664/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1106700 CPUtime=970.26 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 276224 0 0 0 96427 599 0 0 25 0 1 0 201237525 1133260800 274913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 276675 274913 297 55 0 275567 0 Current children cumulated CPU time (s) 970.26 Current children cumulated vsize (Kb) 1106700 [startup+980.592 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=267392/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1208856 CPUtime=980.26 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 301906 0 0 0 97414 612 0 0 25 0 1 0 201237525 1237868544 300428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 302214 300428 297 55 0 301106 0 Current children cumulated CPU time (s) 980.26 Current children cumulated vsize (Kb) 1208856 [startup+990.598 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=159616/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1316168 CPUtime=990.26 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 328795 0 0 0 98400 626 0 0 25 0 1 0 201237525 1347756032 327314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 329042 327314 297 55 0 327934 0 Current children cumulated CPU time (s) 990.26 Current children cumulated vsize (Kb) 1316168 [startup+1000.6 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=56384/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1421856 CPUtime=1000.26 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 355486 0 0 0 99387 639 0 0 25 0 1 0 201237525 1455980544 353098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 355464 353099 297 55 0 354356 0 Current children cumulated CPU time (s) 1000.26 Current children cumulated vsize (Kb) 1421856 [startup+1010.61 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=14848/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1520816 CPUtime=1010.26 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 380287 0 0 0 100375 651 0 0 25 0 1 0 201237525 1557315584 377887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 380204 377887 297 55 0 379096 0 Current children cumulated CPU time (s) 1010.26 Current children cumulated vsize (Kb) 1520816 [startup+1020.62 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=15744/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1633680 CPUtime=1020.25 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 408521 0 0 0 101360 665 0 0 25 0 1 0 201237525 1672888320 405943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 408420 405943 297 55 0 407312 0 Current children cumulated CPU time (s) 1020.25 Current children cumulated vsize (Kb) 1633680 [startup+1030.62 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=15616/2055920 swapFree=4181404/4192956 [pid=12266] ppid=12264 vsize=1735796 CPUtime=1030.25 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 434125 0 0 0 102347 678 0 0 25 0 1 0 201237525 1777455104 431446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 433949 431446 297 55 0 432841 0 Current children cumulated CPU time (s) 1030.25 Current children cumulated vsize (Kb) 1735796 [startup+1040.63 s] /proc/loadavg: 1.00 1.00 1.00 2/64 12268 /proc/meminfo: memFree=15488/2055920 swapFree=4181416/4192956 [pid=12266] ppid=12264 vsize=1826532 CPUtime=1040.25 /proc/12266/stat : 12266 (bsolo) R 12264 12266 12220 0 -1 0 456936 0 0 0 103334 691 0 0 25 0 1 0 201237525 1870368768 454089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12266/statm: 456633 454089 297 55 0 455525 0 Current children cumulated CPU time (s) 1040.25 Current children cumulated vsize (Kb) 1826532 Child ended because it received signal 6 (SIGABRT) Real time (s): 1043.63 CPU time (s): 1043.25 CPU user time (s): 1036.02 CPU system time (s): 7.2299 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (Kb): 1826532 The end
Begin job on node19 on Sat Jun 3 17:29:05 UTC 2006 FILE ID= 40022-1149355745 PBS_JOBID= 311233 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/40022-1149355745/instance-40022-1149355745.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-40022-1149355745 -o ROOT/results/node19/solver-40022-1149355745 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node19/40022-1149355745/instance-40022-1149355745.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2299da783c48196e7dbf5579e5089efd RANDOM SEED= 643491620 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1470408 kB Buffers: 21012 kB Cached: 494484 kB SwapCached: 3208 kB Active: 43160 kB Inactive: 481092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1470408 kB SwapTotal: 4192956 kB SwapFree: 4181404 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14732 kB Slab: 47216 kB Committed_AS: 394340 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Sat Jun 3 17:46:29 UTC 2006