Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.06 | 1800.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb |
MD5SUM | 12e000f4c238d036e0b89e0774c838fa |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 1800.33 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 108 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75294 |
Sum of products size (including duplicates) | 150588 |
Number of different products | 75294 |
Sum of products size | 150588 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/453714-1178151506/instance-453714-1178151506.opb ...... 2.49/2.52 c done parsing opb. 2.49/2.52 o 511 2.59/2.63 o 510 2.69/2.73 o 468 2.79/2.83 o 467 2.89/2.93 o 466 2.99/3.03 o 465 3.09/3.13 o 464 3.19/3.23 o 463 3.29/3.34 o 462 3.38/3.44 o 461 3.48/3.54 o 460 3.59/3.64 o 459 3.69/3.74 o 458 3.79/3.84 o 457 3.89/3.95 o 456 3.99/4.05 o 455 4.09/4.15 o 454 4.19/4.25 o 453 4.29/4.35 o 452 4.39/4.45 o 451 4.49/4.55 o 450 4.59/4.66 o 449 4.69/4.76 o 448 4.78/4.86 o 447 4.88/4.96 o 446 4.98/5.07 o 445 5.08/5.17 o 444 5.18/5.27 o 443 5.28/5.37 o 442 5.40/5.47 o 441 5.50/5.57 o 440 5.59/5.67 o 439 5.69/5.77 o 438 5.79/5.88 o 437 5.89/5.98 o 436 5.99/6.08 o 435 6.08/6.18 o 434 6.18/6.28 o 433 6.28/6.38 o 432 6.38/6.49 o 431 6.49/6.59 o 430 6.69/6.70 o 429 6.79/6.80 o 428 6.89/6.90 o 427 6.99/7.01 o 426 7.09/7.11 o 425 7.19/7.21 o 424 7.29/7.31 o 423 7.39/7.41 o 422 7.49/7.51 o 421 7.59/7.61 o 420 7.69/7.71 o 419 7.79/7.81 o 418 7.89/7.91 o 417 7.99/8.01 o 416 8.09/8.12 o 415 8.19/8.22 o 414 8.29/8.32 o 413 8.38/8.42 o 412 8.48/8.53 o 411 8.58/8.63 o 410 8.69/8.73 o 409 8.79/8.83 o 408 8.88/8.93 o 407 8.98/9.03 o 406 9.08/9.13 o 405 9.19/9.24 o 404 9.29/9.34 o 403 9.39/9.44 o 402 9.49/9.54 o 401 9.59/9.64 o 400 9.69/9.75 o 399 9.79/9.85 o 398 9.89/9.95 o 397 9.99/10.05 o 396 10.09/10.15 o 395 10.18/10.25 o 394 10.28/10.35 o 393 10.38/10.45 o 392 10.48/10.55 o 391 10.59/10.65 o 390 10.69/10.76 o 389 10.79/10.87 o 388 10.89/10.97 o 387 10.99/11.07 o 386 11.09/11.17 o 385 11.19/11.27 o 384 11.29/11.37 o 383 11.38/11.47 o 382 11.48/11.57 o 381 11.59/11.68 o 380 11.69/11.78 o 379 11.79/11.88 o 378 11.89/11.98 o 377 11.99/12.09 o 376 12.09/12.19 o 375 12.19/12.29 o 374 12.29/12.39 o 373 12.39/12.49 o 372 12.49/12.59 o 371 12.59/12.69 o 370 12.68/12.79 o 369 12.78/12.89 o 368 12.88/12.99 o 367 12.98/13.09 o 366 13.09/13.20 o 365 13.29/13.30 o 364 13.39/13.40 o 363 13.49/13.50 o 362 13.59/13.60 o 361 13.69/13.70 o 360 13.79/13.81 o 359 13.89/13.91 o 358 13.99/14.01 o 357 14.09/14.11 o 356 14.19/14.21 o 355 14.29/14.31 o 354 14.38/14.42 o 353 14.48/14.52 o 352 14.58/14.62 o 351 14.68/14.72 o 350 14.78/14.82 o 349 14.88/14.92 o 348 14.98/15.02 o 347 15.08/15.13 o 346 15.18/15.23 o 345 15.29/15.33 o 344 15.39/15.43 o 343 15.49/15.53 o 342 15.59/15.63 o 341 15.68/15.73 o 340 15.78/15.84 o 339 15.88/15.94 o 338 15.98/16.04 o 337 16.08/16.14 o 336 16.18/16.24 o 335 16.28/16.34 o 334 16.38/16.44 o 333 16.48/16.55 o 332 16.59/16.65 o 331 16.69/16.75 o 330 16.79/16.85 o 329 16.89/16.95 o 328 16.99/17.05 o 327 17.09/17.15 o 326 17.19/17.25 o 325 17.29/17.36 o 324 17.39/17.46 o 323 17.49/17.56 o 322 17.59/17.66 o 321 17.68/17.76 o 320 17.78/17.86 o 319 17.88/17.96 o 318 17.98/18.06 o 317 18.08/18.16 o 316 18.18/18.26 o 315 18.28/18.36 o 314 18.38/18.46 o 313 18.48/18.56 o 312 18.59/18.66 o 311 18.69/18.76 o 310 18.78/18.87 o 309 18.88/18.97 o 308 18.98/19.07 o 307 19.09/19.18 o 306 19.19/19.28 o 305 19.29/19.38 o 304 19.39/19.48 o 303 19.49/19.58 o 302 19.58/19.68 o 301 19.69/19.78 o 300 19.79/19.88 o 299 19.88/19.98 o 298 19.98/20.08 o 297 20.08/20.18 o 296 20.18/20.28 o 295 20.28/20.38 o 294 20.39/20.48 o 293 20.49/20.58 o 292 20.59/20.68 o 291 20.69/20.78 o 290 20.79/20.88 o 289 20.89/20.98 o 288 20.99/21.08 o 287 21.09/21.18 o 286 21.19/21.28 o 285 21.29/21.38 o 284 21.39/21.48 o 283 21.48/21.57 o 282 21.58/21.67 o 281 21.68/21.78 o 280 21.78/21.87 o 279 21.89/21.98 o 278 21.98/22.07 o 277 22.09/22.17 o 276 22.19/22.27 o 275 22.29/22.37 o 274 22.39/22.47 o 273 22.49/22.57 o 272 22.58/22.67 o 271 22.68/22.77 o 270 22.78/22.86 o 269 22.88/22.96 o 268 22.99/23.06 o 267 23.09/23.16 o 266 23.18/23.27 o 265 23.28/23.37 o 264 23.38/23.47 o 263 23.48/23.57 o 262 23.58/23.67 o 261 23.68/23.76 o 260 23.78/23.86 o 259 23.89/23.96 o 258 23.99/24.06 o 257 24.09/24.16 o 256 24.19/24.26 o 255 24.28/24.36 o 254 24.38/24.46 o 253 24.48/24.56 o 252 24.58/24.66 o 251 24.68/24.75 o 250 24.78/24.85 o 249 24.88/24.95 o 248 24.98/25.05 o 247 25.08/25.15 o 246 25.19/25.25 o 245 25.28/25.35 o 244 25.39/25.45 o 243 25.49/25.55 o 242 25.59/25.65 o 241 25.69/25.74 o 240 25.78/25.84 o 239 25.88/25.94 o 238 25.98/26.04 o 237 26.08/26.14 o 236 26.18/26.24 o 235 26.29/26.34 o 234 26.39/26.43 o 233 26.48/26.53 o 232 26.58/26.63 o 231 26.68/26.73 o 230 26.78/26.83 o 229 26.88/26.93 o 228 26.98/27.03 o 227 27.08/27.13 o 226 27.18/27.23 o 225 27.28/27.33 o 224 27.38/27.43 o 223 27.48/27.52 o 222 27.58/27.62 o 221 27.68/27.72 o 220 27.78/27.82 o 219 27.88/27.92 o 218 27.98/28.02 o 217 28.07/28.12 o 216 28.17/28.22 o 215 28.28/28.32 o 214 28.38/28.41 o 213 28.48/28.51 o 212 28.58/28.61 o 211 28.67/28.71 o 210 28.77/28.81 o 209 28.87/28.90 o 208 28.98/29.00 o 207 29.08/29.10 o 206 29.18/29.20 o 205 29.18/29.30 o 204 29.28/29.39 o 203 29.38/29.49 o 202 29.48/29.59 o 201 29.58/29.69 o 200 29.68/29.79 o 199 29.77/29.89 o 198 29.87/29.99 o 197 29.97/30.09 o 196 30.07/30.19 o 195 30.17/30.28 o 194 30.27/30.38 o 193 30.37/30.48 o 192 30.47/30.58 o 191 30.58/30.68 o 190 30.68/30.78 o 189 30.78/30.88 o 188 30.88/30.98 o 187 30.98/31.08 o 186 31.08/31.17 o 185 31.18/31.27 o 184 31.28/31.38 o 183 31.38/31.47 o 182 31.48/31.57 o 181 31.58/31.67 o 180 31.68/31.77 o 179 31.78/31.87 o 178 31.88/31.97 o 177 31.98/32.07 o 176 32.07/32.17 o 175 32.17/32.26 o 174 32.27/32.36 o 173 32.37/32.46 o 172 32.47/32.56 o 171 32.57/32.65 o 170 32.67/32.75 o 169 32.77/32.85 o 168 32.87/32.95 o 167 32.98/33.04 o 166 33.08/33.14 o 165 33.18/33.24 o 164 33.28/33.34 o 163 33.38/33.43 o 162 33.48/33.53 o 161 33.58/33.63 o 160 33.68/33.73 o 159 33.78/33.82 o 158 33.88/33.92 o 157 33.98/34.02 o 156 34.08/34.12 o 155 34.17/34.21 o 154 34.27/34.31 o 153 34.37/34.41 o 152 34.47/34.50 o 151 34.57/34.60 o 150 34.67/34.70 o 149 34.77/34.80 o 148 34.87/34.90 o 147 34.87/34.99 o 146 34.97/35.09 o 145 35.08/35.18 o 144 35.18/35.28 o 143 35.27/35.39 o 142 35.37/35.48 o 141 35.47/35.58 o 140 35.57/35.67 o 139 35.67/35.77 o 138 35.77/35.87 o 137 35.87/35.96 o 136 35.97/36.06 o 135 36.07/36.16 o 134 36.18/36.25 o 133 36.28/36.35 o 132 36.38/36.45 o 131 36.48/36.54 o 130 36.58/36.64 o 129 36.68/36.74 o 128 36.78/36.83 o 127 36.88/36.93 o 126 36.98/37.02 o 125 37.07/37.12 o 124 37.17/37.21 o 123 37.28/37.31 o 122 37.38/37.41 o 121 37.47/37.50 o 120 37.57/37.60 o 119 37.57/37.69 o 118 37.67/37.79 o 117 37.77/37.89 o 116 37.87/37.98 o 115 37.97/38.08 o 114 38.07/38.17 o 113 38.17/38.27 o 112 38.28/38.36 o 111 38.38/38.46 o 110 38.48/38.56 o 109 38.58/38.65 o 108 38.68/38.75 o 107 38.77/38.84 o 106 38.87/38.94 o 105 38.97/39.03 o 104 39.07/39.13 o 103 39.17/39.22 o 102 39.27/39.32 o 101 39.37/39.41 o 100 39.47/39.51 o 99 39.57/39.60 o 98 39.57/39.70 o 97 39.67/39.79 o 96 39.77/39.88 o 95 39.87/39.98 o 94 40.08/40.17 o 93 40.17/40.27 o 92 40.27/40.36 o 91 40.47/40.56 o 90 40.57/40.65 o 89 40.67/40.74 o 88 40.77/40.83 o 87 40.87/40.92 o 86 40.97/41.02 o 85 41.08/41.11 o 84 41.18/41.20 o 83 41.28/41.38 o 82 41.68/41.77 o 81 41.78/41.87 o 80 42.07/42.18 o 79 42.37/42.49 o 78 260.91/261.02 o 77 262.22/262.32 o 76 652.31/652.56 o 75 655.11/655.37 o 74 674.02/674.28 o 73 675.41/675.61 o 72 676.81/677.00 o 71 767.39/767.61 o 70 768.78/769.09 o 69 829.08/829.35 o 68 829.47/829.70 o 67 889.75/890.09 o 66 890.06/890.33 o 65 951.24/951.59 o 64 964.64/964.96 o 63 1160.88/1161.25 o 62 1275.76/1276.12 o 61 1307.95/1308.35 o 60 1402.92/1403.38 o 59 1712.65/1713.20 o 58 1713.95/1714.44 o 57 1800.02/1800.50 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/453714-1178151506/instance-453714-1178151506.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-453714-1178151506 -o ROOT/results/node12/solver-453714-1178151506 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453714-1178151506/PBS4 /tmp/evaluation/453714-1178151506/instance-453714-1178151506.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10244 /proc/meminfo: memFree=1748328/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=8480 CPUtime=0 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 291188287 8683520 441 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134573157 0 0 4096 0 0 0 0 17 1 0 0 /proc/10244/statm: 2120 445 81 219 0 1897 0 [startup+0.0336541 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10244 /proc/meminfo: memFree=1748328/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=11680 CPUtime=0.02 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 2766 0 0 0 2 0 0 0 18 0 1 0 291188287 11960320 2652 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/10244/statm: 2920 2652 87 219 0 2697 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11680 [startup+0.10166 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10244 /proc/meminfo: memFree=1748328/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=12364 CPUtime=0.09 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 2959 0 0 0 8 1 0 0 18 0 1 0 291188287 12660736 2845 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/10244/statm: 3091 2845 88 219 0 2868 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12364 [startup+0.30168 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10244 /proc/meminfo: memFree=1748328/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=14484 CPUtime=0.29 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 3476 0 0 0 28 1 0 0 19 0 1 0 291188287 14831616 3362 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/10244/statm: 3621 3363 89 219 0 3398 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14484 [startup+0.70172 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10244 /proc/meminfo: memFree=1748328/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=18764 CPUtime=0.69 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 4672 0 0 0 67 2 0 0 23 0 1 0 291188287 19214336 4298 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134593268 0 0 4096 0 0 0 0 17 1 0 0 /proc/10244/statm: 4691 4298 89 219 0 4468 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18764 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1729120/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=27548 CPUtime=1.49 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 7489 0 0 0 145 4 0 0 25 0 1 0 291188287 28209152 6055 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/10244/statm: 6887 6055 89 219 0 6664 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27548 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1720736/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=41988 CPUtime=3.09 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 11636 0 0 0 303 6 0 0 25 0 1 0 291188287 42995712 8642 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 10497 8642 104 219 0 10274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41988 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1713568/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=43044 CPUtime=6.28 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 11860 0 0 0 620 8 0 0 25 0 1 0 291188287 44077056 8866 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 10761 8866 104 219 0 10538 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43044 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1710880/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=46556 CPUtime=12.68 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 12538 0 0 0 1255 13 0 0 25 0 1 0 291188287 47673344 9544 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 11639 9544 104 219 0 11416 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46556 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1700320/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=61192 CPUtime=25.49 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 15429 0 0 0 2527 22 0 0 25 0 1 0 291188287 62660608 12155 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 15298 12155 104 219 0 15075 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61192 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1672992/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=98296 CPUtime=51.07 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 27567 0 0 0 5076 31 0 0 25 0 1 0 291188287 100655104 18858 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 24574 18858 104 219 0 24351 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98296 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1664608/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=108404 CPUtime=102.26 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 51207 0 0 0 10184 42 0 0 25 0 1 0 291188287 111005696 20920 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 27101 20920 104 219 0 26878 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 108404 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1663200/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=110664 CPUtime=162.24 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 56917 0 0 0 16176 48 0 0 25 0 1 0 291188287 113319936 21290 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 27666 21290 104 219 0 27443 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 110664 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1661408/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=116592 CPUtime=222.22 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 57696 0 0 0 22172 50 0 0 25 0 1 0 291188287 119390208 21695 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 29148 21695 104 219 0 28925 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 116592 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1659296/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=119308 CPUtime=282.21 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 63133 0 0 0 28167 54 0 0 25 0 1 0 291188287 122171392 22243 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 29827 22243 104 219 0 29604 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 119308 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1658144/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=120136 CPUtime=342.2 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 65443 0 0 0 34164 56 0 0 25 0 1 0 291188287 123019264 22551 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 30034 22551 104 219 0 29811 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 120136 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1657312/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=120396 CPUtime=402.18 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 66747 0 0 0 40161 57 0 0 25 0 1 0 291188287 123285504 22761 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 30099 22761 104 219 0 29876 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 120396 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1656608/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=120556 CPUtime=462.16 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 70071 0 0 0 46156 60 0 0 25 0 1 0 291188287 123449344 22939 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 30139 22939 104 219 0 29916 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 120556 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1656096/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=120556 CPUtime=522.15 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 70215 0 0 0 52154 61 0 0 25 0 1 0 291188287 123449344 23083 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 30139 23083 104 219 0 29916 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 120556 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1655456/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=120556 CPUtime=582.13 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 70415 0 0 0 58151 62 0 0 25 0 1 0 291188287 123449344 23236 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 30139 23236 104 219 0 29916 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 120556 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1654304/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=129580 CPUtime=642.12 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 71842 0 0 0 64148 64 0 0 25 0 1 0 291188287 132689920 23513 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 32395 23513 104 219 0 32172 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 129580 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1647072/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=138056 CPUtime=882.06 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 82665 0 0 0 88132 74 0 0 25 0 1 0 291188287 141369344 25319 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 34514 25319 104 219 0 34291 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 138056 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10245 /proc/meminfo: memFree=1646048/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=139608 CPUtime=942.04 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 83245 0 0 0 94129 75 0 0 25 0 1 0 291188287 142958592 25551 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 34902 25551 104 219 0 34679 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 139608 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1643808/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=142716 CPUtime=1002.02 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 84559 0 0 0 100126 76 0 0 25 0 1 0 291188287 146141184 26094 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 35679 26094 104 219 0 35456 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 142716 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1639968/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=147796 CPUtime=1062 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 88287 0 0 0 106121 79 0 0 25 0 1 0 291188287 151343104 27088 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 36949 27088 104 219 0 36726 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 147796 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1638240/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=149480 CPUtime=1121.99 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 96800 0 0 0 112114 85 0 0 25 0 1 0 291188287 153067520 27478 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 37370 27478 104 219 0 37147 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 149480 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1635744/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=153156 CPUtime=1181.98 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 105385 0 0 0 118107 91 0 0 25 0 1 0 291188287 156831744 28094 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134546898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 38289 28094 104 219 0 38066 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 153156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1632288/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=158600 CPUtime=1241.96 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 120663 0 0 0 124097 99 0 0 25 0 1 0 291188287 162406400 28985 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 39650 28985 104 219 0 39427 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 158600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1631904/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=159340 CPUtime=1301.95 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 132766 0 0 0 130087 108 0 0 25 0 1 0 291188287 163164160 29086 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 39835 29086 104 219 0 39612 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 159340 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1630048/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=162240 CPUtime=1361.93 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 134040 0 0 0 136084 109 0 0 25 0 1 0 291188287 166133760 29512 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 40560 29512 104 219 0 40337 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 162240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1629472/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=164040 CPUtime=1421.92 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 134771 0 0 0 142082 110 0 0 25 0 1 0 291188287 167976960 29692 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 41010 29692 104 219 0 40787 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 164040 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1629280/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=164040 CPUtime=1481.91 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 134929 0 0 0 148080 111 0 0 25 0 1 0 291188287 167976960 29700 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 41010 29700 104 219 0 40787 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 164040 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1626976/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=168420 CPUtime=1541.88 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 140258 0 0 0 154073 115 0 0 25 0 1 0 291188287 172462080 30286 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 42105 30286 104 219 0 41882 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 168420 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1626080/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=169720 CPUtime=1601.87 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 140780 0 0 0 160070 117 0 0 25 0 1 0 291188287 173793280 30526 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 42430 30526 104 219 0 42207 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 169720 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1625504/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=170760 CPUtime=1661.86 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 142395 0 0 0 166067 119 0 0 25 0 1 0 291188287 174858240 30720 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 42690 30720 104 219 0 42467 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 170760 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1623904/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=172700 CPUtime=1721.84 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 152257 0 0 0 172058 126 0 0 25 0 1 0 291188287 176844800 31070 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 43175 31070 104 219 0 42952 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 172700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1622176/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=175292 CPUtime=1781.83 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 160730 0 0 0 178051 132 0 0 25 0 1 0 291188287 179499008 31506 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 43823 31506 104 219 0 43600 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 175292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1622112/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=175292 CPUtime=1800.02 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 161540 0 0 0 179870 132 0 0 25 0 1 0 291188287 179499008 31521 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 43823 31521 104 219 0 43600 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 175292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10247 /proc/meminfo: memFree=1622112/2055920 swapFree=4160052/4192956 [pid=10244] ppid=10242 vsize=175292 CPUtime=1800.02 /proc/10244/stat : 10244 (PBS4) R 10242 10244 8467 0 -1 4194304 161540 0 0 0 179870 132 0 0 25 0 1 0 291188287 179499008 31521 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10244/statm: 43823 31521 104 219 0 43600 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 175292 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.06 CPU user time (s): 1798.71 CPU system time (s): 1.34979 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 175424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.71 system time used= 1.34979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 161541 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3083 runsolver used 1.43078 second user time and 3.80142 second system time The end
Begin job on node12 on Thu May 3 00:18:26 UTC 2007 IDJOB= 453714 IDBENCH= 48149 IDSOLVER= 157 FILE ID= node12/453714-1178151506 PBS_JOBID= 4751067 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.opb COMMAND LINE= /tmp/evaluation/453714-1178151506/PBS4 /tmp/evaluation/453714-1178151506/instance-453714-1178151506.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-453714-1178151506 -o ROOT/results/node12/conversion-453714-1178151506 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453714-1178151506/instance-453714-1178151506.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-453714-1178151506 -o ROOT/results/node12/solver-453714-1178151506 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453714-1178151506/PBS4 /tmp/evaluation/453714-1178151506/instance-453714-1178151506.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa RANDOM SEED= 518507477 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 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.239 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: 1748672 kB Buffers: 100900 kB Cached: 110088 kB SwapCached: 11848 kB Active: 126860 kB Inactive: 110340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748672 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 6972 kB Writeback: 0 kB Mapped: 32852 kB Slab: 55516 kB Committed_AS: 10623120 kB PageTables: 1804 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node12 on Thu May 3 00:48:32 UTC 2007