Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_1.opb |
MD5SUM | 04b9af5ff2583cb908a8972f40516a9e |
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.3 |
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 | 110 |
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) | 75586 |
Sum of products size (including duplicates) | 151172 |
Number of different products | 75586 |
Sum of products size | 151172 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/453219-1178124481/instance-453219-1178124481.opb ...... 2.49/2.54 c done parsing opb. 2.49/2.54 o 511 2.59/2.65 o 510 2.69/2.75 o 468 2.79/2.85 o 467 2.89/2.95 o 466 2.99/3.05 o 465 3.09/3.16 o 464 3.19/3.26 o 463 3.29/3.36 o 462 3.39/3.46 o 461 3.49/3.57 o 460 3.59/3.67 o 459 3.69/3.77 o 458 3.79/3.87 o 457 3.89/3.97 o 456 3.99/4.08 o 455 4.09/4.18 o 454 4.19/4.28 o 453 4.29/4.38 o 452 4.39/4.49 o 451 4.49/4.59 o 450 4.59/4.69 o 449 4.69/4.79 o 448 4.79/4.90 o 447 4.99/5.00 o 446 5.09/5.10 o 445 5.19/5.20 o 444 5.29/5.31 o 443 5.39/5.41 o 442 5.49/5.51 o 441 5.59/5.62 o 440 5.69/5.72 o 439 5.79/5.82 o 438 5.89/5.92 o 437 5.99/6.03 o 436 6.08/6.13 o 435 6.18/6.23 o 434 6.29/6.33 o 433 6.39/6.43 o 432 6.50/6.54 o 431 6.60/6.64 o 430 6.69/6.75 o 429 6.79/6.86 o 428 6.89/6.96 o 427 6.99/7.06 o 426 7.09/7.16 o 425 7.19/7.26 o 424 7.29/7.37 o 423 7.39/7.47 o 422 7.49/7.57 o 421 7.59/7.67 o 420 7.69/7.77 o 419 7.79/7.88 o 418 7.89/7.98 o 417 7.98/8.08 o 416 8.09/8.18 o 415 8.19/8.29 o 414 8.29/8.39 o 413 8.39/8.49 o 412 8.49/8.60 o 411 8.69/8.70 o 410 8.79/8.81 o 409 8.89/8.91 o 408 8.99/9.01 o 407 9.09/9.11 o 406 9.19/9.22 o 405 9.29/9.32 o 404 9.39/9.42 o 403 9.49/9.53 o 402 9.58/9.63 o 401 9.68/9.73 o 400 9.79/9.84 o 399 9.89/9.94 o 398 9.98/10.04 o 397 10.08/10.14 o 396 10.19/10.24 o 395 10.29/10.35 o 394 10.39/10.45 o 393 10.49/10.55 o 392 10.59/10.65 o 391 10.69/10.75 o 390 10.79/10.86 o 389 10.89/10.97 o 388 10.99/11.07 o 387 11.08/11.17 o 386 11.18/11.28 o 385 11.28/11.38 o 384 11.38/11.48 o 383 11.48/11.58 o 382 11.59/11.68 o 381 11.69/11.79 o 380 11.79/11.89 o 379 11.89/11.99 o 378 11.99/12.10 o 377 12.19/12.20 o 376 12.29/12.30 o 375 12.39/12.41 o 374 12.49/12.51 o 373 12.59/12.61 o 372 12.69/12.71 o 371 12.69/12.81 o 370 12.89/12.92 o 369 12.98/13.02 o 368 13.09/13.12 o 367 13.19/13.22 o 366 13.29/13.33 o 365 13.39/13.43 o 364 13.49/13.53 o 363 13.59/13.64 o 362 13.69/13.74 o 361 13.79/13.84 o 360 13.89/13.94 o 359 13.99/14.04 o 358 14.09/14.15 o 357 14.19/14.25 o 356 14.29/14.35 o 355 14.38/14.46 o 354 14.49/14.56 o 353 14.59/14.66 o 352 14.69/14.77 o 351 14.79/14.87 o 350 14.89/14.97 o 349 14.99/15.07 o 348 15.09/15.18 o 347 15.19/15.28 o 346 15.29/15.38 o 345 15.39/15.48 o 344 15.49/15.59 o 343 15.59/15.69 o 342 15.69/15.79 o 341 15.79/15.89 o 340 15.88/16.00 o 339 16.08/16.10 o 338 16.18/16.20 o 337 16.28/16.31 o 336 16.39/16.41 o 335 16.49/16.51 o 334 16.58/16.61 o 333 16.68/16.71 o 332 16.79/16.82 o 331 16.89/16.92 o 330 16.99/17.02 o 329 17.09/17.12 o 328 17.19/17.23 o 327 17.29/17.33 o 326 17.39/17.43 o 325 17.49/17.54 o 324 17.59/17.64 o 323 17.68/17.74 o 322 17.78/17.84 o 321 17.88/17.94 o 320 17.98/18.05 o 319 18.08/18.15 o 318 18.18/18.25 o 317 18.29/18.35 o 316 18.39/18.45 o 315 18.49/18.55 o 314 18.59/18.65 o 313 18.69/18.75 o 312 18.79/18.85 o 311 18.89/18.96 o 310 18.99/19.06 o 309 19.09/19.16 o 308 19.19/19.26 o 307 19.29/19.37 o 306 19.39/19.47 o 305 19.49/19.57 o 304 19.58/19.67 o 303 19.69/19.77 o 302 19.79/19.88 o 301 19.88/19.98 o 300 19.98/20.08 o 299 20.08/20.18 o 298 20.18/20.28 o 297 20.28/20.38 o 296 20.39/20.48 o 295 20.49/20.58 o 294 20.59/20.68 o 293 20.69/20.78 o 292 20.79/20.89 o 291 20.89/20.99 o 290 20.98/21.09 o 289 21.08/21.19 o 288 21.18/21.29 o 287 21.28/21.39 o 286 21.38/21.49 o 285 21.48/21.59 o 284 21.58/21.69 o 283 21.68/21.79 o 282 21.78/21.89 o 281 21.88/21.99 o 280 21.99/22.09 o 279 22.09/22.19 o 278 22.19/22.29 o 277 22.28/22.39 o 276 22.38/22.49 o 275 22.48/22.59 o 274 22.58/22.69 o 273 22.68/22.79 o 272 22.78/22.89 o 271 22.89/22.99 o 270 22.99/23.09 o 269 23.09/23.19 o 268 23.19/23.29 o 267 23.29/23.39 o 266 23.48/23.50 o 265 23.58/23.60 o 264 23.68/23.70 o 263 23.79/23.80 o 262 23.89/23.90 o 261 23.99/24.00 o 260 23.99/24.10 o 259 24.09/24.19 o 258 24.19/24.29 o 257 24.29/24.39 o 256 24.38/24.49 o 255 24.48/24.59 o 254 24.58/24.69 o 253 24.68/24.79 o 252 24.78/24.89 o 251 24.88/24.99 o 250 24.98/25.09 o 249 25.09/25.20 o 248 25.19/25.30 o 247 25.29/25.40 o 246 25.39/25.50 o 245 25.49/25.60 o 244 25.59/25.70 o 243 25.69/25.80 o 242 25.79/25.89 o 241 25.89/25.99 o 240 25.99/26.09 o 239 26.09/26.19 o 238 26.18/26.29 o 237 26.29/26.39 o 236 26.39/26.49 o 235 26.48/26.59 o 234 26.58/26.69 o 233 26.68/26.79 o 232 26.78/26.89 o 231 26.88/26.99 o 230 26.98/27.09 o 229 27.09/27.19 o 228 27.19/27.28 o 227 27.28/27.39 o 226 27.39/27.49 o 225 27.49/27.59 o 224 27.58/27.69 o 223 27.68/27.79 o 222 27.78/27.89 o 221 27.89/27.99 o 220 27.99/28.09 o 219 28.09/28.18 o 218 28.19/28.28 o 217 28.29/28.38 o 216 28.39/28.48 o 215 28.49/28.58 o 214 28.59/28.68 o 213 28.68/28.78 o 212 28.78/28.88 o 211 28.88/28.98 o 210 28.98/29.08 o 209 29.08/29.18 o 208 29.18/29.28 o 207 29.28/29.38 o 206 29.38/29.48 o 205 29.48/29.57 o 204 29.58/29.67 o 203 29.68/29.77 o 202 29.79/29.87 o 201 29.89/29.97 o 200 29.99/30.07 o 199 30.09/30.17 o 198 30.19/30.27 o 197 30.29/30.37 o 196 30.39/30.47 o 195 30.48/30.57 o 194 30.58/30.67 o 193 30.69/30.77 o 192 30.79/30.87 o 191 30.88/30.97 o 190 30.98/31.07 o 189 31.08/31.17 o 188 31.18/31.27 o 187 31.28/31.36 o 186 31.38/31.46 o 185 31.48/31.56 o 184 31.58/31.67 o 183 31.69/31.76 o 182 31.79/31.86 o 181 31.89/31.96 o 180 31.99/32.06 o 179 32.08/32.16 o 178 32.18/32.26 o 177 32.28/32.36 o 176 32.38/32.46 o 175 32.48/32.56 o 174 32.58/32.66 o 173 32.68/32.76 o 172 32.78/32.85 o 171 32.88/32.95 o 170 32.98/33.05 o 169 33.08/33.15 o 168 33.18/33.25 o 167 33.29/33.34 o 166 33.39/33.44 o 165 33.48/33.54 o 164 33.58/33.64 o 163 33.68/33.74 o 162 33.78/33.83 o 161 33.88/33.93 o 160 33.98/34.03 o 159 34.08/34.13 o 158 34.18/34.22 o 157 34.28/34.32 o 156 34.38/34.42 o 155 34.48/34.52 o 154 34.58/34.62 o 153 34.69/34.71 o 152 34.78/34.81 o 151 34.88/34.91 o 150 34.98/35.01 o 149 35.09/35.11 o 148 35.19/35.21 o 147 35.28/35.30 o 146 35.38/35.40 o 145 35.48/35.50 o 144 35.48/35.60 o 143 35.68/35.70 o 142 35.78/35.80 o 141 35.78/35.89 o 140 35.88/35.99 o 139 35.98/36.09 o 138 36.08/36.19 o 137 36.18/36.28 o 136 36.29/36.38 o 135 36.38/36.48 o 134 36.48/36.58 o 133 36.58/36.67 o 132 36.68/36.77 o 131 36.78/36.87 o 130 36.88/36.97 o 129 36.98/37.06 o 128 37.08/37.16 o 127 37.18/37.26 o 126 37.28/37.35 o 125 37.38/37.45 o 124 37.48/37.55 o 123 37.58/37.64 o 122 37.68/37.74 o 121 37.78/37.84 o 120 37.88/37.93 o 119 37.99/38.03 o 118 38.08/38.13 o 117 38.18/38.22 o 116 38.28/38.32 o 115 38.39/38.42 o 114 38.49/38.52 o 113 38.58/38.61 o 112 38.68/38.71 o 111 38.78/38.80 o 110 38.78/38.90 o 109 38.88/38.99 o 108 38.98/39.08 o 107 39.08/39.18 o 106 39.18/39.27 o 105 39.28/39.37 o 104 39.38/39.47 o 103 39.48/39.56 o 102 39.58/39.66 o 101 39.68/39.76 o 100 39.78/39.85 o 99 39.88/39.95 o 98 39.98/40.04 o 97 40.08/40.14 o 96 40.18/40.23 o 95 40.28/40.33 o 94 40.38/40.42 o 93 40.48/40.52 o 92 40.58/40.61 o 91 40.68/40.70 o 90 40.78/40.80 o 89 40.78/40.89 o 88 40.88/40.99 o 87 40.98/41.08 o 86 41.07/41.18 o 85 41.17/41.27 o 84 41.28/41.36 o 83 41.38/41.46 o 82 41.58/41.64 o 81 41.88/41.92 o 80 42.89/42.93 o 79 43.18/43.22 o 78 43.28/43.31 o 77 43.38/43.40 o 76 43.48/43.50 o 75 43.48/43.59 o 74 43.58/43.68 o 73 43.68/43.77 o 72 43.78/43.87 o 71 43.88/43.96 o 70 43.98/44.05 o 69 44.08/44.14 o 68 44.18/44.23 o 67 44.28/44.32 o 66 44.38/44.42 o 65 44.48/44.51 o 64 44.58/44.60 o 63 44.68/44.79 o 62 1122.89/1123.37 o 61 1282.25/1282.73 o 60 1467.09/1467.68 o 59 1800.01/1800.60 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/453219-1178124481/instance-453219-1178124481.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-453219-1178124481 -o ROOT/results/node5/solver-453219-1178124481 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453219-1178124481/PBS4 /tmp/evaluation/453219-1178124481/instance-453219-1178124481.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 1.00 1.00 2/77 16582 /proc/meminfo: memFree=1744320/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=8508 CPUtime=0 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 288486081 8712192 472 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0 /proc/16582/statm: 2127 475 81 219 0 1904 0 [startup+0.040416 s] /proc/loadavg: 0.97 1.00 1.00 2/77 16582 /proc/meminfo: memFree=1744320/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=11712 CPUtime=0.02 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 2788 0 0 0 2 0 0 0 18 0 1 0 288486081 11993088 2673 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 1 0 0 /proc/16582/statm: 2928 2673 88 219 0 2705 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11712 [startup+0.102418 s] /proc/loadavg: 0.97 1.00 1.00 2/77 16582 /proc/meminfo: memFree=1744320/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=12400 CPUtime=0.1 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 2975 0 0 0 9 1 0 0 18 0 1 0 288486081 12697600 2860 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134793013 0 0 4096 0 0 0 0 17 1 0 0 /proc/16582/statm: 3100 2860 88 219 0 2877 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12400 [startup+0.302443 s] /proc/loadavg: 0.97 1.00 1.00 2/77 16582 /proc/meminfo: memFree=1744320/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=14520 CPUtime=0.29 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 3492 0 0 0 28 1 0 0 19 0 1 0 288486081 14868480 3377 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/16582/statm: 3630 3377 89 219 0 3407 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14520 [startup+0.701485 s] /proc/loadavg: 0.97 1.00 1.00 2/77 16582 /proc/meminfo: memFree=1744320/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=18800 CPUtime=0.69 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 4683 0 0 0 68 1 0 0 22 0 1 0 288486081 19251200 4308 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/16582/statm: 4700 4309 89 219 0 4477 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18800 [startup+1.50158 s] /proc/loadavg: 0.97 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1724856/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=27584 CPUtime=1.49 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 7502 0 0 0 146 3 0 0 25 0 1 0 288486081 28246016 6067 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/16582/statm: 6896 6067 89 219 0 6673 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27584 [startup+3.10176 s] /proc/loadavg: 0.97 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1716472/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=42040 CPUtime=3.09 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 11666 0 0 0 304 5 0 0 25 0 1 0 288486081 43048960 8671 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 10510 8671 104 219 0 10287 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42040 [startup+6.30112 s] /proc/loadavg: 0.97 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1709240/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=43136 CPUtime=6.29 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 11891 0 0 0 621 8 0 0 25 0 1 0 288486081 44171264 8896 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 10784 8896 104 219 0 10561 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43136 [startup+12.7018 s] /proc/loadavg: 0.98 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1706616/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=46388 CPUtime=12.69 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 12547 0 0 0 1258 11 0 0 25 0 1 0 288486081 47501312 9552 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 11597 9552 104 219 0 11374 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46388 [startup+25.5013 s] /proc/loadavg: 0.98 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1696504/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=60840 CPUtime=25.49 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 15385 0 0 0 2528 21 0 0 25 0 1 0 288486081 62300160 12146 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 15210 12146 104 219 0 14987 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60840 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1668216/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=98112 CPUtime=51.07 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 27733 0 0 0 5076 31 0 0 25 0 1 0 288486081 100466688 19074 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 24528 19074 104 219 0 24305 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98112 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1663416/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=104720 CPUtime=102.26 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 38908 0 0 0 10189 37 0 0 25 0 1 0 288486081 107233280 20276 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 26180 20276 104 219 0 25957 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 104720 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1661048/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=107436 CPUtime=162.24 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 54792 0 0 0 16178 46 0 0 25 0 1 0 288486081 110014464 20874 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 26859 20874 104 219 0 26636 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 107436 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1658104/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=115276 CPUtime=222.24 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 72984 0 0 0 22169 55 0 0 25 0 1 0 288486081 118042624 21580 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 28819 21580 104 219 0 28596 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 115276 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1656120/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=117900 CPUtime=282.22 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 77683 0 0 0 28163 59 0 0 25 0 1 0 288486081 120729600 22066 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134564012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 29475 22066 104 219 0 29252 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 117900 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1654328/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=120460 CPUtime=342.2 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 78769 0 0 0 34159 61 0 0 25 0 1 0 288486081 123351040 22511 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 30115 22511 104 219 0 29892 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 120460 [startup+402.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1653752/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=120592 CPUtime=402.18 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 78910 0 0 0 40157 61 0 0 25 0 1 0 288486081 123486208 22648 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134564012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 30148 22648 104 219 0 29925 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 120592 [startup+462.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1653368/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=120696 CPUtime=462.17 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 79032 0 0 0 46154 63 0 0 25 0 1 0 288486081 123592704 22770 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 30174 22770 104 219 0 29951 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 120696 [startup+522.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1651832/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=122244 CPUtime=522.15 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 79694 0 0 0 52151 64 0 0 25 0 1 0 288486081 125177856 23105 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 30561 23105 104 219 0 30338 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 122244 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1651320/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=122760 CPUtime=582.14 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 79982 0 0 0 58149 65 0 0 25 0 1 0 288486081 125706240 23282 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 30690 23282 104 219 0 30467 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 122760 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16583 /proc/meminfo: memFree=1649016/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=125936 CPUtime=642.12 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 81115 0 0 0 64146 66 0 0 25 0 1 0 288486081 128958464 23802 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 31484 23802 104 219 0 31261 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 125936 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 1.00 1.00 2/84 16757 /proc/meminfo: memFree=1644040/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=131044 CPUtime=821.98 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 83305 0 0 0 82128 70 0 0 25 0 1 0 288486081 134189056 24712 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 32761 24712 104 219 0 32538 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 131044 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1639736/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=138936 CPUtime=881.95 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 88225 0 0 0 88121 74 0 0 25 0 1 0 288486081 142270464 26045 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 34734 26045 104 219 0 34511 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 138936 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1638200/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=141520 CPUtime=941.93 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 96591 0 0 0 94115 78 0 0 25 0 1 0 288486081 144916480 26428 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 35380 26428 104 219 0 35157 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 141520 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1636536/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=145272 CPUtime=1001.91 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 112706 0 0 0 100102 89 0 0 25 0 1 0 288486081 148758528 26902 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 36318 26902 104 219 0 36095 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 145272 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1634360/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=148192 CPUtime=1061.9 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 122963 0 0 0 106093 97 0 0 25 0 1 0 288486081 151748608 27424 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 37048 27424 104 219 0 36825 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 148192 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1631800/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=153224 CPUtime=1121.88 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 125308 0 0 0 112089 99 0 0 25 0 1 0 288486081 156901376 28033 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 38306 28033 104 219 0 38083 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 153224 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1631224/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=154132 CPUtime=1181.87 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 126586 0 0 0 118086 101 0 0 25 0 1 0 288486081 157831168 28194 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 38533 28194 104 219 0 38310 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 154132 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1629240/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=157364 CPUtime=1241.85 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 131334 0 0 0 124081 104 0 0 25 0 1 0 288486081 161140736 28668 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 39341 28668 104 219 0 39118 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 157364 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1629048/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=157492 CPUtime=1301.84 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 143438 0 0 0 130073 111 0 0 25 0 1 0 288486081 161271808 28704 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 39373 28704 104 219 0 39150 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 157492 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1627256/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=160664 CPUtime=1361.82 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 149967 0 0 0 136066 116 0 0 25 0 1 0 288486081 164519936 29180 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 40166 29180 104 219 0 39943 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 160664 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1626296/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=161708 CPUtime=1421.81 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 150555 0 0 0 142064 117 0 0 25 0 1 0 288486081 165588992 29412 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 40427 29412 104 219 0 40204 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 161708 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1625080/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=163324 CPUtime=1481.79 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 151234 0 0 0 148060 119 0 0 25 0 1 0 288486081 167243776 29711 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 40831 29711 104 219 0 40608 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 163324 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1623800/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=165272 CPUtime=1541.77 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 151811 0 0 0 154057 120 0 0 25 0 1 0 288486081 169238528 30032 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 41318 30032 104 219 0 41095 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 165272 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1622840/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=166312 CPUtime=1601.75 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 152299 0 0 0 160054 121 0 0 25 0 1 0 288486081 170303488 30238 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 41578 30238 104 219 0 41355 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 166312 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1621688/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=167868 CPUtime=1661.74 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 152933 0 0 0 166052 122 0 0 25 0 1 0 288486081 171896832 30525 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 41967 30525 104 219 0 41744 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 167868 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1620984/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=169160 CPUtime=1721.73 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 153444 0 0 0 172050 123 0 0 25 0 1 0 288486081 173219840 30658 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 42290 30658 104 219 0 42067 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 169160 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16781 /proc/meminfo: memFree=1619832/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=171244 CPUtime=1781.71 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 154175 0 0 0 178046 125 0 0 25 0 1 0 288486081 175353856 31010 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 42811 31010 104 219 0 42588 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 171244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 3/78 16781 /proc/meminfo: memFree=1617976/2055920 swapFree=4150044/4192956 [pid=16582] ppid=16580 vsize=173360 CPUtime=1800.01 /proc/16582/stat : 16582 (PBS4) R 16580 16582 15385 0 -1 4194304 154890 0 0 0 179876 125 0 0 25 0 1 0 288486081 177520640 31461 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 43340 31461 104 219 0 43117 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 173360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.05 CPU user time (s): 1798.77 CPU system time (s): 1.27781 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 173360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.2778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154891 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= 5747 runsolver used 1.50377 second user time and 4.21636 second system time The end
Begin job on node5 on Wed May 2 16:48:01 UTC 2007 IDJOB= 453219 IDBENCH= 48116 IDSOLVER= 157 FILE ID= node5/453219-1178124481 PBS_JOBID= 4751030 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_1.opb COMMAND LINE= /tmp/evaluation/453219-1178124481/PBS4 /tmp/evaluation/453219-1178124481/instance-453219-1178124481.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-453219-1178124481 -o ROOT/results/node5/conversion-453219-1178124481 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453219-1178124481/instance-453219-1178124481.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-453219-1178124481 -o ROOT/results/node5/solver-453219-1178124481 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453219-1178124481/PBS4 /tmp/evaluation/453219-1178124481/instance-453219-1178124481.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 04b9af5ff2583cb908a8972f40516a9e RANDOM SEED= 946223718 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1744728 kB Buffers: 127648 kB Cached: 72600 kB SwapCached: 11368 kB Active: 104664 kB Inactive: 125820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1744728 kB SwapTotal: 4192956 kB SwapFree: 4150044 kB Dirty: 7096 kB Writeback: 0 kB Mapped: 35108 kB Slab: 66244 kB Committed_AS: 13697868 kB PageTables: 1736 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 node5 on Wed May 2 17:18:07 UTC 2007