Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 16 | 1782.73 | 1783.56 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f9ec307a3c8f55679d3b9ab693efbd4c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.797877 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 934 |
Total number of constraints | 1063 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 184 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 934 |
Biggest coefficient in the objective function | 546 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2594 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 546 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2594 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.02 c starting to Solve 0.00/0.02 c #variables read: 934 - #constraints read: 1064 0.00/0.02 o 566 0.00/0.03 o 565 0.00/0.03 o 564 0.00/0.03 o 563 0.00/0.04 o 562 1782.67/1783.55 c total time : 1783 s 1782.67/1783.55 s SATISFIABLE 1782.67/1783.55 v -x854 -x783 -x198 x103 x22 x3 -x856 x104 x2 -x786 -x385 -x273 -x197 x21 x4 -x857 -x787 -x77 x56 x24 x5 -x384 -x276 -x203 -x76 1782.67/1783.55 v x55 x12 -x764 -x388 -x277 -x201 x57 x25 x6 -x763 -x248 -x151 -x78 x58 x27 x7 -x765 -x614 -x389 -x202 -x80 x59 -x40 x28 x8 -x766 1782.67/1783.55 v -x613 -x514 -x251 -x206 x150 x66 x39 -x767 -x619 -x252 -x81 x60 x41 -x774 -x618 -x513 -x327 -x156 -x126 x83 x61 x42 -x768 -x620 1782.67/1783.55 v -x154 x84 x62 x43 -x769 -x624 -x594 -x574 x519 x129 x50 -x770 -x623 -x578 x517 -x155 x130 x44 -x730 -x621 -x597 x577 -x159 x45 1782.67/1783.55 v -x622 -x598 x518 x46 -x882 x729 x522 -x853 -x782 -x193 x105 x18 -x858 -x788 -x538 -x469 -x272 -x199 x23 x15 -x542 -x72 x26 x16 1782.67/1783.55 v -x860 -x386 -x278 -x204 -x109 -x71 x30 x11 -x861 -x390 x29 -x791 -x247 -x207 -x146 -x79 x69 x9 -x205 -x82 x70 -x812 -x777 -x639 1782.67/1783.55 v -x509 -x392 -x323 -x281 -x253 x152 x86 -x65 -x778 -x643 -x615 -x393 x85 -x773 -x616 -x515 -x326 -x157 x125 -x63 x53 -x617 x54 1782.67/1783.55 v -x771 -x628 -x593 x520 -x256 -x160 x131 x49 -x573 -x158 -x878 -x599 -x575 x523 -x47 x579 x521 -x881 x731 -x134 -x602 -x855 1782.67/1783.55 v -x784 -x465 -x268 x106 x14 -x859 -x380 -x192 x17 x13 -x863 -x789 -x537 -x489 -x468 -x379 -x274 -x194 x110 x19 -x862 -x541 -x493 1782.67/1783.55 v -x200 -x108 x20 -x792 -x387 -x279 -x243 -x196 x68 x34 -x790 -x391 -x208 -x73 x67 -x808 -x776 -x395 -x302 -x282 -x249 -x74 x10 1782.67/1783.55 v -x775 -x394 -x280 -x145 x75 -x811 -x638 -x322 -x254 -x147 x121 x90 x52 -x642 -x508 x153 x51 -x631 -x589 -x510 -x328 -x257 x149 1782.67/1783.55 v x127 -x64 -x632 -x516 -x255 -x161 -x772 -x627 x595 x512 x132 -x726 x524 -x877 -x725 -x710 -x625 -x600 x331 x135 -x48 -x576 1782.67/1783.55 v -x133 -x883 x732 -x603 -x587 -x601 x583 -x901 x733 x582 -x905 x734 -x852 -x780 -x464 x423 x107 -x851 -x785 -x427 -x267 x111 1782.67/1783.55 v -x867 -x781 -x663 -x539 -x488 -x470 -x269 -x178 x37 -x793 -x667 -x543 -x492 -x381 x275 -x195 x38 -x382 -x298 x271 -x223 -x216 1782.67/1783.55 v x33 -x383 -x283 -x242 -x227 -x212 -x807 -x545 -x473 -x399 -x318 -x301 -x244 -x211 x93 x31 -x546 -x250 x94 -x813 -x640 -x630 1782.67/1783.55 v -x324 x246 x89 -x644 -x629 -x258 -x148 x120 -x914 -x837 -x329 -x169 x122 x87 -x918 -x588 -x511 -x165 x128 -x873 -x816 -x706 1782.67/1783.55 v -x646 -x590 -x532 x348 x332 -x164 x124 -x647 x596 -x528 -x352 x330 x136 -x879 -x709 -x626 x592 -x584 -x527 -x727 x604 -x586 1782.67/1783.55 v x96 -x884 x728 x95 -x900 -x885 x738 x580 -x904 -x886 -x870 -x534 -x466 x422 -x174 x119 x36 -x871 -x779 x426 x115 x35 -x866 -x801 1782.67/1783.55 v -x662 -x540 -x490 -x471 -x213 x177 -x114 -x797 -x666 -x544 -x494 x270 -x215 -x864 -x803 -x796 -x548 -x474 -x451 -x402 -x297 1782.67/1783.55 v -x291 x222 x92 -x634 -x547 -x472 -x403 x287 -x226 x91 -x809 -x633 -x496 -x398 -x303 x286 -x209 x32 -x497 -x317 -x245 -x833 1782.67/1783.55 v -x814 -x753 -x641 -x396 -x319 x266 -x210 -x166 -x645 -x325 x262 -x168 -x913 -x836 -x817 -x649 -x529 x321 -x306 -x261 -x88 1782.67/1783.55 v -x917 -x815 -x648 -x531 x333 x123 -x705 x347 -x162 x144 -x872 -x591 -x585 x351 x140 -x874 -x711 -x612 -x525 -x163 x139 x880 1782.67/1783.55 v x608 x876 -x741 -x607 x562 -x526 -x887 -x742 x566 x97 -x902 -x737 -x714 x581 x98 x906 -x868 -x798 -x485 -x462 x424 x173 x118 1782.67/1783.55 v -x800 -x533 -x467 x428 -x214 -x664 -x535 -x491 -x463 -x447 -x401 -x293 -x288 x179 -x112 -x668 -x536 -x495 -x475 -x400 -x290 1782.67/1783.55 v -x865 -x794 -x552 -x499 -x450 -x430 -x299 x224 -x113 -x802 -x498 -x431 -x228 -x804 -x795 -x749 -x688 -x670 -x304 -x284 x263 1782.67/1783.55 v x182 -x810 -x692 -x671 x635 x265 -x167 -x832 -x806 -x752 x636 -x397 -x307 -x285 -x230 -x818 x637 -x530 -x320 -x305 -x231 -x915 1782.67/1783.55 v -x838 -x701 -x653 x341 -x259 x141 -x919 x337 x143 -x707 -x609 x349 x336 -x260 -x611 x353 -x921 -x841 -x740 -x712 -x413 -x372 1782.67/1783.55 v -x137 -x922 -x897 -x875 -x739 -x376 -x896 -x895 -x715 -x605 x561 x355 -x138 -x891 -x713 x565 -x356 x903 -x890 -x735 -x606 1782.67/1783.55 v x101 x907 x102 -x869 -x799 -x659 x425 x175 x116 -x484 -x461 x429 -x289 x218 -x665 -x555 -x486 -x483 -x446 x433 x217 x180 -x669 1782.67/1783.55 v -x556 -x487 -x479 -x432 -x292 -x673 -x551 -x503 -x478 -x452 x294 x225 x183 -x672 x300 x264 -x229 x181 -x828 -x748 -x687 -x549 1782.67/1783.55 v x296 -x233 -x909 -x805 -x691 -x308 -x232 -x908 -x834 -x826 -x754 -x656 x455 x338 -x822 -x657 x343 x340 x142 -x916 -x839 -x821 1782.67/1783.55 v -x652 x342 -x920 -x700 -x610 -x924 -x842 -x757 -x702 -x650 -x409 x350 x334 -x923 -x840 -x708 x354 -x892 -x704 -x412 -x371 1782.67/1783.55 v x358 x335 -x894 -x716 -x375 x357 x563 x100 x898 x567 x99 x899 -x888 -x736 -x554 -x480 x442 -x421 x171 x117 -x658 -x553 -x482 1782.67/1783.55 v x420 x176 -x660 -x506 x448 -x437 x172 -x661 -x507 x219 x184 -x744 -x677 -x502 -x476 -x453 x220 x295 x221 -x823 -x750 -x689 1782.67/1783.55 v -x655 -x550 -x500 -x477 x456 -x316 x237 -x827 -x825 -x693 -x654 x454 -x339 x312 -x829 -x755 x311 -x910 x835 -x911 x831 -x819 1782.67/1783.55 v -x758 -x695 -x912 -x843 -x756 -x696 x344 -x928 -x820 -x651 -x408 x345 -x893 -x703 x558 x346 -x724 x557 -x414 x373 x362 -x720 1782.67/1783.55 v x377 -x719 x564 x568 -x889 -x569 -x417 -x570 -x505 -x481 x438 -x504 x441 x440 x170 -x680 x443 -x436 x191 -x683 -x681 x449 x188 1782.67/1783.55 v -x682 -x676 x445 -x434 -x313 x240 x187 -x824 -x743 x457 -x315 x241 -x745 -x690 -x674 -x501 x236 -x751 -x694 -x747 -x698 x309 1782.67/1783.55 v x234 x830 -x759 -x697 -x931 x850 x406 -x310 -x932 x847 -x368 -x927 x846 -x721 -x410 x367 x365 -x723 x366 -x925 -x415 x374 x361 1782.67/1783.55 v x559 x378 x933 -x717 x560 x418 -x359 -x416 -x718 -x679 x439 x190 -x678 x189 x239 x444 -x314 x238 x460 -x435 x185 -x684 x458 1782.67/1783.55 v -x685 -x675 x459 x186 -x746 -x686 -x930 x849 -x762 -x699 x235 -x929 x848 -x760 -x761 x364 -x722 x405 x363 -x844 x404 -x411 1782.67/1783.55 v x369 -x926 -x845 x407 x370 x419 x572 x934 -x360 x571 x1
OK 16
/tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-365293-1177048545 -o ROOT/results/node10/solver-365293-1177048545 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4797 /proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=2552 CPUtime=0 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 180892004 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 638 229 193 16 0 77 0 [startup+0.0597591 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4797 /proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=3084 CPUtime=0.05 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 427 0 0 0 5 0 0 0 18 0 1 0 180892004 3158016 397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 771 397 205 16 0 210 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3084 [startup+0.101766 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4797 /proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=3332 CPUtime=0.09 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 467 0 0 0 9 0 0 0 18 0 1 0 180892004 3411968 437 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 833 437 205 16 0 272 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3332 [startup+0.301811 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4797 /proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=3716 CPUtime=0.29 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 557 0 0 0 29 0 0 0 20 0 1 0 180892004 3805184 527 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 929 527 205 16 0 368 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3716 [startup+0.701898 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4797 /proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=4104 CPUtime=0.69 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 661 0 0 0 69 0 0 0 24 0 1 0 180892004 4202496 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 1026 631 205 16 0 465 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4104 [startup+1.50107 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1654528/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=5260 CPUtime=1.49 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 953 0 0 0 148 1 0 0 25 0 1 0 180892004 5386240 923 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 1315 923 205 16 0 754 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5260 [startup+3.10141 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1653568/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=5892 CPUtime=3.09 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1117 0 0 0 308 1 0 0 25 0 1 0 180892004 6033408 1087 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 1473 1087 205 16 0 912 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5892 [startup+6.3021 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1652544/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=6912 CPUtime=6.29 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1361 0 0 0 627 2 0 0 25 0 1 0 180892004 7077888 1331 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 1728 1331 205 16 0 1167 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6912 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1651400/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=7676 CPUtime=12.68 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1558 0 0 0 1264 4 0 0 25 0 1 0 180892004 7860224 1528 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 1919 1528 205 16 0 1358 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7676 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1650440/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=8572 CPUtime=25.48 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1774 0 0 0 2539 9 0 0 25 0 1 0 180892004 8777728 1744 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 2143 1744 205 16 0 1582 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8572 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1649672/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=9196 CPUtime=51.07 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1955 0 0 0 5089 18 0 0 25 0 1 0 180892004 9416704 1925 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 2299 1925 205 16 0 1738 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9196 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1648264/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=10556 CPUtime=102.25 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 2317 0 0 0 10186 39 0 0 25 0 1 0 180892004 10809344 2263 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 2639 2263 205 16 0 2078 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 10556 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1647176/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=11684 CPUtime=162.23 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 2655 0 0 0 16163 60 0 0 25 0 1 0 180892004 11964416 2540 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 2921 2540 205 16 0 2360 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11684 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1646856/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=11924 CPUtime=222.21 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 2735 0 0 0 22134 87 0 0 25 0 1 0 180892004 12210176 2608 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 2981 2608 205 16 0 2420 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 11924 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4798 /proc/meminfo: memFree=1645128/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=13692 CPUtime=282.18 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3180 0 0 0 28113 105 0 0 25 0 1 0 180892004 14020608 3045 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3423 3045 205 16 0 2862 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 13692 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/84 4936 /proc/meminfo: memFree=1643384/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=14044 CPUtime=342.07 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3270 0 0 0 34085 122 0 0 25 0 1 0 180892004 14381056 3135 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3511 3135 205 16 0 2950 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 14044 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4996 /proc/meminfo: memFree=1643976/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=14324 CPUtime=402.01 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3433 0 0 0 40063 138 0 0 25 0 1 0 180892004 14667776 3208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3581 3208 205 16 0 3020 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 14324 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4996 /proc/meminfo: memFree=1644168/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=14540 CPUtime=461.99 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3472 0 0 0 46044 155 0 0 25 0 1 0 180892004 14888960 3247 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3635 3247 205 16 0 3074 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 14540 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4996 /proc/meminfo: memFree=1644104/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=14624 CPUtime=521.97 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3526 0 0 0 52022 175 0 0 25 0 1 0 180892004 14974976 3275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3656 3275 205 16 0 3095 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 14624 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4996 /proc/meminfo: memFree=1644104/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=14708 CPUtime=581.94 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3559 0 0 0 58002 192 0 0 25 0 1 0 180892004 15060992 3279 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3677 3279 205 16 0 3116 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 14708 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4996 /proc/meminfo: memFree=1643144/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=15684 CPUtime=641.93 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3826 0 0 0 63981 212 0 0 25 0 1 0 180892004 16060416 3532 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 3921 3532 205 16 0 3360 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 15684 ################ # More data... # ################ /proc/meminfo: memFree=1642248/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=16404 CPUtime=821.85 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4104 0 0 0 81916 269 0 0 25 0 1 0 180892004 16797696 3728 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4101 3728 205 16 0 3540 0 Current children cumulated CPU time (s) 821.85 Current children cumulated vsize (KiB) 16404 [startup+882.302 s] /proc/loadavg: 1.10 1.03 1.00 2/78 4996 /proc/meminfo: memFree=1641864/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=16796 CPUtime=881.82 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4216 0 0 0 87894 288 0 0 25 0 1 0 180892004 17199104 3826 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4199 3826 205 16 0 3638 0 Current children cumulated CPU time (s) 881.82 Current children cumulated vsize (KiB) 16796 [startup+942.302 s] /proc/loadavg: 1.10 1.04 1.00 2/78 4996 /proc/meminfo: memFree=1641672/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=17100 CPUtime=941.8 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 93870 310 0 0 25 0 1 0 180892004 17510400 3902 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4275 3902 205 16 0 3714 0 Current children cumulated CPU time (s) 941.8 Current children cumulated vsize (KiB) 17100 [startup+1002.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 4996 /proc/meminfo: memFree=1641672/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=16992 CPUtime=1001.78 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 99843 335 0 0 25 0 1 0 180892004 17399808 3875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4248 3875 205 16 0 3687 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 16992 [startup+1062.3 s] /proc/loadavg: 1.09 1.05 1.00 2/78 4996 /proc/meminfo: memFree=1641736/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=16992 CPUtime=1061.75 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 105816 359 0 0 25 0 1 0 180892004 17399808 3875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4248 3875 205 16 0 3687 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 16992 [startup+1122.3 s] /proc/loadavg: 1.03 1.03 1.00 2/78 4996 /proc/meminfo: memFree=1641736/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=16832 CPUtime=1121.73 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 111792 381 0 0 25 0 1 0 180892004 17235968 3835 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4208 3835 205 16 0 3647 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 16832 [startup+1182.3 s] /proc/loadavg: 1.01 1.03 1.00 2/78 4996 /proc/meminfo: memFree=1641800/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=16888 CPUtime=1181.7 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4322 0 0 0 117762 408 0 0 25 0 1 0 180892004 17293312 3849 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4222 3849 205 16 0 3661 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 16888 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 4996 /proc/meminfo: memFree=1641736/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=17112 CPUtime=1241.68 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4369 0 0 0 123734 434 0 0 25 0 1 0 180892004 17522688 3895 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4278 3895 205 16 0 3717 0 Current children cumulated CPU time (s) 1241.68 Current children cumulated vsize (KiB) 17112 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 4996 /proc/meminfo: memFree=1641480/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=17248 CPUtime=1301.66 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4476 0 0 0 129706 460 0 0 25 0 1 0 180892004 17661952 3939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4312 3939 205 16 0 3751 0 Current children cumulated CPU time (s) 1301.66 Current children cumulated vsize (KiB) 17248 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 4996 /proc/meminfo: memFree=1641480/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=17248 CPUtime=1361.64 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4476 0 0 0 135674 490 0 0 25 0 1 0 180892004 17661952 3939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4312 3939 205 16 0 3751 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 17248 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1639816/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=18940 CPUtime=1421.62 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4931 0 0 0 141653 509 0 0 25 0 1 0 180892004 19394560 4355 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4735 4355 205 16 0 4174 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 18940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1639240/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=19536 CPUtime=1481.59 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5139 0 0 0 147638 521 0 0 25 0 1 0 180892004 20004864 4510 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4884 4510 205 16 0 4323 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 19536 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1638856/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=20036 CPUtime=1541.56 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5263 0 0 0 153623 533 0 0 25 0 1 0 180892004 20516864 4623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 5009 4623 205 16 0 4448 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 20036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1638856/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=19992 CPUtime=1601.54 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5263 0 0 0 159608 546 0 0 25 0 1 0 180892004 20471808 4623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 4998 4623 205 16 0 4437 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 19992 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1638536/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=20196 CPUtime=1661.52 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5337 0 0 0 165590 562 0 0 25 0 1 0 180892004 20680704 4676 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 5049 4676 205 16 0 4488 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 20196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1638280/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=20636 CPUtime=1721.5 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5439 0 0 0 171574 576 0 0 25 0 1 0 180892004 21131264 4772 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 5159 4772 205 16 0 4598 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 20636 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1637576/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=21344 CPUtime=1781.47 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5608 0 0 0 177560 587 0 0 25 0 1 0 180892004 21856256 4937 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 5336 4937 205 16 0 4775 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (KiB) 21344 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1637576/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=21344 CPUtime=1782.27 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5608 0 0 0 177640 587 0 0 25 0 1 0 180892004 21856256 4937 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 5336 4937 205 16 0 4775 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 21344 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4996 /proc/meminfo: memFree=1637576/2055920 swapFree=4152380/4192956 [pid=4797] ppid=4795 vsize=21344 CPUtime=1782.67 /proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5608 0 0 0 177680 587 0 0 25 0 1 0 180892004 21856256 4937 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4797/statm: 5336 4937 205 16 0 4775 0 Current children cumulated CPU time (s) 1782.67 Current children cumulated vsize (KiB) 21344 Child status: 10 Real time (s): 1783.56 CPU time (s): 1782.73 CPU user time (s): 1776.85 CPU system time (s): 5.8821 CPU usage (%): 99.9538 Max. virtual memory (cumulated for all children) (KiB): 21344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.85 system time used= 5.88211 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5615 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= 14 involuntary context switches= 37715 runsolver used 1.84872 second user time and 4.15137 second system time The end
Begin job on node10 on Fri Apr 20 05:55:45 UTC 2007 IDJOB= 365293 IDBENCH= 2227 IDSOLVER= 165 FILE ID= node10/365293-1177048545 PBS_JOBID= 4640133 Free space on /tmp= 66268 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb COMMAND LINE= Pueblo /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-365293-1177048545 -o ROOT/results/node10/conversion-365293-1177048545 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-365293-1177048545 -o ROOT/results/node10/solver-365293-1177048545 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c RANDOM SEED= 33252140 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 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.259 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: 1657312 kB Buffers: 36268 kB Cached: 286644 kB SwapCached: 8860 kB Active: 128284 kB Inactive: 217772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1657312 kB SwapTotal: 4192956 kB SwapFree: 4152380 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 30188 kB Slab: 38104 kB Committed_AS: 3611696 kB PageTables: 1708 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66268 MiB End job on node10 on Fri Apr 20 06:25:29 UTC 2007