Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.06 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_2.opb |
MD5SUM | cb610107b772b4f0726736eafa902b12 |
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 | 38 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
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) | 75286 |
Sum of products size (including duplicates) | 150572 |
Number of different products | 75286 |
Sum of products size | 150572 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/453729-1178152339/instance-453729-1178152339.opb ...... 2.49/2.54 c done parsing opb. 2.49/2.54 o 511 2.59/2.64 o 510 2.69/2.74 o 468 2.79/2.84 o 467 2.89/2.94 o 466 2.99/3.04 o 465 3.09/3.14 o 464 3.20/3.25 o 463 3.29/3.35 o 462 3.39/3.45 o 461 3.49/3.55 o 460 3.59/3.65 o 459 3.69/3.76 o 458 3.78/3.86 o 457 3.89/3.96 o 456 3.99/4.06 o 455 4.09/4.16 o 454 4.19/4.26 o 453 4.30/4.36 o 452 4.40/4.46 o 451 4.49/4.57 o 450 4.59/4.67 o 449 4.69/4.77 o 448 4.79/4.87 o 447 4.89/4.97 o 446 4.98/5.08 o 445 5.08/5.18 o 444 5.18/5.28 o 443 5.29/5.38 o 442 5.39/5.48 o 441 5.49/5.58 o 440 5.59/5.68 o 439 5.69/5.79 o 438 5.79/5.89 o 437 5.88/5.99 o 436 5.99/6.09 o 435 6.09/6.19 o 434 6.19/6.29 o 433 6.29/6.39 o 432 6.39/6.50 o 431 6.60/6.60 o 430 6.69/6.71 o 429 6.79/6.81 o 428 6.89/6.92 o 427 6.99/7.02 o 426 7.09/7.12 o 425 7.19/7.22 o 424 7.28/7.32 o 423 7.38/7.42 o 422 7.48/7.52 o 421 7.59/7.62 o 420 7.69/7.72 o 419 7.79/7.82 o 418 7.89/7.93 o 417 7.99/8.03 o 416 8.09/8.13 o 415 8.18/8.23 o 414 8.28/8.34 o 413 8.39/8.44 o 412 8.49/8.54 o 411 8.59/8.64 o 410 8.69/8.75 o 409 8.79/8.85 o 408 8.89/8.95 o 407 8.99/9.05 o 406 9.09/9.15 o 405 9.19/9.25 o 404 9.29/9.35 o 403 9.38/9.45 o 402 9.48/9.55 o 401 9.58/9.66 o 400 9.69/9.76 o 399 9.79/9.86 o 398 9.89/9.96 o 397 9.98/10.06 o 396 10.08/10.16 o 395 10.18/10.26 o 394 10.28/10.36 o 393 10.38/10.46 o 392 10.48/10.56 o 391 10.59/10.66 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.58/11.67 o 380 11.68/11.77 o 379 11.78/11.88 o 378 11.88/11.98 o 377 11.99/12.08 o 376 12.09/12.18 o 375 12.19/12.28 o 374 12.29/12.38 o 373 12.39/12.48 o 372 12.49/12.59 o 371 12.58/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.19 o 365 13.19/13.29 o 364 13.38/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.80 o 359 13.89/13.90 o 358 13.99/14.00 o 357 14.08/14.11 o 356 14.19/14.21 o 355 14.29/14.31 o 354 14.38/14.41 o 353 14.48/14.51 o 352 14.58/14.62 o 351 14.68/14.72 o 350 14.78/14.82 o 349 14.89/14.92 o 348 14.99/15.02 o 347 15.09/15.12 o 346 15.19/15.23 o 345 15.29/15.33 o 344 15.39/15.43 o 343 15.48/15.53 o 342 15.58/15.63 o 341 15.68/15.73 o 340 15.78/15.83 o 339 15.88/15.94 o 338 15.98/16.04 o 337 16.09/16.14 o 336 16.19/16.24 o 335 16.29/16.34 o 334 16.39/16.44 o 333 16.49/16.54 o 332 16.59/16.65 o 331 16.68/16.75 o 330 16.78/16.85 o 329 16.88/16.95 o 328 16.98/17.05 o 327 17.08/17.15 o 326 17.18/17.26 o 325 17.28/17.36 o 324 17.38/17.46 o 323 17.48/17.56 o 322 17.59/17.66 o 321 17.69/17.76 o 320 17.79/17.86 o 319 17.89/17.97 o 318 17.99/18.07 o 317 18.09/18.17 o 316 18.18/18.27 o 315 18.28/18.36 o 314 18.38/18.47 o 313 18.48/18.57 o 312 18.59/18.67 o 311 18.69/18.77 o 310 18.78/18.87 o 309 18.88/18.97 o 308 18.98/19.07 o 307 19.08/19.18 o 306 19.18/19.28 o 305 19.28/19.38 o 304 19.38/19.49 o 303 19.48/19.59 o 302 19.58/19.69 o 301 19.69/19.79 o 300 19.78/19.89 o 299 19.88/19.99 o 298 19.98/20.09 o 297 20.09/20.19 o 296 20.19/20.29 o 295 20.29/20.39 o 294 20.39/20.49 o 293 20.58/20.60 o 292 20.68/20.70 o 291 20.68/20.80 o 290 20.79/20.90 o 289 20.98/21.00 o 288 21.08/21.10 o 287 21.18/21.20 o 286 21.28/21.30 o 285 21.38/21.40 o 284 21.48/21.50 o 283 21.58/21.60 o 282 21.68/21.71 o 281 21.78/21.81 o 280 21.88/21.91 o 279 21.98/22.01 o 278 22.08/22.11 o 277 22.18/22.20 o 276 22.28/22.30 o 275 22.39/22.40 o 274 22.49/22.50 o 273 22.59/22.60 o 272 22.69/22.70 o 271 22.78/22.80 o 270 22.88/22.90 o 269 22.88/23.00 o 268 22.99/23.10 o 267 23.09/23.20 o 266 23.28/23.30 o 265 23.38/23.40 o 264 23.48/23.50 o 263 23.58/23.60 o 262 23.68/23.70 o 261 23.78/23.80 o 260 23.78/23.90 o 259 23.88/23.99 o 258 23.98/24.09 o 257 24.08/24.19 o 256 24.18/24.29 o 255 24.29/24.39 o 254 24.38/24.49 o 253 24.48/24.59 o 252 24.58/24.69 o 251 24.68/24.79 o 250 24.78/24.88 o 249 24.88/24.99 o 248 24.98/25.09 o 247 25.08/25.18 o 246 25.19/25.29 o 245 25.28/25.39 o 244 25.39/25.48 o 243 25.49/25.58 o 242 25.59/25.68 o 241 25.69/25.78 o 240 25.79/25.88 o 239 25.89/25.98 o 238 25.99/26.07 o 237 26.09/26.17 o 236 26.19/26.27 o 235 26.29/26.37 o 234 26.39/26.47 o 233 26.49/26.57 o 232 26.58/26.66 o 231 26.68/26.76 o 230 26.78/26.86 o 229 26.88/26.96 o 228 26.98/27.06 o 227 27.08/27.16 o 226 27.18/27.25 o 225 27.28/27.36 o 224 27.38/27.45 o 223 27.48/27.55 o 222 27.58/27.65 o 221 27.68/27.75 o 220 27.78/27.85 o 219 27.88/27.95 o 218 27.98/28.04 o 217 28.08/28.14 o 216 28.18/28.24 o 215 28.28/28.34 o 214 28.38/28.44 o 213 28.48/28.54 o 212 28.59/28.63 o 211 28.68/28.73 o 210 28.78/28.83 o 209 28.88/28.93 o 208 28.98/29.02 o 207 29.08/29.12 o 206 29.18/29.22 o 205 29.28/29.31 o 204 29.38/29.41 o 203 29.48/29.51 o 202 29.59/29.60 o 201 29.69/29.70 o 200 29.78/29.80 o 199 29.78/29.90 o 198 29.88/29.99 o 197 29.98/30.09 o 196 30.08/30.19 o 195 30.18/30.29 o 194 30.28/30.39 o 193 30.38/30.48 o 192 30.48/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.97 o 187 30.98/31.07 o 186 31.08/31.17 o 185 31.18/31.26 o 184 31.28/31.37 o 183 31.38/31.46 o 182 31.48/31.56 o 181 31.58/31.66 o 180 31.68/31.76 o 179 31.79/31.85 o 178 31.89/31.95 o 177 31.98/32.05 o 176 32.08/32.15 o 175 32.18/32.25 o 174 32.28/32.34 o 173 32.38/32.44 o 172 32.48/32.54 o 171 32.58/32.63 o 170 32.68/32.73 o 169 32.78/32.83 o 168 32.89/32.92 o 167 32.99/33.02 o 166 33.08/33.12 o 165 33.18/33.22 o 164 33.28/33.31 o 163 33.38/33.41 o 162 33.48/33.51 o 161 33.58/33.60 o 160 33.68/33.70 o 159 33.68/33.80 o 158 33.78/33.89 o 157 33.88/33.99 o 156 33.98/34.09 o 155 34.08/34.19 o 154 34.18/34.28 o 153 34.28/34.38 o 152 34.38/34.48 o 151 34.48/34.58 o 150 34.58/34.68 o 149 34.67/34.77 o 148 34.77/34.87 o 147 34.87/34.97 o 146 34.97/35.06 o 145 35.08/35.16 o 144 35.19/35.26 o 143 35.28/35.36 o 142 35.38/35.46 o 141 35.48/35.55 o 140 35.58/35.65 o 139 35.68/35.75 o 138 35.78/35.84 o 137 35.88/35.94 o 136 35.98/36.04 o 135 36.08/36.14 o 134 36.18/36.23 o 133 36.28/36.33 o 132 36.38/36.43 o 131 36.48/36.52 o 130 36.58/36.62 o 129 36.68/36.72 o 128 36.78/36.81 o 127 36.88/36.91 o 126 36.98/37.01 o 125 37.08/37.10 o 124 37.18/37.20 o 123 37.18/37.30 o 122 37.28/37.39 o 121 37.48/37.59 o 120 37.58/37.69 o 119 37.68/37.79 o 118 37.78/37.89 o 117 37.87/37.99 o 116 37.97/38.08 o 115 38.07/38.18 o 114 38.17/38.28 o 113 38.27/38.38 o 112 38.38/38.47 o 111 38.57/38.67 o 110 38.67/38.77 o 109 38.78/38.86 o 108 38.88/38.96 o 107 38.98/39.05 o 106 39.08/39.14 o 105 39.18/39.24 o 104 39.28/39.34 o 103 39.38/39.44 o 102 39.48/39.54 o 101 39.58/39.64 o 100 39.68/39.74 o 99 39.78/39.84 o 98 39.98/40.05 o 97 40.17/40.25 o 96 40.37/40.45 o 95 40.78/40.86 o 94 40.98/41.08 o 93 41.08/41.17 o 92 41.18/41.27 o 91 41.38/41.48 o 90 41.48/41.58 o 89 41.58/41.68 o 88 41.68/41.78 o 87 41.78/41.88 o 86 41.98/42.08 o 85 42.28/42.30 o 84 42.67/42.72 o 83 43.07/43.14 o 82 44.48/44.59 o 81 195.64/195.74 o 80 197.64/197.73 o 79 197.84/197.92 o 78 197.94/198.02 o 77 198.04/198.11 o 76 198.14/198.21 o 75 198.24/198.31 o 74 198.34/198.40 o 73 198.44/198.50 o 72 198.54/198.60 o 71 198.54/198.69 o 70 198.64/198.79 o 69 198.74/198.88 o 68 646.22/646.44 o 67 646.53/646.80 o 66 647.42/647.61 o 65 648.02/648.23 o 64 649.02/649.21 o 63 650.42/650.68 o 62 686.51/686.76 o 61 848.88/849.16 o 60 987.03/987.37 o 59 1270.76/1271.18 o 58 1357.14/1357.55 o 57 1634.57/1635.10 o 56 1800.03/1800.61 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/453729-1178152339/instance-453729-1178152339.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-453729-1178152339 -o ROOT/results/node7/solver-453729-1178152339 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453729-1178152339/PBS4 /tmp/evaluation/453729-1178152339/instance-453729-1178152339.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.84 0.95 0.96 3/77 17112 /proc/meminfo: memFree=1657768/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=8476 CPUtime=0 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 482 0 0 0 0 0 0 0 18 0 1 0 291271904 8679424 465 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0 /proc/17112/statm: 2119 469 81 219 0 1896 0 [startup+0.0861349 s] /proc/loadavg: 0.84 0.95 0.96 3/77 17112 /proc/meminfo: memFree=1657768/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=12216 CPUtime=0.08 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 2916 0 0 0 7 1 0 0 18 0 1 0 291271904 12509184 2801 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/17112/statm: 3054 2801 88 219 0 2831 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12216 [startup+0.101136 s] /proc/loadavg: 0.84 0.95 0.96 3/77 17112 /proc/meminfo: memFree=1657768/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=12356 CPUtime=0.09 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 2958 0 0 0 8 1 0 0 18 0 1 0 291271904 12652544 2843 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/17112/statm: 3089 2843 88 219 0 2866 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12356 [startup+0.301157 s] /proc/loadavg: 0.84 0.95 0.96 3/77 17112 /proc/meminfo: memFree=1657768/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=14476 CPUtime=0.29 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 3470 0 0 0 28 1 0 0 19 0 1 0 291271904 14823424 3355 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/17112/statm: 3619 3355 89 219 0 3396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14476 [startup+0.701199 s] /proc/loadavg: 0.84 0.95 0.96 3/77 17112 /proc/meminfo: memFree=1657768/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=18756 CPUtime=0.69 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 4664 0 0 0 68 1 0 0 23 0 1 0 291271904 19206144 4289 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/17112/statm: 4689 4289 89 219 0 4466 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18756 [startup+1.50129 s] /proc/loadavg: 0.84 0.95 0.96 2/78 17113 /proc/meminfo: memFree=1638432/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=27540 CPUtime=1.48 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 7472 0 0 0 146 2 0 0 25 0 1 0 291271904 28200960 6037 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134596339 0 0 4096 0 0 0 0 17 1 0 0 /proc/17112/statm: 6885 6037 89 219 0 6662 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27540 [startup+3.10145 s] /proc/loadavg: 0.85 0.95 0.96 2/78 17113 /proc/meminfo: memFree=1630048/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=41980 CPUtime=3.09 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 11632 0 0 0 304 5 0 0 25 0 1 0 291271904 42987520 8638 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 10495 8638 104 219 0 10272 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41980 [startup+6.30179 s] /proc/loadavg: 0.85 0.95 0.96 2/78 17113 /proc/meminfo: memFree=1622752/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=43040 CPUtime=6.29 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 11866 0 0 0 621 8 0 0 25 0 1 0 291271904 44072960 8872 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 10760 8872 104 219 0 10537 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43040 [startup+12.7015 s] /proc/loadavg: 0.88 0.95 0.96 2/78 17113 /proc/meminfo: memFree=1620064/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=46552 CPUtime=12.68 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 12544 0 0 0 1255 13 0 0 25 0 1 0 291271904 47669248 9550 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 11638 9550 104 219 0 11415 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46552 [startup+25.5018 s] /proc/loadavg: 0.89 0.95 0.96 2/78 17113 /proc/meminfo: memFree=1609632/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=61060 CPUtime=25.49 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 15518 0 0 0 2528 21 0 0 25 0 1 0 291271904 62525440 12128 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 15265 12128 104 219 0 15042 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61060 [startup+51.1015 s] /proc/loadavg: 0.93 0.96 0.96 2/78 17113 /proc/meminfo: memFree=1580960/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=101088 CPUtime=51.08 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 29085 0 0 0 5075 33 0 0 25 0 1 0 291271904 103514112 19273 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 25272 19273 104 219 0 25049 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 101088 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.96 2/78 17113 /proc/meminfo: memFree=1579424/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=102636 CPUtime=102.27 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 29640 0 0 0 10193 34 0 0 25 0 1 0 291271904 105099264 19600 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 25659 19600 104 219 0 25436 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 102636 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1578848/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=102636 CPUtime=162.25 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 29785 0 0 0 16190 35 0 0 25 0 1 0 291271904 105099264 19745 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 25659 19745 104 219 0 25436 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 102636 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1574048/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=112280 CPUtime=222.23 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 31805 0 0 0 22186 37 0 0 25 0 1 0 291271904 114974720 20901 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 28070 20901 104 219 0 27847 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 112280 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1568416/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=119856 CPUtime=282.21 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 35396 0 0 0 28182 39 0 0 25 0 1 0 291271904 122732544 22318 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134546869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 29964 22318 104 219 0 29741 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 119856 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1567464/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=120920 CPUtime=342.2 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 35862 0 0 0 34180 40 0 0 25 0 1 0 291271904 123822080 22559 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 30230 22559 104 219 0 30007 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 120920 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1567016/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=120920 CPUtime=402.18 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 35994 0 0 0 40177 41 0 0 25 0 1 0 291271904 123822080 22691 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 30230 22691 104 219 0 30007 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 120920 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1565672/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=122176 CPUtime=462.17 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 36482 0 0 0 46175 42 0 0 25 0 1 0 291271904 125108224 22984 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 30544 22984 104 219 0 30321 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 122176 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17115 /proc/meminfo: memFree=1564712/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=123208 CPUtime=522.15 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 36964 0 0 0 52172 43 0 0 25 0 1 0 291271904 126164992 23264 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 30802 23264 104 219 0 30579 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 123208 [startup+582.301 s] /proc/loadavg: 1.04 0.99 0.97 2/78 17115 /proc/meminfo: memFree=1563816/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=123592 CPUtime=582.14 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 37230 0 0 0 58169 45 0 0 25 0 1 0 291271904 126558208 23497 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 30898 23497 104 219 0 30675 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 123592 [startup+642.301 s] /proc/loadavg: 1.05 1.00 0.97 2/78 17115 /proc/meminfo: memFree=1562792/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=132140 CPUtime=642.13 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 37494 0 0 0 64167 46 0 0 25 0 1 0 291271904 135311360 23737 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 33035 23737 104 219 0 32812 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 132140 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.05 1.03 0.99 2/78 17115 /proc/meminfo: memFree=1554920/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=139668 CPUtime=822.08 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 40992 0 0 0 82157 51 0 0 25 0 1 0 291271904 143020032 25703 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 34917 25703 104 219 0 34694 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 139668 [startup+882.302 s] /proc/loadavg: 1.02 1.02 0.99 2/78 17115 /proc/meminfo: memFree=1553512/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=140964 CPUtime=882.06 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 41731 0 0 0 88154 52 0 0 25 0 1 0 291271904 144347136 26060 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134546783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 35241 26060 104 219 0 35018 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 140964 [startup+942.302 s] /proc/loadavg: 1.00 1.02 0.99 2/78 17115 /proc/meminfo: memFree=1551400/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=143224 CPUtime=942.05 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 42614 0 0 0 94152 53 0 0 25 0 1 0 291271904 146661376 26563 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 35806 26563 104 219 0 35583 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 143224 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.99 2/78 17115 /proc/meminfo: memFree=1547816/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=149424 CPUtime=1002.03 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 44637 0 0 0 100148 55 0 0 25 0 1 0 291271904 153010176 27475 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 37356 27475 104 219 0 37133 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 149424 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1545576/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=153312 CPUtime=1062.01 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 45617 0 0 0 106145 56 0 0 25 0 1 0 291271904 156991488 28043 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 38328 28043 104 219 0 38105 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 153312 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1542952/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=157972 CPUtime=1122 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 46957 0 0 0 112142 58 0 0 25 0 1 0 291271904 161763328 28689 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 39493 28689 104 219 0 39270 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 157972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1541864/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=159780 CPUtime=1181.98 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 47652 0 0 0 118139 59 0 0 25 0 1 0 291271904 163614720 28957 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 39945 28957 104 219 0 39722 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 159780 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1540392/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=161588 CPUtime=1241.97 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 48490 0 0 0 124136 61 0 0 25 0 1 0 291271904 165466112 29279 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 40397 29279 104 219 0 40174 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 161588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1539816/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=162876 CPUtime=1301.95 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 49083 0 0 0 130134 61 0 0 25 0 1 0 291271904 166785024 29431 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 40719 29431 104 219 0 40496 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 162876 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1538792/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=165196 CPUtime=1361.94 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 50177 0 0 0 136131 63 0 0 25 0 1 0 291271904 169160704 29715 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134547587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 41299 29715 104 219 0 41076 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 165196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1536616/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=168564 CPUtime=1421.92 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 51167 0 0 0 142128 64 0 0 25 0 1 0 291271904 172609536 30262 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 42141 30262 104 219 0 41918 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 168564 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1535400/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=170124 CPUtime=1481.9 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 51769 0 0 0 148125 65 0 0 25 0 1 0 291271904 174206976 30584 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 42531 30584 104 219 0 42308 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 170124 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1533288/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=172712 CPUtime=1541.89 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 53312 0 0 0 154122 67 0 0 25 0 1 0 291271904 176857088 31053 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 43178 31053 104 219 0 42955 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 172712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1532456/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=174900 CPUtime=1601.87 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 55109 0 0 0 160118 69 0 0 25 0 1 0 291271904 179097600 31311 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 43725 31311 104 219 0 43502 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 174900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17115 /proc/meminfo: memFree=1531624/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=176188 CPUtime=1661.86 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 56320 0 0 0 166115 71 0 0 25 0 1 0 291271904 180416512 31459 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 44047 31459 104 219 0 43824 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 176188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/84 17141 /proc/meminfo: memFree=1528816/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=178896 CPUtime=1721.82 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 59741 0 0 0 172108 74 0 0 25 0 1 0 291271904 183189504 31834 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 44724 31834 104 219 0 44501 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 178896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17313 /proc/meminfo: memFree=1528680/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=180312 CPUtime=1781.73 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 60666 0 0 0 178098 75 0 0 25 0 1 0 291271904 184639488 32128 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 45078 32128 104 219 0 44855 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 180312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 17313 /proc/meminfo: memFree=1528168/2055920 swapFree=4157020/4192956 [pid=17112] ppid=17110 vsize=181860 CPUtime=1800.03 /proc/17112/stat : 17112 (PBS4) R 17110 17112 17046 0 -1 4194304 61196 0 0 0 179927 76 0 0 25 0 1 0 291271904 186224640 32314 18446744073709551615 134512640 135410514 4294956592 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17112/statm: 45465 32314 104 219 0 45242 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 181860 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.64 CPU time (s): 1800.06 CPU user time (s): 1799.28 CPU system time (s): 0.78388 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 181860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.78388 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61197 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= 35856 runsolver used 1.42878 second user time and 4.13437 second system time The end
Begin job on node7 on Thu May 3 00:32:19 UTC 2007 IDJOB= 453729 IDBENCH= 48150 IDSOLVER= 157 FILE ID= node7/453729-1178152339 PBS_JOBID= 4751088 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_2.opb COMMAND LINE= /tmp/evaluation/453729-1178152339/PBS4 /tmp/evaluation/453729-1178152339/instance-453729-1178152339.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node7/convwatcher-453729-1178152339 -o ROOT/results/node7/conversion-453729-1178152339 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453729-1178152339/instance-453729-1178152339.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-453729-1178152339 -o ROOT/results/node7/solver-453729-1178152339 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/453729-1178152339/PBS4 /tmp/evaluation/453729-1178152339/instance-453729-1178152339.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= cb610107b772b4f0726736eafa902b12 RANDOM SEED= 791176959 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1658176 kB Buffers: 201160 kB Cached: 85856 kB SwapCached: 15788 kB Active: 200804 kB Inactive: 109424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1658176 kB SwapTotal: 4192956 kB SwapFree: 4157020 kB Dirty: 7200 kB Writeback: 0 kB Mapped: 29384 kB Slab: 72968 kB Committed_AS: 14483568 kB PageTables: 1860 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 node7 on Thu May 3 01:02:26 UTC 2007