Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 58 | 1800.34 | 1800.9 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.01 c ...done 0.00/0.01 c #vars=934 #constraints=1065 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.02 c nbDecision=262 #constraints=1065 0.00/0.02 c linear search for optimum 0.00/0.02 o 86 0.00/0.02 c nbDecision=262 #constraints=1067 0.00/0.02 o 83 0.03/0.04 c nbDecision=285 #constraints=1077 0.03/0.04 o 81 0.03/0.06 c nbDecision=296 #constraints=1083 0.03/0.06 o 80 0.19/0.22 c restart after 401 decisions 0.19/0.23 c nbDecision=500 #constraints=1146 0.19/0.29 c nbDecision=693 #constraints=1169 0.19/0.29 o 78 0.29/0.31 c nbDecision=703 #constraints=1175 0.29/0.31 o 77 0.49/0.57 c restart after 801 decisions 0.49/0.59 c nbDecision=1000 #constraints=1253 0.59/0.61 c nbDecision=1084 #constraints=1262 0.59/0.61 o 75 0.59/0.63 c nbDecision=1095 #constraints=1268 0.59/0.63 o 74 0.79/0.87 c nbDecision=1238 #constraints=1354 0.79/0.87 o 72 0.79/0.88 c nbDecision=1248 #constraints=1360 0.79/0.88 o 71 1.29/1.34 c nbDecision=1425 #constraints=1496 1.29/1.34 o 70 1.49/1.59 c nbDecision=1500 #constraints=1563 1.89/1.99 c restart after 1601 decisions 2.59/2.68 c nbDecision=2000 #constraints=1771 5.09/5.18 c nbDecision=2500 #constraints=2190 8.19/8.27 c nbDecision=3000 #constraints=2574 9.69/9.72 c restart after 3201 decisions 10.39/10.44 c nbDecision=3500 #constraints=2768 10.69/10.73 c nbDecision=3549 #constraints=2799 10.69/10.73 o 69 14.58/14.68 c nbDecision=4000 #constraints=3168 20.79/20.89 c nbDecision=4500 #constraints=3601 26.08/26.12 c nbDecision=5000 #constraints=4020 32.78/32.87 c nbDecision=5500 #constraints=4447 37.78/37.81 c nbDecision=5842 #constraints=4707 37.78/37.81 o 68 37.88/37.93 c nbDecision=5856 #constraints=4714 37.88/37.93 o 67 40.38/40.46 c nbDecision=6000 #constraints=4827 40.48/40.51 c nbDecision=6011 #constraints=4828 40.48/40.51 o 66 40.59/40.60 c nbDecision=6024 #constraints=4834 40.59/40.60 o 65 45.08/45.13 c nbDecision=6287 #constraints=5031 45.08/45.13 o 64 47.48/47.57 c restart after 6401 decisions 48.48/48.51 c nbDecision=6500 #constraints=5121 56.28/56.36 c nbDecision=7000 #constraints=5385 65.48/65.57 c nbDecision=7500 #constraints=5688 67.28/67.36 c nbDecision=7601 #constraints=5752 67.28/67.36 o 62 67.78/67.82 c nbDecision=7637 #constraints=5768 67.78/67.82 o 61 74.57/74.66 c nbDecision=7962 #constraints=5983 74.57/74.66 o 60 74.97/75.05 c nbDecision=7993 #constraints=5996 74.97/75.05 o 59 75.17/75.24 c nbDecision=8000 #constraints=6005 87.26/87.38 c nbDecision=8500 #constraints=6352 89.26/89.34 c nbDecision=8595 #constraints=6408 89.26/89.34 o 58 102.76/102.81 c nbDecision=9000 #constraints=6723 120.76/120.88 c nbDecision=9500 #constraints=7111 138.45/138.52 c nbDecision=10000 #constraints=7469 157.56/157.67 c nbDecision=10500 #constraints=7881 176.15/176.29 c nbDecision=11000 #constraints=8258 202.54/202.60 c nbDecision=11500 #constraints=8649 225.53/225.67 c nbDecision=12000 #constraints=9013 248.03/248.12 c nbDecision=12500 #constraints=9447 260.63/260.71 c restart after 12801 decisions 263.42/263.54 c nbDecision=13000 #constraints=9668 283.12/283.26 c nbDecision=13500 #constraints=9997 302.91/303.01 c nbDecision=14000 #constraints=10331 322.81/322.98 c nbDecision=14500 #constraints=10658 347.61/347.71 c nbDecision=15000 #constraints=11044 369.40/369.54 c nbDecision=15500 #constraints=11380 391.89/392.02 c nbDecision=16000 #constraints=11720 426.78/426.97 c nbDecision=16500 #constraints=12138 461.38/461.50 c nbDecision=17000 #constraints=12550 496.07/496.20 c nbDecision=17500 #constraints=12942 523.36/523.57 c nbDecision=18000 #constraints=13271 555.45/555.69 c nbDecision=18500 #constraints=13625 586.64/586.85 c nbDecision=19000 #constraints=13976 619.04/619.22 c nbDecision=19500 #constraints=14338 655.63/655.83 c nbDecision=20000 #constraints=14699 689.52/689.70 c nbDecision=20500 #constraints=15134 718.61/718.87 c nbDecision=21000 #constraints=15477 751.90/752.15 c nbDecision=21500 #constraints=15865 788.90/789.12 c nbDecision=22000 #constraints=16241 836.28/836.56 c nbDecision=22500 #constraints=16686 880.18/880.46 c nbDecision=23000 #constraints=17049 920.27/920.56 c nbDecision=23500 #constraints=17425 965.95/966.28 c nbDecision=24000 #constraints=17778 1010.25/1010.51 c nbDecision=24500 #constraints=18177 1058.43/1058.73 c nbDecision=25000 #constraints=18594 1102.21/1102.56 c nbDecision=25500 #constraints=18994 1111.22/1111.55 c restart after 25601 decisions 1129.51/1129.83 c nbDecision=26000 #constraints=19199 1161.80/1162.19 c nbDecision=26500 #constraints=19537 1190.60/1190.98 c nbDecision=27000 #constraints=19842 1221.89/1222.21 c nbDecision=27500 #constraints=20134 1249.35/1249.77 c nbDecision=28000 #constraints=20389 1280.78/1281.24 c nbDecision=28500 #constraints=20687 1312.65/1313.11 c nbDecision=29000 #constraints=20953 1371.04/1371.54 c nbDecision=29500 #constraints=21351 1414.93/1415.41 c nbDecision=30000 #constraints=21706 1448.42/1448.98 c nbDecision=30500 #constraints=21996 1485.81/1486.33 c nbDecision=31000 #constraints=22270 1522.60/1523.14 c nbDecision=31500 #constraints=22566 1561.00/1561.50 c nbDecision=32000 #constraints=22851 1615.08/1615.62 c nbDecision=32500 #constraints=23208 1666.77/1667.31 c nbDecision=33000 #constraints=23575 1710.76/1711.37 c nbDecision=33500 #constraints=23885 1757.15/1757.75 c nbDecision=34000 #constraints=24217 1800.04/1800.61 Received signal 15 1800.23/1800.82 1800.23/1800.82 s SATISFIABLE 1800.23/1800.82 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 1800.23/1800.82 v -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 1800.23/1800.82 v -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 1800.23/1800.82 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.23/1800.82 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.23/1800.82 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.23/1800.82 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.23/1800.82 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.23/1800.82 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.23/1800.82 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.23/1800.82 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.23/1800.82 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273 1800.23/1800.82 v x274 x275 x276 x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.23/1800.82 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.23/1800.82 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.23/1800.82 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.23/1800.82 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.23/1800.82 v -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.23/1800.82 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 1800.23/1800.82 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 x440 x441 x442 x443 x444 1800.23/1800.82 v x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.23/1800.82 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.23/1800.82 v x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 x507 -x508 1800.23/1800.82 v -x509 -x510 -x511 x512 x513 x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.23/1800.82 v -x531 -x532 -x533 -x534 -x535 x536 x537 x538 x539 x540 -x541 -x542 -x543 -x544 x545 x546 x547 x548 -x549 -x550 -x551 -x552 1800.23/1800.82 v x553 x554 x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 x571 x572 -x573 -x574 1800.23/1800.82 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 1800.23/1800.82 v x596 x597 x598 x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 x614 x615 x616 x617 x618 1800.23/1800.82 v x619 x620 x621 x622 x623 x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 x640 1800.23/1800.82 v x641 x642 -x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 x659 x660 x661 x662 1800.23/1800.82 v x663 x664 x665 x666 -x667 x668 x669 -x670 -x671 -x672 -x673 x674 -x675 x676 x677 x678 x679 x680 x681 x682 -x683 x684 x685 x686 1800.23/1800.82 v x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 x706 x707 x708 1800.23/1800.82 v x709 x710 x711 x712 -x713 -x714 -x715 -x716 x717 x718 x719 x720 x721 -x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 1800.23/1800.82 v 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 1800.23/1800.82 v 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 1800.23/1800.82 v 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 1800.23/1800.82 v x811 x812 x813 x814 x815 x816 x817 x818 -x819 -x820 -x821 -x822 x823 -x824 x825 x826 x827 x828 x829 x830 x831 -x832 -x833 x834 1800.23/1800.82 v 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 1800.23/1800.82 v x860 -x861 x862 x863 x864 -x865 x866 x867 x868 x869 x870 x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 x879 x880 x881 -x882 1800.23/1800.82 v x883 x884 x885 x886 x887 x888 -x889 x890 x891 x892 x893 x894 x895 x896 x897 x898 x899 -x900 -x901 x902 x903 -x904 -x905 -x906 1800.23/1800.82 v x907 -x908 -x909 x910 x911 x912 x913 -x914 x915 x916 x917 x918 x919 x920 -x921 -x922 x923 x924 x925 x926 x927 x928 x929 x930 1800.23/1800.82 v x931 x932 x933 x934 1800.23/1800.82 1800.23/1800.82 c user time= 1799.5 s 1800.23/1800.82 c system time= 0.764883 s 1800.23/1800.82 c wall clock time=1800.82
OK 58
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-365296-1176990022 -o ROOT/results/node4/solver-365296-1176990022 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365296-1176990022/instance-365296-1176990022.opb mod 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 9683 /proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=1468 CPUtime=0 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175039912 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 367 164 131 317 0 46 0 [startup+0.040823 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9683 /proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=2156 CPUtime=0.03 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 373 0 0 0 3 0 0 0 18 0 1 0 175039912 2207744 355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 539 355 170 317 0 218 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2156 [startup+0.102829 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9683 /proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=2652 CPUtime=0.09 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 506 0 0 0 9 0 0 0 18 0 1 0 175039912 2715648 488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 663 488 170 317 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2652 [startup+0.302849 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9683 /proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=3824 CPUtime=0.29 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 806 0 0 0 29 0 0 0 19 0 1 0 175039912 3915776 788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713745 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 956 788 170 317 0 635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3824 [startup+0.702886 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9683 /proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=5952 CPUtime=0.69 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 1342 0 0 0 69 0 0 0 23 0 1 0 175039912 6094848 1324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 1488 1324 170 317 0 1167 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5952 [startup+1.50196 s] /proc/loadavg: 0.92 0.98 0.99 2/78 9684 /proc/meminfo: memFree=1707728/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=10348 CPUtime=1.49 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 2422 0 0 0 149 0 0 0 25 0 1 0 175039912 10596352 2404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 2587 2404 170 317 0 2266 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10348 [startup+3.10111 s] /proc/loadavg: 0.92 0.98 0.99 2/78 9684 /proc/meminfo: memFree=1702480/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=16252 CPUtime=3.09 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 3920 0 0 0 308 1 0 0 25 0 1 0 175039912 16642048 3902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 4063 3902 170 317 0 3742 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16252 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 2/78 9684 /proc/meminfo: memFree=1691920/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=25908 CPUtime=6.29 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 6292 0 0 0 626 3 0 0 25 0 1 0 175039912 26529792 6274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 6477 6274 170 317 0 6156 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25908 [startup+12.701 s] /proc/loadavg: 1.01 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1680144/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=36332 CPUtime=12.69 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 8932 0 0 0 1265 4 0 0 25 0 1 0 175039912 37203968 8914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 9083 8914 170 317 0 8762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36332 [startup+25.5013 s] /proc/loadavg: 1.01 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1661328/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=55424 CPUtime=25.48 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 13447 0 0 0 2542 6 0 0 25 0 1 0 175039912 56754176 13429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 13856 13429 170 317 0 13535 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55424 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1636752/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=82868 CPUtime=51.08 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 19489 0 0 0 5098 10 0 0 25 0 1 0 175039912 84856832 19471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 20717 19471 170 317 0 20396 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 82868 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1611600/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=107004 CPUtime=102.27 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 25753 0 0 0 10213 14 0 0 25 0 1 0 175039912 109572096 25735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 26751 25735 170 317 0 26430 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 107004 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1590288/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=126772 CPUtime=162.25 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 31105 0 0 0 16206 19 0 0 25 0 1 0 175039912 129814528 31087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 31693 31087 170 317 0 31372 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 126772 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1574416/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=142196 CPUtime=222.23 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 35079 0 0 0 22201 22 0 0 25 0 1 0 175039912 145608704 35004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 35549 35004 170 317 0 35228 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 142196 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1549776/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=175156 CPUtime=282.22 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 41264 0 0 0 28197 25 0 0 25 0 1 0 175039912 179359744 41189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 43789 41189 170 317 0 43468 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 175156 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1533392/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=190636 CPUtime=342.2 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 45302 0 0 0 34192 28 0 0 25 0 1 0 175039912 195211264 45227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 47659 45227 170 317 0 47338 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 190636 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1518480/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=204824 CPUtime=402.19 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 49064 0 0 0 40188 31 0 0 25 0 1 0 175039912 209739776 48989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 51206 48989 170 317 0 50885 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 204824 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1506896/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=216332 CPUtime=462.18 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 51941 0 0 0 46185 33 0 0 25 0 1 0 175039912 221523968 51866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 54083 51866 170 317 0 53762 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 216332 [startup+522.303 s] /proc/loadavg: 1.00 1.00 0.99 2/78 9684 /proc/meminfo: memFree=1495568/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=227948 CPUtime=522.16 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 54806 0 0 0 52181 35 0 0 25 0 1 0 175039912 233418752 54731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 56987 54731 170 317 0 56666 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 227948 [startup+582.302 s] /proc/loadavg: 1.06 1.02 1.00 2/78 9684 /proc/meminfo: memFree=1483920/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=238360 CPUtime=582.15 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 57701 0 0 0 58178 37 0 0 25 0 1 0 175039912 244080640 57626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 59590 57626 170 317 0 59269 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 238360 [startup+642.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 9684 /proc/meminfo: memFree=1473104/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=248544 CPUtime=642.14 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 60363 0 0 0 64174 40 0 0 25 0 1 0 175039912 254509056 60288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 62136 60288 170 317 0 61815 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 248544 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9684 /proc/meminfo: memFree=1431376/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=287992 CPUtime=882.07 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 70873 0 0 0 88159 48 0 0 25 0 1 0 175039912 294903808 70685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 71998 70685 170 317 0 71677 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 287992 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9684 /proc/meminfo: memFree=1415632/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=329016 CPUtime=942.05 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 79245 0 0 0 94155 50 0 0 25 0 1 0 175039912 336912384 74569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 82254 74569 170 317 0 81933 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 329016 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9684 /proc/meminfo: memFree=1406800/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=337096 CPUtime=1002.04 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 81457 0 0 0 100151 53 0 0 25 0 1 0 175039912 345186304 76781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 84274 76781 170 317 0 83953 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 337096 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9684 /proc/meminfo: memFree=1397840/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=345216 CPUtime=1062.03 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 83692 0 0 0 106148 55 0 0 25 0 1 0 175039912 353501184 79016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 86304 79016 170 317 0 85983 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 345216 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9684 /proc/meminfo: memFree=1389264/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=353164 CPUtime=1122.01 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 85878 0 0 0 112144 57 0 0 25 0 1 0 175039912 361639936 81136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 88291 81136 170 317 0 87970 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 353164 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9684 /proc/meminfo: memFree=1378704/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=362996 CPUtime=1182 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 88577 0 0 0 118141 59 0 0 25 0 1 0 175039912 371707904 83802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 90749 83802 170 317 0 90428 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 362996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 9710 /proc/meminfo: memFree=1368160/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=371652 CPUtime=1241.96 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 90931 0 0 0 124134 62 0 0 25 0 1 0 175039912 380571648 86123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 92913 86123 170 317 0 92592 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 371652 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1359376/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=380924 CPUtime=1301.86 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 93432 0 0 0 130122 64 0 0 25 0 1 0 175039912 390066176 88525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 95231 88525 170 317 0 94910 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 380924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1352144/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=388060 CPUtime=1361.84 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 95374 0 0 0 136118 66 0 0 25 0 1 0 175039912 397373440 90368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 97015 90368 170 317 0 96694 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 388060 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1344080/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=395560 CPUtime=1421.83 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 97464 0 0 0 142116 67 0 0 25 0 1 0 175039912 405053440 92392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 98890 92392 170 317 0 98569 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 395560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1335632/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=404428 CPUtime=1481.81 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 99695 0 0 0 148112 69 0 0 25 0 1 0 175039912 414134272 94524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 101107 94524 170 317 0 100786 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 404428 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1327376/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=412268 CPUtime=1541.8 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 101829 0 0 0 154109 71 0 0 25 0 1 0 175039912 422162432 96592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 103067 96592 170 317 0 102746 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 412268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1320464/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=418336 CPUtime=1601.79 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 103606 0 0 0 160106 73 0 0 25 0 1 0 175039912 428376064 98336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 104584 98336 170 317 0 104263 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 418336 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1313808/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=424636 CPUtime=1661.77 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 105253 0 0 0 166103 74 0 0 25 0 1 0 175039912 434827264 99983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 106159 99983 170 317 0 105838 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 424636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1306448/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=431596 CPUtime=1721.76 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 107175 0 0 0 172101 75 0 0 25 0 1 0 175039912 441954304 101839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 107899 101839 170 317 0 107578 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 431596 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1298960/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=438284 CPUtime=1781.74 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 109098 0 0 0 178098 76 0 0 25 0 1 0 175039912 448802816 103696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 109571 103696 170 317 0 109250 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 438284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1297488/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=439652 CPUtime=1800.04 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 109456 0 0 0 179928 76 0 0 25 0 1 0 175039912 450203648 104054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 109913 104054 170 317 0 109592 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 439652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9882 /proc/meminfo: memFree=1297488/2055920 swapFree=4153812/4192956 [pid=9683] ppid=9681 vsize=439652 CPUtime=1800.23 /proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 109464 0 0 0 179947 76 0 0 25 0 1 0 175039912 450203648 104062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9683/statm: 109913 104062 170 317 0 109592 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 439652 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.34 CPU user time (s): 1799.51 CPU system time (s): 0.830873 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 439672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.830873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109480 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 37969 runsolver used 2.22066 second user time and 4.24835 second system time The end
Begin job on node4 on Thu Apr 19 13:40:22 UTC 2007 IDJOB= 365296 IDBENCH= 2227 IDSOLVER= 172 FILE ID= node4/365296-1176990022 PBS_JOBID= 4630445 Free space on /tmp= 66473 MiB SOLVER NAME= oree 0.1.2 alpha 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= oree /tmp/evaluation/365296-1176990022/instance-365296-1176990022.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-365296-1176990022 -o ROOT/results/node4/solver-365296-1176990022 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365296-1176990022/instance-365296-1176990022.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c RANDOM SEED= 997680899 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1714864 kB Buffers: 36676 kB Cached: 222752 kB SwapCached: 2236 kB Active: 68128 kB Inactive: 213996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1714864 kB SwapTotal: 4192956 kB SwapFree: 4153812 kB Dirty: 1436 kB Writeback: 0 kB Mapped: 30252 kB Slab: 44412 kB Committed_AS: 5290056 kB PageTables: 1816 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= 66473 MiB End job on node4 on Thu Apr 19 14:10:24 UTC 2007