Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | -42 | 1800.54 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-afiro.opb |
MD5SUM | d412dc68829850bad6555fa34c6ad801 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -65 |
Optimality of the best value was proved | NO |
Number of variables | 960 |
Total number of constraints | 27 |
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 | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 222156 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524394 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524468 |
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 c 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node70/31724-1149338537/instance-31724-1149338537.opb 266700896 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 266700896 0.00 c Noise: 0.7 (70 : 100) 0.01 c Starting searching: 0.01 c Phase 1 ... 2.58 c trying 444329: vc 2.58 o -29 141.98 c trying -26709: xxxxxxxxxxc 141.98 c Phase 2 ... 148.30 c trying -30: vc 148.30 o -36 368.91 c trying -37: xvc 368.91 o -37 803.27 c trying -38: xxvc 803.27 o -39 1033.71 c trying -40: xvc 1033.71 o -40 1250.21 c trying -41: xvc 1250.21 o -41 1252.61 c trying -42: vc 1252.61 o -42 1801.16 c trying -43: xxxc 1801.16 c Phase 3 ... 1801.16 c trying -43 again: c 1801.16 s SATISFIABLE 1801.16 v x1 -x2 -x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1801.16 v -x31 x32 x33 -x34 x35 x36 x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1801.16 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 1801.16 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 1801.16 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1801.16 v -x129 x130 x131 x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1801.16 v -x151 -x152 x153 -x154 -x155 x156 -x157 -x158 x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1801.16 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1801.16 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1801.16 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1801.16 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1801.16 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1801.16 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1801.16 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1801.16 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1801.16 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1801.16 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1801.16 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1801.16 v -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 x423 x424 1801.16 v x425 x426 x427 x428 x429 x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1801.16 v -x447 -x448 -x449 -x450 x451 -x452 x453 x454 -x455 -x456 x457 x458 x459 x460 x461 -x462 x463 x464 x465 x466 -x467 -x468 x469 1801.16 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 -x483 x484 x485 x486 x487 x488 x489 x490 x491 -x492 1801.16 v -x493 -x494 -x495 x496 x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1801.16 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 1801.16 v -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 1801.16 v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 x577 x578 1801.16 v x579 x580 x581 x582 x583 x584 x585 x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1801.16 v -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 1801.16 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1801.16 v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1801.16 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 1801.16 v -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 1801.16 v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 1801.16 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1801.16 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1801.16 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1801.16 v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 1801.16 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 1801.16 v -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 1801.16 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1801.16 v -x879 -x880 -x881 -x882 -x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1801.16 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 1801.16 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 1801.16 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1801.16 c Total Number of Positive Atoms : 124 1801.16 c 1801.16 c During searching: 1252.61 seconds elapsed. 1801.16 c CPU time spent: 1252.28 seconds. 1801.16 c 1801.16 c =================================== END ===================================== 1801.16 c
OK -42
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-31724-1149338537 -o ROOT/results/node70/solver-31724-1149338537 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node70/31724-1149338537/instance-31724-1149338537.opb 266700896 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1772344/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6132 CPUtime=0 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 199523358 6279168 167 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1533 167 110 226 0 1304 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=10 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 1000 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 6640 [startup+20.01 s] /proc/loadavg: 0.94 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=20 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 2000 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601432 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6640 [startup+30.0168 s] /proc/loadavg: 0.95 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=30 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 3000 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6640 [startup+40.0226 s] /proc/loadavg: 0.96 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=40 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 4000 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6640 [startup+50.0294 s] /proc/loadavg: 0.96 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=50.01 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 5001 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607354 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 6640 [startup+60.0352 s] /proc/loadavg: 0.97 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=60.01 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 6001 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6640 [startup+70.0421 s] /proc/loadavg: 0.97 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=70.02 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 7002 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611546 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 6640 [startup+80.0489 s] /proc/loadavg: 0.98 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=80.02 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 8002 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 6640 [startup+90.0547 s] /proc/loadavg: 0.98 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=90.02 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 9002 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607221 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6640 [startup+100.061 s] /proc/loadavg: 0.98 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=100.02 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 10002 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601750 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 6640 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=110.03 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 11003 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598355 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 6640 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=120.03 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 12003 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134869185 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6640 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=130.03 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 13003 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611596 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 6640 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=140.03 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 14003 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 6640 [startup+150.09 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=150.04 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 15004 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 6640 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=160.04 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 16004 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877474 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 6640 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=170.04 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 17004 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611425 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 6640 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771576/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=180.04 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 18004 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566982 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 6640 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771512/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=190.05 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 19005 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 6640 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771512/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=200.05 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 20005 0 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598369 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 6640 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13441 /proc/meminfo: memFree=1771512/2055920 swapFree=4182220/4192956 ################ # More data... # ################ [pid=13441] ppid=13439 vsize=6640 CPUtime=1781.44 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178137 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868539 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 6640 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1782.44 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178237 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 6640 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1783.44 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178337 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611425 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 6640 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1784.45 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178438 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 6640 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1785.45 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178538 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 6640 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1786.46 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178639 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597104 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 6640 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1787.46 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178739 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607781 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 6640 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1788.47 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178840 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 6640 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1789.47 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 178940 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 6640 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1790.48 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179041 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 6640 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1791.48 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179141 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 6640 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1792.49 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179242 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601302 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 6640 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1793.49 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179342 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877464 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 6640 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1794.49 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179442 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607717 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 6640 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1795.5 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179543 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 6640 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1796.5 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179643 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 6640 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1797.51 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179744 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 6640 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1798.51 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179844 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 6640 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1799.52 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 179945 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 6640 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1800.52 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 180045 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 6640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.94 2/64 13636 /proc/meminfo: memFree=1771128/2055920 swapFree=4182220/4192956 [pid=13441] ppid=13439 vsize=6640 CPUtime=1800.53 /proc/13441/stat : 13441 (wildcat-rnp) R 13439 13441 13395 0 -1 4194304 328 0 0 0 180046 7 0 0 25 0 1 0 199523358 6799360 306 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601477 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13441/statm: 1660 306 117 226 0 1431 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 6640 Sending SIGTERM to -13441 Sleeping 2 seconds Child status: 0 Real time (s): 1801.17 CPU time (s): 1800.54 CPU user time (s): 1800.46 CPU system time (s): 0.073988 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 6640
Begin job on node70 on Sat Jun 3 12:42:18 UTC 2006 FILE ID= 31724-1149338537 PBS_JOBID= 310269 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node70/31724-1149338537/instance-31724-1149338537.opb 266700896 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-31724-1149338537 -o ROOT/results/node70/solver-31724-1149338537 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node70/31724-1149338537/instance-31724-1149338537.opb 266700896 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 266700896 /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.265 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.265 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: 1772552 kB Buffers: 20184 kB Cached: 192100 kB SwapCached: 2324 kB Active: 41468 kB Inactive: 179352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772552 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15348 kB Slab: 48584 kB Committed_AS: 255464 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Sat Jun 3 13:12:19 UTC 2006