Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -32 | 1800.32 | 1800.96 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | e1b2be59a127acc8d929395698929541 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
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.39/0.41 c ...done 0.39/0.41 c #vars=945 #constraints=58550 hasObjective=yes 0.59/0.65 c res. mode=mod 0.59/0.65 c VSIDS like heuristics 0.59/0.65 c complete search running 0.59/0.69 c nbDecision=31 #constraints=58550 0.59/0.69 c linear search for optimum 0.59/0.69 o -31 3.89/3.91 c nbDecision=387 #constraints=58877 3.89/3.91 o -32 3.99/4.08 c restart after 401 decisions 5.09/5.19 c nbDecision=500 #constraints=58966 8.69/8.74 c restart after 801 decisions 11.09/11.13 c nbDecision=1000 #constraints=59378 18.39/18.47 c nbDecision=1500 #constraints=59814 20.28/20.33 c restart after 1601 decisions 27.88/27.97 c nbDecision=2000 #constraints=60252 39.18/39.21 c nbDecision=2500 #constraints=60736 51.17/51.28 c nbDecision=3000 #constraints=61183 56.07/56.11 c restart after 3201 decisions 67.87/67.95 c nbDecision=3500 #constraints=61611 84.87/84.92 c nbDecision=4000 #constraints=62043 99.97/100.08 c nbDecision=4500 #constraints=62458 117.86/117.96 c nbDecision=5000 #constraints=62854 137.25/137.36 c nbDecision=5500 #constraints=63266 163.94/164.09 c nbDecision=6000 #constraints=63720 189.34/189.40 c restart after 6401 decisions 199.23/199.39 c nbDecision=6500 #constraints=64164 228.73/228.86 c nbDecision=7000 #constraints=64622 259.01/259.15 c nbDecision=7500 #constraints=65089 290.00/290.18 c nbDecision=8000 #constraints=65570 322.00/322.12 c nbDecision=8500 #constraints=66022 354.38/354.55 c nbDecision=9000 #constraints=66492 392.97/393.10 c nbDecision=9500 #constraints=66962 441.86/442.08 c nbDecision=10000 #constraints=67452 488.94/489.10 c nbDecision=10500 #constraints=67933 540.13/540.31 c nbDecision=11000 #constraints=68419 588.95/589.28 c nbDecision=11500 #constraints=68894 635.90/636.25 c nbDecision=12000 #constraints=69383 688.18/688.57 c nbDecision=12500 #constraints=69864 720.66/721.02 c restart after 12801 decisions 750.56/750.90 c nbDecision=13000 #constraints=70325 806.44/806.88 c nbDecision=13500 #constraints=70799 861.23/861.67 c nbDecision=14000 #constraints=71258 907.22/907.60 c nbDecision=14500 #constraints=71691 964.30/964.78 c nbDecision=15000 #constraints=72174 1023.38/1023.87 c nbDecision=15500 #constraints=72644 1087.26/1087.74 c nbDecision=16000 #constraints=73117 1148.94/1149.44 c nbDecision=16500 #constraints=73581 1207.33/1207.81 c nbDecision=17000 #constraints=74040 1272.11/1272.61 c nbDecision=17500 #constraints=74524 1345.19/1345.77 c nbDecision=18000 #constraints=75013 1417.27/1417.88 c nbDecision=18500 #constraints=75481 1492.94/1493.56 c nbDecision=19000 #constraints=75976 1566.52/1567.12 c nbDecision=19500 #constraints=76468 1637.10/1637.76 c nbDecision=20000 #constraints=76889 1720.68/1721.34 c nbDecision=20500 #constraints=77359 1800.06/1800.70 Received signal 15 1800.15/1800.80 1800.15/1800.80 s SATISFIABLE 1800.15/1800.80 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.15/1800.80 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.15/1800.80 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.15/1800.80 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 -x105 1800.15/1800.80 v -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.15/1800.80 v -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.15/1800.80 v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.15/1800.80 v -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.15/1800.80 v -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.15/1800.80 v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.15/1800.80 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.15/1800.80 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.15/1800.80 v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.15/1800.80 v -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.15/1800.80 v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.15/1800.80 v -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.15/1800.80 v x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.15/1800.80 v -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.15/1800.80 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.15/1800.80 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.15/1800.80 v -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.15/1800.80 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.15/1800.80 v -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.15/1800.80 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.15/1800.80 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.15/1800.80 v x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.15/1800.80 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.15/1800.80 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.15/1800.80 v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.15/1800.80 v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.15/1800.80 v -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.15/1800.80 v -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.15/1800.80 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.15/1800.80 v -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.15/1800.80 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.15/1800.80 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.15/1800.80 v -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.15/1800.80 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 1800.15/1800.80 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.15/1800.80 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.15/1800.80 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.15/1800.80 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.15/1800.80 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.15/1800.80 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.15/1800.80 1800.15/1800.80 c user time= 1799.05 s 1800.15/1800.80 c system time= 1.11783 s 1800.15/1800.80 c wall clock time=1800.81
OK -32
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-357194-1176990695 -o ROOT/results/node6/solver-357194-1176990695 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357194-1176990695/instance-357194-1176990695.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.91 0.95 0.90 3/77 5894 /proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=1468 CPUtime=0 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 175107182 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134987055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 367 163 130 317 0 46 0 [startup+0.0878711 s] /proc/loadavg: 0.91 0.95 0.90 3/77 5894 /proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=3352 CPUtime=0.08 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 635 0 0 0 8 0 0 0 18 0 1 0 175107182 3432448 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 838 617 130 317 0 517 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3352 [startup+0.101872 s] /proc/loadavg: 0.91 0.95 0.90 3/77 5894 /proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=3616 CPUtime=0.09 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 175107182 3702784 693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 904 693 130 317 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.301896 s] /proc/loadavg: 0.91 0.95 0.90 3/77 5894 /proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=7968 CPUtime=0.29 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 1818 0 0 0 29 0 0 0 19 0 1 0 175107182 8159232 1767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 1992 1767 130 317 0 1671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7968 [startup+0.701943 s] /proc/loadavg: 0.91 0.95 0.90 3/77 5894 /proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=19536 CPUtime=0.69 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 4140 0 0 0 68 1 0 0 23 0 1 0 175107182 20004864 4089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 4884 4091 139 317 0 4563 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19536 [startup+1.50104 s] /proc/loadavg: 0.91 0.95 0.90 2/78 5895 /proc/meminfo: memFree=1266672/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=20752 CPUtime=1.49 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 5081 0 0 0 147 2 0 0 25 0 1 0 175107182 21250048 4629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 5188 4629 170 317 0 4867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20752 [startup+3.10122 s] /proc/loadavg: 0.91 0.95 0.90 2/78 5895 /proc/meminfo: memFree=1261616/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=27188 CPUtime=3.09 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 6687 0 0 0 306 3 0 0 25 0 1 0 175107182 27840512 6235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 6797 6235 170 317 0 6476 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27188 [startup+6.3016 s] /proc/loadavg: 0.92 0.95 0.90 2/78 5895 /proc/meminfo: memFree=1249904/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=37892 CPUtime=6.29 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 9343 0 0 0 626 3 0 0 25 0 1 0 175107182 38801408 8891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 9473 8891 170 317 0 9152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37892 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.90 2/78 5895 /proc/meminfo: memFree=1230960/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=55748 CPUtime=12.68 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 13831 0 0 0 1262 6 0 0 25 0 1 0 175107182 57085952 13379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 13937 13379 170 317 0 13616 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 55748 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.91 2/78 5895 /proc/meminfo: memFree=1200432/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=85184 CPUtime=25.49 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 21195 0 0 0 2540 9 0 0 25 0 1 0 175107182 87228416 20743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 21296 20743 170 317 0 20975 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85184 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.91 2/78 5895 /proc/meminfo: memFree=1154096/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=135120 CPUtime=51.07 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 32834 0 0 0 5093 14 0 0 25 0 1 0 175107182 138362880 32382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 33780 32382 170 317 0 33459 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 135120 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/78 5895 /proc/meminfo: memFree=1104368/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=180632 CPUtime=102.27 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 45061 0 0 0 10207 20 0 0 25 0 1 0 175107182 184967168 44609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 45158 44609 170 317 0 44837 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 180632 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=1045040/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=249536 CPUtime=162.24 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 59969 0 0 0 16196 28 0 0 25 0 1 0 175107182 255524864 59517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 62384 59517 170 317 0 62063 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 249536 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=1013552/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=277684 CPUtime=222.22 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 67730 0 0 0 22189 33 0 0 25 0 1 0 175107182 284348416 67278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 69421 67278 170 317 0 69100 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 277684 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=978672/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=309672 CPUtime=282.21 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 76530 0 0 0 28183 38 0 0 25 0 1 0 175107182 317104128 76078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 77418 76078 170 317 0 77097 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 309672 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=946672/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=338692 CPUtime=342.19 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 84460 0 0 0 34178 41 0 0 25 0 1 0 175107182 346820608 83943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 84673 83943 170 317 0 84352 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 338692 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=891696/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=421812 CPUtime=402.17 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 98197 0 0 0 40170 47 0 0 25 0 1 0 175107182 431935488 97680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 105453 97680 170 317 0 105132 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 421812 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=869104/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=443084 CPUtime=462.15 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 103818 0 0 0 46165 50 0 0 25 0 1 0 175107182 453718016 103301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 110771 103301 170 317 0 110450 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 443084 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5895 /proc/meminfo: memFree=847280/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=463444 CPUtime=522.13 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 109311 0 0 0 52160 53 0 0 25 0 1 0 175107182 474566656 108794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 115861 108794 170 317 0 115540 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 463444 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/84 6003 /proc/meminfo: memFree=822528/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=483340 CPUtime=582.06 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 115134 0 0 0 58149 57 0 0 25 0 1 0 175107182 494940160 114617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 120835 114617 170 317 0 120514 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 483340 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=800816/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=504728 CPUtime=641.99 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 120799 0 0 0 64139 60 0 0 25 0 1 0 175107182 516841472 120282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 126182 120282 170 317 0 125861 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 504728 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=704304/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=592504 CPUtime=941.9 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 144934 0 0 0 94115 75 0 0 25 0 1 0 175107182 606724096 144417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 148126 144417 170 317 0 147805 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 592504 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=686000/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=608936 CPUtime=1001.89 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 149471 0 0 0 100112 77 0 0 25 0 1 0 175107182 623550464 148954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711020 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 152234 148954 170 317 0 151913 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 608936 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=668848/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=624420 CPUtime=1061.87 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 153785 0 0 0 106108 79 0 0 25 0 1 0 175107182 639406080 153268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 156105 153268 170 317 0 155784 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 624420 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=653424/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=639692 CPUtime=1121.85 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 157635 0 0 0 112104 81 0 0 25 0 1 0 175107182 655044608 157118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 159923 157118 170 317 0 159602 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 639692 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=636272/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=655000 CPUtime=1181.84 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 161920 0 0 0 118100 84 0 0 25 0 1 0 175107182 670720000 161403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 163750 161403 170 317 0 163429 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 655000 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=617968/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=671404 CPUtime=1241.81 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 166464 0 0 0 124095 86 0 0 25 0 1 0 175107182 687517696 165947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 167851 165947 170 317 0 167530 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 671404 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=601392/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=686044 CPUtime=1301.8 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 170593 0 0 0 130092 88 0 0 25 0 1 0 175107182 702509056 170076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 171511 170076 170 317 0 171190 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 686044 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=559664/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=810004 CPUtime=1361.78 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 195462 0 0 0 136081 97 0 0 25 0 1 0 175107182 829444096 180458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 202501 180458 170 317 0 202180 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 810004 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=543344/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=823704 CPUtime=1421.76 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 199550 0 0 0 142077 99 0 0 25 0 1 0 175107182 843472896 184480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 205926 184480 170 317 0 205605 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 823704 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=530224/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=837668 CPUtime=1481.74 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 203033 0 0 0 148073 101 0 0 25 0 1 0 175107182 857772032 187798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 209417 187798 170 317 0 209096 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 837668 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=513008/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=852288 CPUtime=1541.72 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 207364 0 0 0 154069 103 0 0 25 0 1 0 175107182 872742912 192096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 213072 192096 170 317 0 212751 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 852288 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=497840/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=864904 CPUtime=1601.71 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 211190 0 0 0 160066 105 0 0 25 0 1 0 175107182 885661696 195889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 216226 195889 170 317 0 215905 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 864904 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=483184/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=876992 CPUtime=1661.69 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 214887 0 0 0 166062 107 0 0 25 0 1 0 175107182 898039808 199553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 219248 199553 170 317 0 218927 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 876992 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=471856/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=888536 CPUtime=1721.68 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 217796 0 0 0 172059 109 0 0 25 0 1 0 175107182 909860864 202396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 222134 202396 170 317 0 221813 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 888536 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=458864/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=898724 CPUtime=1781.65 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 220979 0 0 0 178055 110 0 0 25 0 1 0 175107182 920293376 205579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 224681 205579 170 317 0 224360 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 898724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=456048/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=901784 CPUtime=1800.06 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 221737 0 0 0 179895 111 0 0 25 0 1 0 175107182 923426816 206271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 225446 206271 170 317 0 225125 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 901784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=456048/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=901784 CPUtime=1800.15 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 221738 0 0 0 179904 111 0 0 25 0 1 0 175107182 923426816 206272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277002 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 225446 206272 170 317 0 225125 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 901784 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.91 2/78 6093 /proc/meminfo: memFree=456048/2055924 swapFree=4146716/4192956 [pid=5894] ppid=5892 vsize=0 CPUtime=1800.25 /proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194308 221754 0 0 0 179906 119 0 0 25 0 1 0 175107182 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5894/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.32 CPU user time (s): 1799.06 CPU system time (s): 1.25281 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 901784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.06 system time used= 1.25281 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221754 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= 3001 runsolver used 2.11768 second user time and 4.42133 second system time The end
Begin job on node6 on Thu Apr 19 13:51:35 UTC 2007 IDJOB= 357194 IDBENCH= 2253 IDSOLVER= 172 FILE ID= node6/357194-1176990695 PBS_JOBID= 4630457 Free space on /tmp= 66417 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= oree /tmp/evaluation/357194-1176990695/instance-357194-1176990695.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-357194-1176990695 -o ROOT/results/node6/solver-357194-1176990695 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357194-1176990695/instance-357194-1176990695.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED= 163983215 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1283152 kB Buffers: 37692 kB Cached: 669780 kB SwapCached: 13600 kB Active: 267296 kB Inactive: 462936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1283152 kB SwapTotal: 4192956 kB SwapFree: 4146716 kB Dirty: 2752 kB Writeback: 0 kB Mapped: 29824 kB Slab: 28172 kB Committed_AS: 6940772 kB PageTables: 1784 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= 66417 MiB End job on node6 on Thu Apr 19 14:21:38 UTC 2007