Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | -30 | 1800.13 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_2.opb |
MD5SUM | 16914dfad82872f4c1ab9b61e8ec867a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74976 |
Sum of products size (including duplicates) | 149952 |
Number of different products | 37488 |
Sum of products size | 74976 |
0.00/0.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.79/0.84 c constraints 38489/0 clauses 37988/0 units 0 0.79/0.84 c vars 1000 0.79/0.84 c objective 500 + -500 16.09/16.16 c 15.0377 1056.98 1 38255 16.09/16.16 o -24 16.99/17.00 c 15.8576 1077.49 62 38488 16.99/17.00 o -25 302.71/302.80 c 300.536 1083.42 5592 248572 302.71/302.80 o -26 303.62/303.74 c 301.472 1083.55 5631 249127 303.62/303.74 o -27 304.41/304.53 c 302.255 1083.55 5660 249583 304.41/304.53 o -28 305.41/305.58 c 303.301 1083.55 5676 250330 305.41/305.58 o -29 306.41/306.55 c 304.264 1083.55 5686 250928 306.41/306.55 o -30 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 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 -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 -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 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 x918 x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
OK -30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668177-1276671830/watcher-2668177-1276671830 -o /tmp/evaluation-result-2668177-1276671830/solver-2668177-1276671830 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668177-1276671830.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 16088 /proc/meminfo: memFree=1771612/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=2340 CPUtime=0 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 8476502 2396160 226 1992294400 134512640 136485738 4288204064 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16088/statm: 585 226 156 482 0 101 0 [startup+0.100449 s] /proc/loadavg: 1.00 1.00 1.00 3/105 16088 /proc/meminfo: memFree=1771612/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=5112 CPUtime=0.09 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 979 0 0 0 9 0 0 0 25 0 1 0 8476502 5234688 901 1992294400 134512640 136485738 4288204064 18446744073709551615 135857078 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16088/statm: 1278 901 156 482 0 794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5112 [startup+0.200462 s] /proc/loadavg: 1.00 1.00 1.00 3/105 16088 /proc/meminfo: memFree=1771612/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=8148 CPUtime=0.19 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 1734 0 0 0 19 0 0 0 25 0 1 0 8476502 8343552 1656 1992294400 134512640 136485738 4288204064 18446744073709551615 135173636 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16088/statm: 2037 1656 156 482 0 1553 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8148 [startup+0.300471 s] /proc/loadavg: 1.00 1.00 1.00 3/105 16088 /proc/meminfo: memFree=1771612/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=10528 CPUtime=0.29 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 2354 0 0 0 29 0 0 0 25 0 1 0 8476502 10780672 2276 1992294400 134512640 136485738 4288204064 18446744073709551615 134527806 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16088/statm: 2632 2276 156 482 0 2148 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10528 [startup+0.700515 s] /proc/loadavg: 1.00 1.00 1.00 3/105 16088 /proc/meminfo: memFree=1771612/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=21352 CPUtime=0.69 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 5048 0 0 0 67 2 0 0 25 0 1 0 8476502 21864448 4970 1992294400 134512640 136485738 4288204064 18446744073709551615 134552091 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16088/statm: 5338 4970 156 482 0 4854 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21352 [startup+1.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16089 /proc/meminfo: memFree=1721880/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=88212 CPUtime=1.49 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 22263 0 0 0 140 9 0 0 25 0 1 0 8476502 90329088 21583 1992294400 134512640 136485738 4288204064 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 22053 21584 194 482 0 21569 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88212 [startup+3.10078 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16089 /proc/meminfo: memFree=1629128/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=210680 CPUtime=3.09 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 54659 0 0 0 287 22 0 0 25 0 1 0 8476502 215736320 51726 1992294400 134512640 136485738 4288204064 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 52670 51727 198 482 0 52186 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 210680 [startup+6.30113 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16089 /proc/meminfo: memFree=1421800/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=403128 CPUtime=6.29 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 106571 0 0 0 583 46 0 0 25 0 1 0 8476502 412803072 99920 1992294400 134512640 136485738 4288204064 18446744073709551615 135850714 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 100782 99920 198 482 0 100298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 403128 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16089 /proc/meminfo: memFree=841480/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=961172 CPUtime=12.69 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 252637 0 0 0 1169 100 0 0 25 0 1 0 8476502 984240128 233940 1992294400 134512640 136485738 4288204064 18446744073709551615 135857086 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 240293 233940 210 482 0 239809 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 961172 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16091 /proc/meminfo: memFree=712892/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1103344 CPUtime=25.48 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 290712 0 0 0 2431 117 0 0 25 0 1 0 8476502 1129824256 264255 1992294400 134512640 136485738 4288204064 18446744073709551615 135044912 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 275836 264255 245 482 0 275352 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1103344 [startup+51.1021 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16091 /proc/meminfo: memFree=712892/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1103344 CPUtime=51.08 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 290712 0 0 0 4984 124 0 0 25 0 1 0 8476502 1129824256 264255 1992294400 134512640 136485738 4288204064 18446744073709551615 135050979 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 275836 264255 245 482 0 275352 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1103344 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16093 /proc/meminfo: memFree=712520/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1103476 CPUtime=102.27 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 290757 0 0 0 10093 134 0 0 25 0 1 0 8476502 1129959424 264300 1992294400 134512640 136485738 4288204064 18446744073709551615 135040473 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 275869 264300 245 482 0 275385 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1103476 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16093 /proc/meminfo: memFree=711900/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1104136 CPUtime=162.25 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 290907 0 0 0 16073 152 0 0 25 0 1 0 8476502 1130635264 264450 1992294400 134512640 136485738 4288204064 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 276034 264450 245 482 0 275550 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1104136 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16095 /proc/meminfo: memFree=709296/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1106644 CPUtime=222.24 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 291554 0 0 0 22044 180 0 0 25 0 1 0 8476502 1133203456 265097 1992294400 134512640 136485738 4288204064 18446744073709551615 135044950 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 276661 265097 245 482 0 276177 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 1106644 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16097 /proc/meminfo: memFree=707436/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1108624 CPUtime=282.22 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 292034 0 0 0 28013 209 0 0 25 0 1 0 8476502 1135230976 265577 1992294400 134512640 136485738 4288204064 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 277156 265577 245 482 0 276672 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1108624 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16099 /proc/meminfo: memFree=706320/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1109680 CPUtime=342.2 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 292292 0 0 0 33985 235 0 0 25 0 1 0 8476502 1136312320 265830 1992294400 134512640 136485738 4288204064 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 277420 265830 245 482 0 276936 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1109680 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16101 /proc/meminfo: memFree=705080/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1110868 CPUtime=402.19 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 292597 0 0 0 39958 261 0 0 25 0 1 0 8476502 1137528832 266135 1992294400 134512640 136485738 4288204064 18446744073709551615 135037574 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 277717 266135 245 482 0 277233 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1110868 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16101 /proc/meminfo: memFree=704212/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1111792 CPUtime=462.17 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 292812 0 0 0 45936 281 0 0 25 0 1 0 8476502 1138475008 266350 1992294400 134512640 136485738 4288204064 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 277948 266350 245 482 0 277464 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1111792 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16103 /proc/meminfo: memFree=703344/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1112716 CPUtime=522.16 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 293065 0 0 0 51908 308 0 0 25 0 1 0 8476502 1139421184 266603 1992294400 134512640 136485738 4288204064 18446744073709551615 135045096 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 278179 266603 245 482 0 277695 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1112716 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16105 /proc/meminfo: memFree=702352/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1113508 CPUtime=582.14 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 293261 0 0 0 57885 329 0 0 25 0 1 0 8476502 1140232192 266799 1992294400 134512640 136485738 4288204064 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 278377 266799 245 482 0 277893 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1113508 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16107 /proc/meminfo: memFree=699500/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1116440 CPUtime=642.12 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 293983 0 0 0 63856 356 0 0 25 0 1 0 8476502 1143234560 267521 1992294400 134512640 136485738 4288204064 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 279110 267521 245 482 0 278626 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1116440 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16113 /proc/meminfo: memFree=689704/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1125896 CPUtime=882.07 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 296344 0 0 0 87757 450 0 0 25 0 1 0 8476502 1152917504 269882 1992294400 134512640 136485738 4288204064 18446744073709551615 134992589 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 281474 269882 245 482 0 280990 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1125896 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16115 /proc/meminfo: memFree=685488/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1130120 CPUtime=942.04 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 297423 0 0 0 93731 473 0 0 25 0 1 0 8476502 1157242880 270961 1992294400 134512640 136485738 4288204064 18446744073709551615 135040537 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 282530 270961 245 482 0 282046 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1130120 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16117 /proc/meminfo: memFree=683752/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1131836 CPUtime=1002.03 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 297845 0 0 0 99703 500 0 0 25 0 1 0 8476502 1159000064 271383 1992294400 134512640 136485738 4288204064 18446744073709551615 134880893 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 282959 271383 245 482 0 282475 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1131836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16117 /proc/meminfo: memFree=682140/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1133416 CPUtime=1062.01 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 298239 0 0 0 105677 524 0 0 25 0 1 0 8476502 1160617984 271777 1992294400 134512640 136485738 4288204064 18446744073709551615 135044424 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 283354 271777 245 482 0 282870 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1133416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16119 /proc/meminfo: memFree=681892/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1133680 CPUtime=1122 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 298294 0 0 0 111658 542 0 0 25 0 1 0 8476502 1160888320 271832 1992294400 134512640 136485738 4288204064 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 283420 271832 245 482 0 282936 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1133680 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16121 /proc/meminfo: memFree=681024/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1134472 CPUtime=1181.98 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 298503 0 0 0 117631 567 0 0 25 0 1 0 8476502 1161699328 272041 1992294400 134512640 136485738 4288204064 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 283618 272041 245 482 0 283134 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1134472 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16123 /proc/meminfo: memFree=678916/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1136320 CPUtime=1241.96 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 298968 0 0 0 123606 590 0 0 25 0 1 0 8476502 1163591680 272506 1992294400 134512640 136485738 4288204064 18446744073709551615 135039321 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 284080 272506 245 482 0 283596 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1136320 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16125 /proc/meminfo: memFree=672468/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1142656 CPUtime=1301.95 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 300542 0 0 0 129578 617 0 0 25 0 1 0 8476502 1170079744 274080 1992294400 134512640 136485738 4288204064 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 285664 274080 245 482 0 285180 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1142656 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16125 /proc/meminfo: memFree=672468/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1142656 CPUtime=1361.93 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 300547 0 0 0 135560 633 0 0 25 0 1 0 8476502 1170079744 274085 1992294400 134512640 136485738 4288204064 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 285664 274085 245 482 0 285180 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1142656 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16127 /proc/meminfo: memFree=669616/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1145560 CPUtime=1421.92 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 301274 0 0 0 141535 657 0 0 25 0 1 0 8476502 1173053440 274812 1992294400 134512640 136485738 4288204064 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 286390 274812 245 482 0 285906 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1145560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16129 /proc/meminfo: memFree=664160/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1151076 CPUtime=1481.9 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 302645 0 0 0 147505 685 0 0 25 0 1 0 8476502 1178701824 276183 1992294400 134512640 136485738 4288204064 18446744073709551615 135039321 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 287769 276183 245 482 0 287285 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1151076 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16131 /proc/meminfo: memFree=662672/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1152528 CPUtime=1541.89 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 303002 0 0 0 153479 710 0 0 25 0 1 0 8476502 1180188672 276540 1992294400 134512640 136485738 4288204064 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 288132 276540 245 482 0 287648 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1152528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16133 /proc/meminfo: memFree=661804/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1153320 CPUtime=1601.87 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 303208 0 0 0 159453 734 0 0 25 0 1 0 8476502 1180999680 276746 1992294400 134512640 136485738 4288204064 18446744073709551615 135039321 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 288330 276746 245 482 0 287846 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1153320 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16133 /proc/meminfo: memFree=659944/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1155168 CPUtime=1661.85 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 303676 0 0 0 165429 756 0 0 25 0 1 0 8476502 1182892032 277214 1992294400 134512640 136485738 4288204064 18446744073709551615 135039091 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 288792 277214 245 482 0 288308 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1155168 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16135 /proc/meminfo: memFree=659200/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1155828 CPUtime=1721.84 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 303825 0 0 0 171403 781 0 0 25 0 1 0 8476502 1183567872 277363 1992294400 134512640 136485738 4288204064 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 288957 277363 245 482 0 288473 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1155828 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16140 /proc/meminfo: memFree=654180/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1160316 CPUtime=1781.82 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 304936 0 0 0 177377 805 0 0 25 0 1 0 8476502 1188163584 278474 1992294400 134512640 136485738 4288204064 18446744073709551615 135040473 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 290079 278474 245 482 0 289595 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1160316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16140 /proc/meminfo: memFree=653808/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=1160712 CPUtime=1800.02 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4202496 305043 0 0 0 179189 813 0 0 25 0 1 0 8476502 1188569088 278581 1992294400 134512640 136485738 4288204064 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/16088/statm: 290178 278581 245 482 0 289694 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1160712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16140 /proc/meminfo: memFree=653808/2059040 swapFree=4164960/4192956 [pid=16088] ppid=16086 vsize=0 CPUtime=1800.12 /proc/16088/stat : 16088 (pbct) R 16086 16088 15387 0 -1 4194308 305043 0 0 0 179189 823 0 0 25 0 1 0 8476502 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/16088/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.13 CPU user time (s): 1791.9 CPU system time (s): 8.23275 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1160712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.9 system time used= 8.23275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 305043 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= 1 involuntary context switches= 3558 runsolver used 3.11153 second user time and 8.36673 second system time The end
Begin job on node087 at 2010-06-16 09:03:50 IDJOB=2668177 IDBENCH=48260 IDSOLVER=1170 FILE ID=node087/2668177-1276671830 PBS_JOBID= 11172499 Free space on /tmp= 62552 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668177-1276671830/watcher-2668177-1276671830 -o /tmp/evaluation-result-2668177-1276671830/solver-2668177-1276671830 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668177-1276671830.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a RANDOM SEED=1998977993 node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1772016 kB Buffers: 53844 kB Cached: 124124 kB SwapCached: 1016 kB Active: 94636 kB Inactive: 116320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1772016 kB SwapTotal: 4192956 kB SwapFree: 4164960 kB Dirty: 2892 kB Writeback: 0 kB AnonPages: 31960 kB Mapped: 14652 kB Slab: 54348 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182344 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node087 at 2010-06-16 09:33:52