Trace number 459173\nPBS4_v2 2007-03-23 SAT (TO) 61 1800.05 1800.53\nBest CPU time to get the best result obtained on this benchmark 1621.75\n0.00/0.00\tc Solving /tmp/evaluation/459173-1178650635/instance-459173-1178650635.opb ......\n6.19/6.28\tc done parsing opb.\n6.19/6.28\to 104\n7.09/7.15\to 101\n10.09/10.14\to 88\n18.48/18.52\to 84\n18.48/18.60\to 81\n19.29/19.31\to 77\n20.19/20.23\to 74\n20.89/20.96\to 72\n26.89/26.96\to 70\n27.59/27.67\to 69\n47.28/47.36\to 67\n88.98/89.03\to 66\n97.88/97.90\to 65\n109.27/109.33\to 63\n198.44/198.52\to 62\n254.58/254.77\to 61\n1800.02/1800.50\tv -x1 -x10 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 -x11 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 -x12 x120 x121\n1800.02/1800.50\tv x122 x123 x124 x125 x126 x127 x128 x129 -x13 x130 x131 x132 x133 x134 x135 x136 x137 -x138 x139 -x14 x140 x141 x142 x143 x144\n1800.02/1800.50\tv x145 x146 x147 x148 x149 -x15 x150 x151 x152 -x153 x154 x155 x156 x157 -x158 x159 -x16 x160 x161 x162 x163 x164 x165 x166 x167\n1800.02/1800.50\tv x168 x169 -x17 x170 x171 x172 -x173 x174 x175 x176 x177 x178 x179 -x18 -x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 -x19\n1800.02/1800.50\tv x190 -x191 -x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 x201 x202 x203 x204 x205 x206 -x207 x208 x209 -x21 x210\n1800.02/1800.50\tv x211 x212 -x213 x214 x215 x216 x217 x218 -x219 x22 -x220 x221 x222 x223 x224 -x225 x226 x227 x228 x229 -x23 -x230 -x231 -x232\n1800.02/1800.50\tv -x233 -x234 -x235 -x236 -x237 -x238 -x239 x24 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 -x25 x250 x251 x252 x253 x254\n1800.02/1800.50\tv -x255 x256 x257 x258 x259 -x26 -x260 -x261 x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274\n1800.02/1800.50\tv x275 x276 x277 x278 x279 -x28 x280 x281 x282 -x283 -x284 x285 x286 -x287 -x288 -x289 x29 -x290 -x291 -x292 -x293 -x294 -x295\n1800.02/1800.50\tv -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 x305 x306 x307 -x308 x309 -x31 x310 -x311 -x312 -x313 -x314\n1800.02/1800.50\tv -x315 -x316 -x317 -x318 -x319 x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 x330 x331 x332 -x333 -x334\n1800.02/1800.50\tv -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353\n1800.02/1800.50\tv -x354 x355 x356 x357 x358 x359 -x36 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 -x37 -x370 x371 x372 x373 x374 x375 x376\n1800.02/1800.50\tv x377 x378 x379 -x38 x380 x381 x382 x383 x384 -x385 x386 x387 x388 x389 x39 -x390 x391 x392 x393 x394 x395 x396 x397 -x398 x399\n1800.02/1800.50\tv -x4 -x40 x400 x401 x402 x403 x404 -x405 x406 x407 x408 x409 -x41 x410 x411 x412 x413 x414 x415 -x416 -x417 x418 x419 -x42 -x420\n1800.02/1800.50\tv -x421 -x422 -x423 -x424 -x425 -x426 x427 x428 x429 -x43 x430 x431 -x432 x433 x434 x435 x436 x437 -x438 -x439 x44 x440 x441 x442\n1800.02/1800.50\tv x443 -x444 x445 x446 x447 x448 -x449 x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x46 x460 x461 x462 x463\n1800.02/1800.50\tv x464 x465 x466 x467 x468 -x469 -x47 x470 x471 x472 x473 -x474 -x475 x476 x477 x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484\n1800.02/1800.50\tv -x485 -x486 -x487 -x488 x489 -x49 x490 x491 x492 -x493 -x494 x495 x496 -x497 -x498 -x499 x5 -x50 -x500 -x501 -x502 -x503 -x504\n1800.02/1800.50\tv -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523\n1800.02/1800.50\tv -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 -x539 x54 -x540 -x541 -x542 -x543\n1800.02/1800.50\tv -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x56 x560 x561 x562 x563\n1800.02/1800.50\tv x564 x565 -x566 x567 x568 x569 x57 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 -x58 x580 -x581 -x582 -x583 -x584 -x585\n1800.02/1800.50\tv -x586 -x587 x588 x589 x59 x590 x591 x592 -x593 -x594 x595 x596 x597 x598 -x599 -x6 x60 x600 x601 x602 x603 -x604 -x605 -x606\n1800.02/1800.50\tv -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 x614 x615 x616 x617 x618 -x619 -x62 x620 x621 x622 x623 -x624 x625 x626 x627\n1800.02/1800.50\tv x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x64 x640 x641 x642 -x643 -x644 -x645 -x646 -x647\n1800.02/1800.50\tv -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666\n1800.02/1800.50\tv -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685\n1800.02/1800.50\tv -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 x70 x700 x701 x702 x703 x704 x705\n1800.02/1800.50\tv x706 x707 x708 x709 x71 -x710 x711 x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 x72 x720 x721 x722 x723 x724 x725 x726 x727\n1800.02/1800.50\tv x728 x729 x73 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x74 -x740 x741 x742 x743 -x744 -x745 x746 x747 -x748\n1800.02/1800.50\tv -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767\n1800.02/1800.50\tv -x768 -x769 x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786\n1800.02/1800.50\tv -x787 -x788 -x789 x79 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 x8 x80 x800 x801 x802 x803 -x804 x805 x806 x807 x808\n1800.02/1800.50\tv -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x82 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828\n1800.02/1800.50\tv -x829 x83 -x830 x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 x848\n1800.02/1800.50\tv -x849 x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867\n1800.02/1800.50\tv -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886\n1800.02/1800.50\tv -x887 -x888 x889 x89 x890 -x891 -x892 -x893 -x894 x895 -x9 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99\n/tmp/evaluation/459173-1178650635/instance-459173-1178650635.opb is already a linear file\ncommand line: runsolver --timestamp -w ROOT/results/node52/watcher-459173-1178650635 -o ROOT/results/node52/solver-459173-1178650635 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459173-1178650635/instance-459173-1178650635.opb\n/proc/loadavg: 0.85 0.97 0.99 3/64 19404\n/proc/meminfo: memFree=1776716/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=1460 CPUtime=0\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 219908588 1495040 142 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586977 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 365 142 86 219 0 142 0\n[pid=19404] ppid=19402 vsize=2668 CPUtime=0.08\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 455 0 0 0 8 0 0 0 18 0 1 0 219908588 2732032 437 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530019 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 667 437 86 219 0 444 0\n[pid=19404] ppid=19402 vsize=2668 CPUtime=0.09\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 458 0 0 0 9 0 0 0 18 0 1 0 219908588 2732032 440 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530483 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 667 440 86 219 0 444 0\n[pid=19404] ppid=19402 vsize=2664 CPUtime=0.29\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 485 0 0 0 29 0 0 0 19 0 1 0 219908588 2727936 467 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 666 467 90 219 0 443 0\n[pid=19404] ppid=19402 vsize=2664 CPUtime=0.69\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 528 0 0 0 69 0 0 0 22 0 1 0 219908588 2727936 510 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545662 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 666 510 90 219 0 443 0\n/proc/loadavg: 0.86 0.97 0.99 2/65 19405\n/proc/meminfo: memFree=1774788/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=3432 CPUtime=1.49\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 628 0 0 0 149 0 0 0 25 0 1 0 219908588 3514368 610 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 858 610 90 219 0 635 0\n/proc/meminfo: memFree=1774084/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=4868 CPUtime=3.09\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 869 0 0 0 309 0 0 0 25 0 1 0 219908588 4984832 851 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 1217 851 90 219 0 994 0\n/proc/meminfo: memFree=1772292/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=7048 CPUtime=6.29\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 1227 0 0 0 628 1 0 0 25 0 1 0 219908588 7217152 1209 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550437 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 1762 1209 102 219 0 1539 0\n/proc/loadavg: 0.88 0.97 0.99 2/65 19405\n/proc/meminfo: memFree=1770052/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=7632 CPUtime=12.69\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 1819 0 0 0 1266 3 0 0 25 0 1 0 219908588 7815168 1752 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 1908 1752 102 219 0 1685 0\n/proc/loadavg: 0.90 0.97 0.99 2/65 19405\n/proc/meminfo: memFree=1768836/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=12788 CPUtime=25.48\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 2179 0 0 0 2542 6 0 0 25 0 1 0 219908588 13094912 2015 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 3197 2015 102 219 0 2974 0\n/proc/loadavg: 0.94 0.97 0.99 2/65 19405\n/proc/meminfo: memFree=1764676/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=14772 CPUtime=51.08\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 3454 0 0 0 5096 12 0 0 25 0 1 0 219908588 15126528 3097 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 3693 3097 102 219 0 3470 0\n/proc/loadavg: 0.97 0.97 0.99 2/65 19405\n/proc/meminfo: memFree=1753604/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=26992 CPUtime=102.27\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 6564 0 0 0 10206 21 0 0 25 0 1 0 219908588 27639808 5822 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 6748 5822 102 219 0 6525 0\n/proc/loadavg: 0.99 0.97 0.99 2/65 19405\n/proc/meminfo: memFree=1749508/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=28852 CPUtime=162.25\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 7579 0 0 0 16196 29 0 0 25 0 1 0 219908588 29544448 6837 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 7213 6837 102 219 0 6990 0\n/proc/meminfo: memFree=1744324/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=49668 CPUtime=222.24\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 9619 0 0 0 22186 38 0 0 25 0 1 0 219908588 50860032 8108 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 12417 8108 102 219 0 12194 0\n/proc/loadavg: 1.03 0.99 0.99 2/71 19583\n/proc/meminfo: memFree=1738892/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=51892 CPUtime=282.15\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 10657 0 0 0 28170 45 0 0 25 0 1 0 219908588 53137408 9146 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 12973 9146 102 219 0 12750 0\nCurrent children cumulated vsize (KiB) 51892\n/proc/loadavg: 1.01 0.99 0.99 2/65 19603\n/proc/meminfo: memFree=1738436/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=52548 CPUtime=342.13\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 11034 0 0 0 34161 52 0 0 25 0 1 0 219908588 53809152 9523 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 13137 9523 102 219 0 12914 0\n/proc/loadavg: 1.00 0.99 0.99 2/65 19603\n/proc/meminfo: memFree=1733892/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=61240 CPUtime=402.12\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 13814 0 0 0 40152 60 0 0 25 0 1 0 219908588 62709760 10766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 15310 10766 102 219 0 15087 0\nCurrent children cumulated vsize (KiB) 61240\n/proc/meminfo: memFree=1727556/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=61812 CPUtime=462.11\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 15313 0 0 0 46142 69 0 0 25 0 1 0 219908588 63295488 12265 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 15453 12265 102 219 0 15230 0\n/proc/meminfo: memFree=1722116/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=62668 CPUtime=522.09\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 16674 0 0 0 52134 75 0 0 25 0 1 0 219908588 64172032 13626 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 15667 13626 102 219 0 15444 0\n/proc/meminfo: memFree=1714884/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=96732 CPUtime=582.08\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 18663 0 0 0 58125 83 0 0 25 0 1 0 219908588 99053568 15450 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 24183 15450 102 219 0 23960 0\n/proc/meminfo: memFree=1709700/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=98624 CPUtime=642.07\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 20169 0 0 0 64119 88 0 0 25 0 1 0 219908588 100990976 16692 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 24656 16692 102 219 0 24433 0\nCurrent children cumulated vsize (KiB) 98624\n/proc/loadavg: 1.00 0.99 0.99 2/65 19605\n/proc/meminfo: memFree=1693380/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=103080 CPUtime=882.01\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 24826 0 0 0 88091 110 0 0 25 0 1 0 219908588 105553920 20788 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 25770 20788 102 219 0 25547 0\nCurrent children cumulated vsize (KiB) 103080\n/proc/meminfo: memFree=1692292/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=103680 CPUtime=942\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 25150 0 0 0 94084 116 0 0 25 0 1 0 219908588 106168320 21079 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 25920 21079 102 219 0 25697 0\n/proc/meminfo: memFree=1689924/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=104308 CPUtime=1001.99\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 25768 0 0 0 100079 120 0 0 25 0 1 0 219908588 106811392 21664 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 26077 21664 102 219 0 25854 0\nCurrent children cumulated vsize (KiB) 104308\n/proc/meminfo: memFree=1688452/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=117256 CPUtime=1061.98\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 29235 0 0 0 106072 126 0 0 25 0 1 0 219908588 120070144 22025 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546894 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 29314 22025 102 219 0 29091 0\n/proc/meminfo: memFree=1687748/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=117820 CPUtime=1121.96\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 29409 0 0 0 112066 130 0 0 25 0 1 0 219908588 120647680 22199 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 29455 22199 102 219 0 29232 0\n/proc/meminfo: memFree=1685444/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=117820 CPUtime=1181.95\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 30028 0 0 0 118059 136 0 0 25 0 1 0 219908588 120647680 22818 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 29455 22818 102 219 0 29232 0\n/proc/meminfo: memFree=1680132/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=119204 CPUtime=1241.94\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 31311 0 0 0 124052 142 0 0 25 0 1 0 219908588 122064896 24101 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550531 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 29801 24101 102 219 0 29578 0\n/proc/meminfo: memFree=1676996/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=119720 CPUtime=1301.93\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 32137 0 0 0 130045 148 0 0 25 0 1 0 219908588 122593280 24862 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 29930 24862 102 219 0 29707 0\nCurrent children cumulated vsize (KiB) 119720\n/proc/meminfo: memFree=1671236/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=120240 CPUtime=1361.91\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 33590 0 0 0 136038 153 0 0 25 0 1 0 219908588 123125760 26315 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 30060 26315 102 219 0 29837 0\n/proc/meminfo: memFree=1668356/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=186800 CPUtime=1421.9\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 34303 0 0 0 142030 160 0 0 25 0 1 0 219908588 191283200 26995 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 46700 26995 102 219 0 46477 0\nCurrent children cumulated vsize (KiB) 186800\n/proc/meminfo: memFree=1666308/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=187696 CPUtime=1481.88\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 35044 0 0 0 148023 165 0 0 25 0 1 0 219908588 192200704 27508 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 46924 27508 102 219 0 46701 0\n/proc/meminfo: memFree=1663044/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=189140 CPUtime=1541.87\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 36084 0 0 0 154017 170 0 0 25 0 1 0 219908588 193679360 28353 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 47285 28353 102 219 0 47062 0\nCurrent children cumulated vsize (KiB) 189140\n/proc/meminfo: memFree=1661828/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=189860 CPUtime=1601.85\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 36413 0 0 0 160010 175 0 0 25 0 1 0 219908588 194416640 28682 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134584067 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 47465 28682 102 219 0 47242 0\nCurrent children cumulated vsize (KiB) 189860\n/proc/meminfo: memFree=1660804/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=190624 CPUtime=1661.84\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 36641 0 0 0 166004 180 0 0 25 0 1 0 219908588 195198976 28910 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 47656 28910 102 219 0 47433 0\nCurrent children cumulated vsize (KiB) 190624\n/proc/meminfo: memFree=1659908/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=190624 CPUtime=1721.83\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 36865 0 0 0 171997 186 0 0 25 0 1 0 219908588 195198976 29134 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 47656 29134 102 219 0 47433 0\n/proc/meminfo: memFree=1658180/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=192300 CPUtime=1781.82\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 37303 0 0 0 177991 191 0 0 25 0 1 0 219908588 196915200 29572 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 48075 29572 102 219 0 47852 0\n/proc/meminfo: memFree=1657796/2055920 swapFree=4183124/4192956\n[pid=19404] ppid=19402 vsize=192300 CPUtime=1800.02\n/proc/19404/stat : 19404 (PBS4_SAT07v2) R 19402 19404 19339 0 -1 4194304 37393 0 0 0 179809 193 0 0 25 0 1 0 219908588 196915200 29662 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0\n/proc/19404/statm: 48075 29662 102 219 0 47852 0\nMax. virtual memory (cumulated for all children) (KiB): 192300\npage reclaims= 37396\ninvoluntary context switches= 1726\nrunsolver used 1.41878 second user time and 3.55446 second system time\nBegin job on node52 on Tue May  8 18:57:15 UTC 2007\nFILE ID= node52/459173-1178650635\nCOMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459173-1178650635/instance-459173-1178650635.opb\nCONVERSION COMMAND LINE= runsolver -w ROOT/results/node52/convwatcher-459173-1178650635 -o ROOT/results/node52/conversion-459173-1178650635 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459173-1178650635/instance-459173-1178650635.opb\nRUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-459173-1178650635 -o ROOT/results/node52/solver-459173-1178650635 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459173-1178650635/instance-459173-1178650635.opb\nRANDOM SEED= 470713040\nMemFree:       1777188 kB\nCached:         149064 kB\nActive:          34728 kB\nInactive:       154388 kB\nLowFree:       1777188 kB\nSlab:            75620 kB\nCommitted_AS:  5375448 kB\nEnd job on node52 on Tue May  8 19:27:18 UTC 2007