Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -35 | 1800.25 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
MD5SUM | aabc023158e10c9511062af8ac97c515 |
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 | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58624 |
Number of constraints which are clauses | 58624 |
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=58625 hasObjective=yes 0.69/0.73 c res. mode=mod 0.69/0.73 c VSIDS like heuristics 0.69/0.73 c complete search running 0.69/0.76 c nbDecision=29 #constraints=58625 0.69/0.76 c linear search for optimum 0.69/0.76 o -29 0.79/0.81 c nbDecision=34 #constraints=58628 0.79/0.81 o -30 1.19/1.24 c nbDecision=143 #constraints=58676 1.19/1.24 o -31 1.29/1.37 c nbDecision=179 #constraints=58690 1.29/1.37 o -32 1.49/1.58 c nbDecision=232 #constraints=58714 1.49/1.58 o -33 2.29/2.31 c restart after 401 decisions 2.99/3.01 c nbDecision=500 #constraints=58848 4.78/4.89 c restart after 801 decisions 5.99/6.05 c nbDecision=1000 #constraints=59091 8.89/8.98 c nbDecision=1500 #constraints=59328 9.69/9.72 c restart after 1601 decisions 12.79/12.87 c nbDecision=2000 #constraints=59562 16.68/16.74 c nbDecision=2500 #constraints=59813 19.98/20.07 c nbDecision=3000 #constraints=60022 21.29/21.32 c restart after 3201 decisions 26.69/26.75 c nbDecision=3500 #constraints=60257 33.88/33.94 c nbDecision=4000 #constraints=60519 40.08/40.16 c nbDecision=4500 #constraints=60737 49.67/49.74 c nbDecision=5000 #constraints=61071 60.67/60.73 c nbDecision=5500 #constraints=61408 71.88/71.92 c nbDecision=6000 #constraints=61721 83.17/83.28 c restart after 6401 decisions 89.57/89.64 c nbDecision=6500 #constraints=62075 104.67/104.70 c nbDecision=7000 #constraints=62453 122.06/122.12 c nbDecision=7500 #constraints=62821 138.36/138.48 c nbDecision=8000 #constraints=63144 157.25/157.33 c nbDecision=8500 #constraints=63525 177.55/177.63 c nbDecision=9000 #constraints=63885 194.54/194.62 c nbDecision=9500 #constraints=64201 214.03/214.10 c nbDecision=10000 #constraints=64563 235.03/235.14 c nbDecision=10500 #constraints=64922 256.63/256.71 c nbDecision=11000 #constraints=65253 276.72/276.83 c nbDecision=11500 #constraints=65575 303.52/303.61 c nbDecision=12000 #constraints=65968 331.91/332.02 c nbDecision=12500 #constraints=66393 347.10/347.24 c restart after 12801 decisions 361.40/361.55 c nbDecision=13000 #constraints=66670 378.10/378.22 c nbDecision=13500 #constraints=66873 397.69/397.85 c nbDecision=14000 #constraints=67106 407.09/407.22 c nbDecision=14238 #constraints=67205 407.09/407.22 o -34 419.88/420.09 c nbDecision=14500 #constraints=67323 432.68/432.88 c nbDecision=14762 #constraints=67461 432.68/432.88 o -35 446.78/446.95 c nbDecision=15000 #constraints=67619 480.37/480.53 c nbDecision=15500 #constraints=68018 507.26/507.41 c nbDecision=16000 #constraints=68322 532.96/533.12 c nbDecision=16500 #constraints=68612 565.25/565.46 c nbDecision=17000 #constraints=68949 592.34/592.50 c nbDecision=17500 #constraints=69191 622.81/623.02 c nbDecision=18000 #constraints=69506 657.54/657.82 c nbDecision=18500 #constraints=69831 694.61/694.94 c nbDecision=19000 #constraints=70193 720.40/720.70 c nbDecision=19500 #constraints=70438 746.29/746.61 c nbDecision=20000 #constraints=70691 774.69/775.05 c nbDecision=20500 #constraints=70959 811.58/811.94 c nbDecision=21000 #constraints=71301 846.07/846.50 c nbDecision=21500 #constraints=71572 878.56/879.00 c nbDecision=22000 #constraints=71828 923.75/924.11 c nbDecision=22500 #constraints=72218 970.04/970.48 c nbDecision=23000 #constraints=72619 997.23/997.62 c nbDecision=23500 #constraints=72841 1030.72/1031.18 c nbDecision=24000 #constraints=73103 1062.81/1063.29 c nbDecision=24500 #constraints=73349 1111.90/1112.33 c nbDecision=25000 #constraints=73724 1148.30/1148.71 c nbDecision=25500 #constraints=73984 1154.50/1154.95 c restart after 25601 decisions 1213.38/1213.87 c nbDecision=26000 #constraints=74284 1272.07/1272.56 c nbDecision=26500 #constraints=74648 1330.85/1331.39 c nbDecision=27000 #constraints=75001 1391.63/1392.20 c nbDecision=27500 #constraints=75391 1447.52/1448.03 c nbDecision=28000 #constraints=75727 1500.11/1500.64 c nbDecision=28500 #constraints=76060 1552.20/1552.72 c nbDecision=29000 #constraints=76393 1609.18/1609.72 c nbDecision=29500 #constraints=76737 1669.77/1670.37 c nbDecision=30000 #constraints=77118 1727.36/1727.95 c nbDecision=30500 #constraints=77452 1785.54/1786.13 c nbDecision=31000 #constraints=77758 1800.04/1800.61 Received signal 15 1800.04/1800.65 1800.04/1800.65 s SATISFIABLE 1800.04/1800.65 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.04/1800.65 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.04/1800.65 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.04/1800.65 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.04/1800.65 v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.04/1800.65 v -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.04/1800.65 v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.04/1800.65 v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.04/1800.65 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.04/1800.65 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 1800.04/1800.65 v x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.04/1800.65 v -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.04/1800.65 v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.04/1800.65 v x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.04/1800.65 v -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.04/1800.65 v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.04/1800.65 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.04/1800.65 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.04/1800.65 v -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.04/1800.65 v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.04/1800.65 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.04/1800.65 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.04/1800.65 v -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.04/1800.65 v -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.04/1800.65 v -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1800.65 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 1800.04/1800.65 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.04/1800.65 v -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1800.65 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.04/1800.65 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.04/1800.65 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.04/1800.65 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.04/1800.65 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.04/1800.65 v -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.04/1800.65 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 1800.04/1800.65 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.04/1800.65 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 1800.04/1800.65 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.04/1800.65 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1800.65 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.04/1800.65 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 1800.04/1800.65 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 1800.04/1800.65 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 1800.04/1800.65 v -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.04/1800.65 1800.04/1800.65 c user time= 1798.92 s 1800.04/1800.65 c system time= 1.17982 s 1800.04/1800.65 c wall clock time=1800.66
OK -35
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-357192-1176990646 -o ROOT/results/node72/solver-357192-1176990646 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357192-1176990646/instance-357192-1176990646.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: 1.00 1.00 1.00 3/77 32752 /proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=1468 CPUtime=0 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 175103052 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 367 164 130 317 0 46 0 [startup+0.059681 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32752 /proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=2824 CPUtime=0.05 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 493 0 0 0 5 0 0 0 18 0 1 0 175103052 2891776 475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135289884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 706 475 130 317 0 385 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2824 [startup+0.101685 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32752 /proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=3616 CPUtime=0.09 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 175103052 3702784 698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 904 698 130 317 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.301702 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32752 /proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=8100 CPUtime=0.29 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 1836 0 0 0 28 1 0 0 19 0 1 0 175103052 8294400 1785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 2025 1785 130 317 0 1704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8100 [startup+0.701739 s] /proc/loadavg: 1.00 1.00 1.00 3/77 32752 /proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=14852 CPUtime=0.69 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 3543 0 0 0 67 2 0 0 23 0 1 0 175103052 15208448 3492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 3713 3492 137 317 0 3392 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14852 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32753 /proc/meminfo: memFree=1751160/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=20520 CPUtime=1.49 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 5005 0 0 0 146 3 0 0 25 0 1 0 175103052 21012480 4553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714477 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 5130 4553 170 317 0 4809 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20520 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32753 /proc/meminfo: memFree=1746040/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=26556 CPUtime=3.09 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 6525 0 0 0 305 4 0 0 25 0 1 0 175103052 27193344 6073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 6639 6073 170 317 0 6318 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26556 [startup+6.30125 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32753 /proc/meminfo: memFree=1735160/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=37120 CPUtime=6.29 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 9165 0 0 0 624 5 0 0 25 0 1 0 175103052 38010880 8713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 9280 8713 170 317 0 8959 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37120 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 3/78 32753 /proc/meminfo: memFree=1715712/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=55580 CPUtime=12.69 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 13785 0 0 0 1262 7 0 0 25 0 1 0 175103052 56913920 13333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593421 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 13895 13333 170 317 0 13574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55580 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32753 /proc/meminfo: memFree=1684928/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=85016 CPUtime=25.48 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 21158 0 0 0 2538 10 0 0 25 0 1 0 175103052 87056384 20706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 21254 20706 170 317 0 20933 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85016 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32753 /proc/meminfo: memFree=1644096/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=130240 CPUtime=51.08 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 31441 0 0 0 5092 16 0 0 25 0 1 0 175103052 133365760 30989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 32560 30989 170 317 0 32239 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 130240 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32753 /proc/meminfo: memFree=1595264/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=174424 CPUtime=102.27 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 43447 0 0 0 10205 22 0 0 25 0 1 0 175103052 178610176 42995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 43606 42995 170 317 0 43285 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 174424 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/78 32753 /proc/meminfo: memFree=1535936/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=244084 CPUtime=162.25 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 58356 0 0 0 16195 30 0 0 25 0 1 0 175103052 249942016 57904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 61021 57904 170 317 0 60700 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 244084 [startup+222.302 s] /proc/loadavg: 1.10 1.04 1.01 2/78 32753 /proc/meminfo: memFree=1493888/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=282292 CPUtime=222.24 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 68731 0 0 0 22186 38 0 0 25 0 1 0 175103052 289067008 68279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 70573 68279 170 317 0 70252 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 282292 [startup+282.301 s] /proc/loadavg: 1.07 1.04 1.01 2/78 32753 /proc/meminfo: memFree=1457920/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=314844 CPUtime=282.22 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 77823 0 0 0 28180 42 0 0 25 0 1 0 175103052 322400256 77306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 78711 77306 170 317 0 78390 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 314844 [startup+342.302 s] /proc/loadavg: 1.02 1.03 1.00 2/78 32753 /proc/meminfo: memFree=1425152/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=344840 CPUtime=342.21 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 85915 0 0 0 34174 47 0 0 25 0 1 0 175103052 353116160 85398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 86210 85398 170 317 0 85889 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 344840 [startup+402.301 s] /proc/loadavg: 1.06 1.04 1.00 2/78 32753 /proc/meminfo: memFree=1377408/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=420224 CPUtime=402.19 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 97867 0 0 0 40167 52 0 0 25 0 1 0 175103052 430309376 97350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 105056 97350 170 317 0 104735 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 420224 [startup+462.302 s] /proc/loadavg: 1.02 1.03 1.00 2/78 32753 /proc/meminfo: memFree=1353088/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=444504 CPUtime=462.18 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 103918 0 0 0 46163 55 0 0 25 0 1 0 175103052 455172096 103401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 111126 103401 170 317 0 110805 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 444504 [startup+522.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 32753 /proc/meminfo: memFree=1325952/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=468968 CPUtime=522.16 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 110726 0 0 0 52158 58 0 0 25 0 1 0 175103052 480223232 110209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 117242 110209 170 317 0 116921 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 468968 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 32753 /proc/meminfo: memFree=1303104/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=490412 CPUtime=582.15 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 116364 0 0 0 58153 62 0 0 25 0 1 0 175103052 502181888 115847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 122603 115847 170 317 0 122282 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 490412 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/84 441 /proc/meminfo: memFree=1278968/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=511452 CPUtime=642.05 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 122019 0 0 0 64140 65 0 0 25 0 1 0 175103052 523726848 121502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 127863 121502 170 317 0 127542 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 511452 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.03 1.01 1.00 2/78 487 /proc/meminfo: memFree=1198464/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=585932 CPUtime=881.97 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 142443 0 0 0 88121 76 0 0 25 0 1 0 175103052 599994368 141926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 146483 141926 170 317 0 146162 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 585932 [startup+942.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 487 /proc/meminfo: memFree=1179072/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=603452 CPUtime=941.95 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 147317 0 0 0 94117 78 0 0 25 0 1 0 175103052 617934848 146800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 150863 146800 170 317 0 150542 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 603452 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1159808/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=620696 CPUtime=1001.93 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 152110 0 0 0 100113 80 0 0 25 0 1 0 175103052 635592704 151593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 155174 151593 170 317 0 154853 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 620696 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1142400/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=636276 CPUtime=1061.91 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 156522 0 0 0 106108 83 0 0 25 0 1 0 175103052 651546624 156005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 159069 156005 170 317 0 158748 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 636276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1124608/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=651904 CPUtime=1121.91 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 160900 0 0 0 112105 86 0 0 25 0 1 0 175103052 667549696 160383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 162976 160383 170 317 0 162655 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 651904 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1113088/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=661772 CPUtime=1181.89 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 163802 0 0 0 118101 88 0 0 25 0 1 0 175103052 677654528 163285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 165443 163285 170 317 0 165122 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 661772 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1099776/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=674596 CPUtime=1241.88 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 167083 0 0 0 124097 91 0 0 25 0 1 0 175103052 690786304 166566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 168649 166566 170 317 0 168328 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 674596 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1085440/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=687040 CPUtime=1301.86 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 170653 0 0 0 130092 94 0 0 25 0 1 0 175103052 703528960 170136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 171760 170136 170 317 0 171439 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 687040 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1047168/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=802812 CPUtime=1361.85 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 193922 0 0 0 136083 102 0 0 25 0 1 0 175103052 822079488 179644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 200703 179644 170 317 0 200382 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 802812 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1031680/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=816756 CPUtime=1421.83 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 197996 0 0 0 142080 103 0 0 25 0 1 0 175103052 836358144 183454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 204189 183454 170 317 0 203868 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 816756 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1018560/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=831344 CPUtime=1481.82 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 201702 0 0 0 148077 105 0 0 25 0 1 0 175103052 851296256 186764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 207836 186764 170 317 0 207515 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 831344 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=1002624/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=845256 CPUtime=1541.8 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 205868 0 0 0 154072 108 0 0 25 0 1 0 175103052 865542144 190699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 211314 190699 170 317 0 210993 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 845256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=987776/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=858284 CPUtime=1601.78 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 209804 0 0 0 160068 110 0 0 25 0 1 0 175103052 878882816 194470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 214571 194470 170 317 0 214250 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 858284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=972288/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=872036 CPUtime=1661.77 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 213893 0 0 0 166064 113 0 0 25 0 1 0 175103052 892964864 198328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 218009 198328 170 317 0 217688 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 872036 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=960064/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=885296 CPUtime=1721.76 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 217198 0 0 0 172061 115 0 0 25 0 1 0 175103052 906543104 201402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 221324 201402 170 317 0 221003 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 885296 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=946432/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=896956 CPUtime=1781.74 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 220733 0 0 0 178057 117 0 0 25 0 1 0 175103052 918482944 204772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 224239 204772 170 317 0 223918 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 896956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 487 /proc/meminfo: memFree=942720/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=900788 CPUtime=1800.04 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 221691 0 0 0 179887 117 0 0 25 0 1 0 175103052 922406912 205664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 225197 205664 170 317 0 224876 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 900788 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 487 /proc/meminfo: memFree=942720/2055920 swapFree=4157116/4192956 [pid=32752] ppid=32750 vsize=0 CPUtime=1800.24 /proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194308 221707 0 0 0 179894 130 0 0 25 0 1 0 175103052 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32752/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.25 CPU user time (s): 1798.94 CPU system time (s): 1.3138 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 900788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.3138 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221707 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= 2603 runsolver used 1.9997 second user time and 4.56031 second system time The end
Begin job on node72 on Thu Apr 19 13:50:46 UTC 2007 IDJOB= 357192 IDBENCH= 2251 IDSOLVER= 172 FILE ID= node72/357192-1176990646 PBS_JOBID= 4630418 Free space on /tmp= 66405 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-2.opb COMMAND LINE= oree /tmp/evaluation/357192-1176990646/instance-357192-1176990646.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-357192-1176990646 -o ROOT/results/node72/solver-357192-1176990646 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357192-1176990646/instance-357192-1176990646.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= aabc023158e10c9511062af8ac97c515 RANDOM SEED= 77070053 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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.222 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: 1767576 kB Buffers: 29956 kB Cached: 183788 kB SwapCached: 16912 kB Active: 86748 kB Inactive: 150980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767576 kB SwapTotal: 4192956 kB SwapFree: 4157116 kB Dirty: 2788 kB Writeback: 0 kB Mapped: 30976 kB Slab: 36136 kB Committed_AS: 2770784 kB PageTables: 1796 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= 66405 MiB End job on node72 on Thu Apr 19 14:20:49 UTC 2007