Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 1174 | 1800.02 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb |
MD5SUM | d0857e859d7ae9b7cd0d343674d5c1ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1174 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1138 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 262140 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524739 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262140 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524739 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb ...... 0.09/0.13 c done parsing opb. 0.09/0.13 o 524430 9.29/9.34 o 524429 9.79/9.83 o 234993 179.33/179.46 o 31446 180.43/180.57 o 30942 180.63/180.77 o 20766 180.63/180.78 o 20448 180.63/180.79 o 20001 180.74/180.80 o 13395 180.74/180.81 o 10803 180.74/180.82 o 8996 180.74/180.83 o 8064 180.83/180.96 o 8063 180.83/180.98 o 4578 180.83/180.99 o 4577 181.03/181.18 o 4576 199.13/199.26 o 4575 200.33/200.40 o 4574 200.33/200.41 o 3862 201.62/201.79 o 3861 209.42/209.56 o 3858 212.82/212.98 o 2460 224.82/224.92 o 2096 230.81/230.94 o 1953 236.92/237.06 o 1757 236.92/237.09 o 1756 237.02/237.12 o 1755 245.01/245.13 o 1754 267.31/267.43 o 1651 283.10/283.27 o 1650 319.69/319.84 o 1589 335.48/335.68 o 1588 411.06/411.22 o 1587 411.06/411.26 o 1543 851.26/851.64 o 1174 1800.00/1800.70 s SATISFIABLE 1800.00/1800.70 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.00/1800.70 v -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 1800.00/1800.70 v -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 x154 -x155 -x156 1800.00/1800.70 v -x157 -x158 -x159 x16 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1800.00/1800.70 v -x177 -x178 -x179 x18 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 x190 x191 x192 x193 x194 x195 x196 x197 1800.00/1800.70 v x198 x199 -x2 x20 x200 x201 x202 x203 -x204 x205 x206 x207 x208 -x209 -x21 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 1800.00/1800.70 v -x219 -x22 x220 -x221 x222 x223 x224 -x225 x226 x227 x228 x229 -x23 x230 x231 x232 x233 -x234 x235 x236 x237 x238 -x239 -x24 1800.00/1800.70 v -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x25 x250 x251 x252 x253 -x254 x255 x256 x257 -x258 x259 -x26 x260 1800.00/1800.70 v x261 -x262 x263 x264 x265 x266 x267 -x268 -x269 -x27 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x28 x280 x281 1800.00/1800.70 v -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 x300 1800.00/1800.70 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 x32 x320 1800.00/1800.70 v x321 -x322 -x323 -x324 x325 x326 -x327 -x328 x329 x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x34 -x340 1800.00/1800.70 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 -x358 -x359 x36 -x360 1800.00/1800.70 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x38 1800.00/1800.70 v -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.00/1800.70 v -x4 x40 x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 1800.00/1800.70 v -x419 x42 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 1800.00/1800.70 v -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.00/1800.70 v -x458 x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 1800.00/1800.70 v x478 x479 x48 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x49 x490 x491 x492 x493 -x494 -x495 -x496 x497 x498 -x499 -x5 1800.00/1800.70 v x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x51 -x510 -x511 x512 -x513 -x514 -x515 -x516 x517 -x518 x519 1800.00/1800.70 v -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 1800.00/1800.70 v -x539 -x54 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 -x55 x550 x551 x552 x553 x554 x555 x556 -x557 x558 -x559 -x56 -x560 1800.00/1800.70 v x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 1800.00/1800.70 v -x580 x581 x582 x583 x584 x585 x586 -x587 x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 -x6 -x60 1800.00/1800.70 v -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.00/1800.70 v -x62 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 x632 -x633 -x634 -x635 -x636 x637 x638 -x639 1800.00/1800.70 v x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 1800.00/1800.70 v -x659 -x66 -x660 -x661 -x662 -x663 -x664 x665 x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 x674 -x675 x676 x677 -x678 1800.00/1800.70 v -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697 1800.00/1800.70 v -x698 -x699 -x7 -x70 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.00/1800.70 v -x717 -x718 x719 x72 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.00/1800.70 v -x737 x738 -x739 x74 -x740 -x741 -x742 -x743 -x744 x745 x746 -x747 x748 x749 x75 -x750 x751 x752 x753 x754 x755 x756 x757 -x758 1800.00/1800.70 v -x759 -x76 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 1800.00/1800.70 v -x779 x78 -x780 x79 -x8 x80 x81 x82 -x83 x84 x85 x86 -x87 x88 -x89 -x9 x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 1174
/tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-458650-1178639236 -o ROOT/results/node25/solver-458650-1178639236 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458650-1178639236/instance-458650-1178639236.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.94 0.99 0.99 3/64 12666 /proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=1456 CPUtime=0 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 311840694 1490944 140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 364 140 86 219 0 141 0 [startup+0.0235559 s] /proc/loadavg: 0.94 0.99 0.99 3/64 12666 /proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=1588 CPUtime=0.02 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 199 0 0 0 2 0 0 0 18 0 1 0 311840694 1626112 181 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134798148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 397 181 86 219 0 174 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1588 [startup+0.10157 s] /proc/loadavg: 0.94 0.99 0.99 3/64 12666 /proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=2256 CPUtime=0.09 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 362 0 0 0 9 0 0 0 18 0 1 0 311840694 2310144 344 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 564 344 89 219 0 341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2256 [startup+0.301603 s] /proc/loadavg: 0.94 0.99 0.99 3/64 12666 /proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=2256 CPUtime=0.29 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 389 0 0 0 29 0 0 0 19 0 1 0 311840694 2310144 371 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 564 371 102 219 0 341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2256 [startup+0.701672 s] /proc/loadavg: 0.94 0.99 0.99 3/64 12666 /proc/meminfo: memFree=1946888/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=2256 CPUtime=0.69 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 418 0 0 0 69 0 0 0 22 0 1 0 311840694 2310144 400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 564 400 102 219 0 341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2256 [startup+1.50181 s] /proc/loadavg: 0.94 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1945664/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=2512 CPUtime=1.49 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 468 0 0 0 149 0 0 0 25 0 1 0 311840694 2572288 450 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 628 450 102 219 0 405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2512 [startup+3.10108 s] /proc/loadavg: 0.94 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1945152/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=4180 CPUtime=3.09 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 660 0 0 0 309 0 0 0 25 0 1 0 311840694 4280320 642 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 1045 642 102 219 0 822 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4180 [startup+6.30263 s] /proc/loadavg: 0.94 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1944000/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=4180 CPUtime=6.29 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 812 0 0 0 628 1 0 0 25 0 1 0 311840694 4280320 794 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 1045 794 102 219 0 822 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4180 [startup+12.7017 s] /proc/loadavg: 0.95 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1943304/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=6492 CPUtime=12.69 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1078 0 0 0 1268 1 0 0 25 0 1 0 311840694 6647808 1060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 1623 1060 102 219 0 1400 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6492 [startup+25.5019 s] /proc/loadavg: 0.96 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1943432/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=6492 CPUtime=25.48 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1106 0 0 0 2547 1 0 0 25 0 1 0 311840694 6647808 1088 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 1623 1088 102 219 0 1400 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6492 [startup+51.1013 s] /proc/loadavg: 0.97 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1943176/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=6620 CPUtime=51.07 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1188 0 0 0 5106 1 0 0 25 0 1 0 311840694 6778880 1170 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 1655 1170 102 219 0 1432 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6620 [startup+102.305 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1942728/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=6620 CPUtime=102.26 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1311 0 0 0 10225 1 0 0 25 0 1 0 311840694 6778880 1293 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 1655 1293 102 219 0 1432 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 6620 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1941448/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=10912 CPUtime=162.24 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 1630 0 0 0 16222 2 0 0 25 0 1 0 311840694 11173888 1612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 2728 1612 102 219 0 2505 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10912 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1939336/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=12688 CPUtime=222.22 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 2292 0 0 0 22213 9 0 0 25 0 1 0 311840694 12992512 2128 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 3172 2128 102 219 0 2949 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12688 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1935368/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=14380 CPUtime=282.2 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 3493 0 0 0 28203 17 0 0 25 0 1 0 311840694 14725120 3136 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 3595 3136 102 219 0 3372 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 14380 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1931528/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=23460 CPUtime=342.18 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 4439 0 0 0 34193 25 0 0 25 0 1 0 311840694 24023040 4082 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 5865 4082 102 219 0 5642 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 23460 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1929416/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=25616 CPUtime=402.16 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5344 0 0 0 40185 31 0 0 25 0 1 0 311840694 26230784 4602 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 6404 4602 102 219 0 6181 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 25616 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1928456/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=26176 CPUtime=462.14 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5577 0 0 0 46177 37 0 0 25 0 1 0 311840694 26804224 4835 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 6544 4835 102 219 0 6321 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 26176 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1927624/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=26772 CPUtime=522.12 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5787 0 0 0 52170 42 0 0 25 0 1 0 311840694 27414528 5045 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 6693 5045 102 219 0 6470 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 26772 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1926920/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=27184 CPUtime=582.1 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 5968 0 0 0 58164 46 0 0 25 0 1 0 311840694 27836416 5226 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 6796 5226 102 219 0 6573 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 27184 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12667 /proc/meminfo: memFree=1925960/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=27608 CPUtime=642.09 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 6203 0 0 0 64158 51 0 0 25 0 1 0 311840694 28270592 5461 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 6902 5461 102 219 0 6679 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 27608 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/71 12845 /proc/meminfo: memFree=1911888/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=49268 CPUtime=881.91 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 9991 0 0 0 88121 70 0 0 25 0 1 0 311840694 50450432 8480 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12317 8480 102 219 0 12094 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 49268 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1912456/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=49628 CPUtime=941.87 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10134 0 0 0 94111 76 0 0 25 0 1 0 311840694 50819072 8623 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12407 8623 102 219 0 12184 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 49628 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1911816/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=49992 CPUtime=1001.85 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10314 0 0 0 100101 84 0 0 25 0 1 0 311840694 51191808 8803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12498 8803 102 219 0 12275 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 49992 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1910984/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=50524 CPUtime=1061.84 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10502 0 0 0 106094 90 0 0 25 0 1 0 311840694 51736576 8991 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12631 8991 102 219 0 12408 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 50524 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1910280/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=51068 CPUtime=1121.81 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10697 0 0 0 112085 96 0 0 25 0 1 0 311840694 52293632 9186 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12767 9186 102 219 0 12544 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 51068 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1909640/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=51340 CPUtime=1181.8 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 10869 0 0 0 118076 104 0 0 25 0 1 0 311840694 52572160 9358 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12835 9358 102 219 0 12612 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 51340 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1908808/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=51932 CPUtime=1241.77 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 11053 0 0 0 124068 109 0 0 25 0 1 0 311840694 53178368 9542 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 12983 9542 102 219 0 12760 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 51932 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1908104/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=52240 CPUtime=1301.76 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 11216 0 0 0 130062 114 0 0 25 0 1 0 311840694 53493760 9705 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 13060 9705 102 219 0 12837 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 52240 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1907208/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=59364 CPUtime=1361.73 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 12979 0 0 0 136053 120 0 0 25 0 1 0 311840694 60788736 9931 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 14841 9931 102 219 0 14618 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 59364 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1906632/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=59364 CPUtime=1421.72 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13115 0 0 0 142046 126 0 0 25 0 1 0 311840694 60788736 10067 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 14841 10067 102 219 0 14618 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 59364 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1905992/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=59732 CPUtime=1481.69 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13271 0 0 0 148039 130 0 0 25 0 1 0 311840694 61165568 10223 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 14933 10223 102 219 0 14710 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 59732 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1905416/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=60276 CPUtime=1541.68 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13425 0 0 0 154031 137 0 0 25 0 1 0 311840694 61722624 10377 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15069 10377 102 219 0 14846 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 60276 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1904648/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=60828 CPUtime=1601.66 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13612 0 0 0 160023 143 0 0 25 0 1 0 311840694 62287872 10564 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15207 10564 102 219 0 14984 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 60828 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1903880/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=61272 CPUtime=1661.64 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13801 0 0 0 166014 150 0 0 25 0 1 0 311840694 62742528 10753 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15318 10753 102 219 0 15095 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 61272 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1903304/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=61272 CPUtime=1721.61 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 13950 0 0 0 172004 157 0 0 25 0 1 0 311840694 62742528 10902 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15318 10902 102 219 0 15095 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 61272 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1902408/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=61896 CPUtime=1781.59 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 14144 0 0 0 177996 163 0 0 25 0 1 0 311840694 63381504 11096 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15474 11096 102 219 0 15251 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 61896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1902216/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=61896 CPUtime=1800 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 14185 0 0 0 179834 166 0 0 25 0 1 0 311840694 63381504 11137 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15474 11137 102 219 0 15251 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 61896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 0.99 0.99 0.99 2/65 12865 /proc/meminfo: memFree=1902216/2055920 swapFree=4183088/4192956 [pid=12666] ppid=12664 vsize=61896 CPUtime=1800 /proc/12666/stat : 12666 (PBS4_SAT07v2) R 12664 12666 12560 0 -1 4194304 14185 0 0 0 179834 166 0 0 25 0 1 0 311840694 63381504 11137 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12666/statm: 15474 11137 102 219 0 15251 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 61896 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.02 CPU user time (s): 1798.35 CPU system time (s): 1.67174 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 65020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.35 system time used= 1.67175 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14188 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= 3471 runsolver used 1.37979 second user time and 3.59845 second system time The end
Begin job on node25 on Tue May 8 15:47:16 UTC 2007 IDJOB= 458650 IDBENCH= 1772 IDSOLVER= 200 FILE ID= node25/458650-1178639236 PBS_JOBID= 5218336 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-458650-1178639236 -o ROOT/results/node25/conversion-458650-1178639236 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-458650-1178639236 -o ROOT/results/node25/solver-458650-1178639236 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458650-1178639236/instance-458650-1178639236.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= d0857e859d7ae9b7cd0d343674d5c1ad RANDOM SEED= 286538063 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1947360 kB Buffers: 1028 kB Cached: 19852 kB SwapCached: 3804 kB Active: 22028 kB Inactive: 8392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1947360 kB SwapTotal: 4192956 kB SwapFree: 4183088 kB Dirty: 2520 kB Writeback: 0 kB Mapped: 15676 kB Slab: 64172 kB Committed_AS: 8380752 kB PageTables: 1472 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= 66562 MiB End job on node25 on Tue May 8 16:17:19 UTC 2007