Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -36 | 1800.02 | 1800.61 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Time Limit set to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb 0.00/0.02 c File size is 1400677 bytes. 0.17/0.24 c Highest Coefficient sum: 945 0.17/0.24 c Parsing was ok!! 0.17/0.24 c Total parsing time: 0.217 s 0.17/0.26 c Var: 945 Constr: 58624 58624/0/0 Lit: 117248 Watch. Lit: 117248 0.17/0.26 c Obj. Vars: 945 (100 % of total variables) 1.36/1.45 c Pre-processing Time: 1.426 s 1.36/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.36/1.45 c 0 945 58624 117248 2 117248 19541 0 0 1.43 1.36/1.45 c Switching off LPR mode. 1.36/1.46 o -31 1.435 1.46/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.46/1.51 c 0 945 58625 118193 2 117281 20541 1 0 1.44 1.46/1.51 c 101 945 58726 210147 3 117483 22596 102 68 1.49 1.46/1.51 o -32 1.488 1.46/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.46/1.53 c 104 945 58730 213823 3 117523 20541 106 69 1.49 1.46/1.53 o -33 1.51 15.16/15.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.16/15.23 c 142 945 58769 249351 4 117634 20541 145 93 1.51 15.16/15.23 c 242 945 58869 340195 5 117834 22596 245 154 1.56 15.16/15.23 c 492 945 59119 567114 9 118334 24856 495 287 1.71 15.16/15.23 c 967 945 59594 998812 16 119284 27342 970 476 2.03 15.16/15.23 c 1781 945 60408 1738506 28 120912 30077 1784 663 2.68 15.16/15.23 c 3101 945 61728 2937313 47 123552 33085 3104 744 4.17 15.16/15.23 c 5183 945 63810 4827796 75 127716 36394 5186 737 7.03 15.16/15.23 c 8406 945 67033 7754372 115 134162 40034 8409 568 14.79 15.16/15.23 o -34 15.203 19.26/19.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.26/19.39 c 8952 945 67580 8251493 122 135290 20541 8956 588 15.21 19.26/19.39 c 9053 945 67681 8343154 123 135492 22596 9057 591 15.30 19.26/19.39 c 9304 945 67932 8570972 126 135994 24856 9308 600 15.48 19.26/19.39 c 9780 945 68408 9002872 131 136946 27342 9784 601 16.25 19.26/19.39 c 10593 945 69221 9740400 140 138572 30077 10597 602 17.59 19.26/19.39 c 11914 945 70542 10937466 155 141214 33085 11918 618 19.25 19.26/19.39 o -35 19.36 21.66/21.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.66/21.78 c 12012 945 70641 11027360 156 141447 20541 12017 620 19.36 21.66/21.78 c 12112 945 70741 11117992 157 141647 22596 12117 621 19.50 21.66/21.78 c 12362 945 70991 11344353 159 142147 24856 12367 626 19.74 21.66/21.78 c 12838 945 71467 11775950 164 143099 27342 12843 624 20.57 21.66/21.78 c 13653 945 72282 12513933 173 144729 30077 13658 630 21.66 21.66/21.78 o -36 21.754 1799.93/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.47 c 13716 945 72346 12571977 173 144893 20541 13722 630 21.76 1799.93/1800.47 c 13816 945 72446 12662560 174 145093 22596 13822 631 21.87 1799.93/1800.47 c 14066 945 72696 12888823 177 145593 24856 14072 617 22.79 1799.93/1800.47 c 14541 945 73171 13318497 182 146543 27342 14547 606 23.98 1799.93/1800.47 c 15354 945 73984 14054095 189 148169 30077 15360 620 24.73 1799.93/1800.47 c 16674 945 75304 15248600 202 150809 33085 16680 631 26.41 1799.93/1800.47 c 18755 945 77385 17132041 221 154971 36394 18761 448 41.80 1799.93/1800.47 c 21978 945 80608 20046807 248 161417 40034 21984 451 48.64 1799.93/1800.47 c 26914 945 85544 24515742 286 171289 44038 26920 375 71.60 1799.93/1800.47 c 34421 945 93051 31301629 336 186303 48442 34427 366 94.03 1799.93/1800.47 c 45782 945 104412 41578199 398 209025 53287 45788 323 141.57 1799.93/1800.47 c 62926 945 79119 18652209 235 158274 58616 20495 194 323.03 1799.93/1800.47 c 88745 945 104938 42017560 400 209912 64478 46314 178 497.94 1799.93/1800.47 c 127579 945 90419 28874994 319 180874 70926 31795 168 757.77 1799.93/1800.47 c 185933 945 89031 27640115 310 178098 78019 30407 118 1567.92 1799.93/1800.47 c Resources Exceeded 1799.93/1800.47 v -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1799.93/1800.47 v -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1799.93/1800.47 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 1799.93/1800.47 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1799.93/1800.47 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 1799.93/1800.47 v -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1799.93/1800.47 v -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1799.93/1800.47 v -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1799.93/1800.47 v -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1799.93/1800.47 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1799.93/1800.47 v -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1799.93/1800.47 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1799.93/1800.47 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 1799.93/1800.47 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1799.93/1800.47 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1799.93/1800.47 v -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1799.93/1800.47 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1799.93/1800.47 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1799.93/1800.47 v -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1799.93/1800.47 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 1799.93/1800.47 v -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1799.93/1800.47 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1799.93/1800.47 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1799.93/1800.47 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1799.93/1800.47 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1799.93/1800.47 v -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1799.93/1800.47 v -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1799.93/1800.47 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1799.93/1800.47 v -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1799.93/1800.47 v -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1799.93/1800.47 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1799.93/1800.47 v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1799.93/1800.47 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 1799.93/1800.47 v -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1799.93/1800.47 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1799.93/1800.47 v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1799.93/1800.47 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1799.93/1800.47 v -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1799.93/1800.47 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1799.93/1800.47 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 1799.93/1800.47 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1799.93/1800.47 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1799.93/1800.47 v -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1799.93/1800.47 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1799.93/1800.47 v -x1 1799.93/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.47 c 37 204748 18654 228167 107846 44659732 49222 113 1800.01 1799.93/1800.47 c Objective: -36 1799.93/1800.47 s SATISFIABLE 1799.93/1800.47 c Total time: 1800.01 s
OK -36
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-353553-1176669071 -o ROOT/results/node34/solver-353553-1176669071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.02 1.00 3/77 22071 /proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=1408 CPUtime=0 /proc/22071/stat : 22071 (bsolo3.0.16) D 22069 22071 21719 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 114822499 1441792 25 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7721764 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/22071/statm: 352 25 20 324 0 2 0 [startup+0.0909431 s] /proc/loadavg: 1.04 1.02 1.00 3/77 22071 /proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=7084 CPUtime=0.06 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 920 0 0 0 6 0 0 0 18 0 1 0 114822499 7254016 888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22071/statm: 1771 888 385 324 0 498 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7084 [startup+0.101939 s] /proc/loadavg: 1.04 1.02 1.00 3/77 22071 /proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=7360 CPUtime=0.07 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 1008 0 0 0 7 0 0 0 18 0 1 0 114822499 7536640 976 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8187519 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22071/statm: 1840 976 402 324 0 567 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7360 [startup+0.301959 s] /proc/loadavg: 1.04 1.02 1.00 3/77 22071 /proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=12608 CPUtime=0.26 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 2883 0 0 0 26 0 0 0 19 0 1 0 114822499 12910592 2509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22071/statm: 3152 2509 305 324 0 2221 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 12608 [startup+0.701995 s] /proc/loadavg: 1.04 1.02 1.00 3/77 22071 /proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=14456 CPUtime=0.67 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 3359 0 0 0 64 3 0 0 23 0 1 0 114822499 14802944 2985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134545413 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22071/statm: 3614 2985 307 324 0 2683 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 14456 [startup+1.50105 s] /proc/loadavg: 1.04 1.02 1.00 2/78 22072 /proc/meminfo: memFree=1617400/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=13416 CPUtime=1.46 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 3973 0 0 0 141 5 0 0 25 0 1 0 114822499 13737984 2742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 3354 2742 312 324 0 2423 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 13416 [startup+3.10118 s] /proc/loadavg: 1.04 1.02 1.00 2/78 22072 /proc/meminfo: memFree=1607096/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=38540 CPUtime=3.06 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 10260 0 0 0 299 7 0 0 25 0 1 0 114822499 39464960 9029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 9635 9029 312 324 0 8704 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 38540 [startup+6.30143 s] /proc/loadavg: 1.04 1.02 1.00 2/78 22072 /proc/meminfo: memFree=1569080/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=68644 CPUtime=6.26 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 17782 0 0 0 615 11 0 0 25 0 1 0 114822499 70291456 16551 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 17161 16551 312 324 0 16230 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 68644 [startup+12.7019 s] /proc/loadavg: 1.04 1.02 1.00 3/78 22072 /proc/meminfo: memFree=1531328/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=102968 CPUtime=12.67 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 26352 0 0 0 1251 16 0 0 25 0 1 0 114822499 105439232 25121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 25742 25121 312 324 0 24811 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 102968 [startup+25.5019 s] /proc/loadavg: 1.03 1.02 1.00 2/78 22072 /proc/meminfo: memFree=1435520/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=199188 CPUtime=25.46 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 50422 0 0 0 2522 24 0 0 25 0 1 0 114822499 203968512 49191 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 49797 49191 312 324 0 48866 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 199188 [startup+51.102 s] /proc/loadavg: 1.02 1.02 1.00 2/78 22072 /proc/meminfo: memFree=1356928/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=275744 CPUtime=51.05 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 69549 0 0 0 5071 34 0 0 25 0 1 0 114822499 282361856 68318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 68936 68318 312 324 0 68005 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 275744 [startup+102.305 s] /proc/loadavg: 1.00 1.01 1.00 2/78 22072 /proc/meminfo: memFree=1174592/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=456868 CPUtime=102.24 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 114818 0 0 0 10169 55 0 0 25 0 1 0 114822499 467832832 113587 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 114217 113587 312 324 0 113286 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 456868 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 22072 /proc/meminfo: memFree=1023424/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=608272 CPUtime=162.23 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 152672 0 0 0 16143 80 0 0 25 0 1 0 114822499 622870528 151441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 152068 151441 312 324 0 151137 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 608272 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22072 /proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=641824 CPUtime=222.21 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 22134 87 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 160456 159835 312 324 0 159525 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 641824 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22072 /proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=641824 CPUtime=282.2 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 28132 88 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 160456 159835 312 324 0 159525 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 641824 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22072 /proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=641824 CPUtime=342.19 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 34129 90 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 160456 159835 312 324 0 159525 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 641824 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=641824 CPUtime=402.17 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 40124 93 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 160456 159835 312 324 0 159525 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 641824 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=988672/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=641824 CPUtime=462.16 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 46121 95 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 160456 159835 312 324 0 159525 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 641824 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=966592/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=666192 CPUtime=522.14 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 167200 0 0 0 52113 101 0 0 25 0 1 0 114822499 682180608 165916 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 166548 165916 312 324 0 165617 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 666192 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=873024/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=757772 CPUtime=582.13 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 190108 0 0 0 58098 115 0 0 25 0 1 0 114822499 775958528 188824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 189443 188824 312 324 0 188512 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 757772 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=859008/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=771168 CPUtime=642.12 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 193525 0 0 0 64093 119 0 0 25 0 1 0 114822499 789676032 192177 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 192792 192177 312 324 0 191861 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 771168 ################ # More data... # ################ Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 771168 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=859328/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=771168 CPUtime=1181.99 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 193525 0 0 0 118066 133 0 0 25 0 1 0 114822499 789676032 192177 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 192792 192177 312 324 0 191861 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 771168 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=845376/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=785716 CPUtime=1241.97 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 197142 0 0 0 124060 137 0 0 25 0 1 0 114822499 804573184 195794 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 196429 195794 312 324 0 195498 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 785716 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=802304/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=828360 CPUtime=1301.96 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 207806 0 0 0 130053 143 0 0 25 0 1 0 114822499 848240640 206458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 207090 206458 312 324 0 206159 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 828360 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784384/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1361.95 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 136048 147 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 845980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784384/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1421.94 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 142045 149 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 845980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784448/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1481.92 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 148042 150 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 845980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784448/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1541.91 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 154039 152 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 845980 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784512/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1601.89 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 160036 153 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 845980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784512/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1661.88 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 166033 155 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 845980 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784512/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1721.86 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 172029 157 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 845980 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22074 /proc/meminfo: memFree=784576/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=845980 CPUtime=1781.85 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 178026 159 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 211495 210883 312 324 0 210564 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 845980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/84 22148 /proc/meminfo: memFree=953096/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=0 CPUtime=1800.02 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194308 212303 0 0 0 179839 163 0 0 17 0 1 0 114822499 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/84 22148 /proc/meminfo: memFree=953096/2055920 swapFree=4161580/4192956 [pid=22071] ppid=22069 vsize=0 CPUtime=1800.02 /proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194308 212303 0 0 0 179839 163 0 0 17 0 1 0 114822499 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22071/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1800.02 s) to the 'lost time'. [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/85 22149 /proc/meminfo: memFree=1618240/2055920 swapFree=4161580/4192956 [pid=22071] ppid=-1 vsize=0 CPUtime=0 /proc/22071/stat : ÿÿÿÿÿÿÿÿ/proc/22071/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/85 22149 /proc/meminfo: memFree=1618240/2055920 swapFree=4161580/4192956 [pid=22071] ppid=-1 vsize=0 CPUtime=0 /proc/22071/stat : ÿÿÿÿÿÿÿÿ/proc/22071/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22071 and gives # childrusage.ru_utime.tv_sec=1798 # childrusage.ru_utime.tv_usec=399601 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=742735 # CPU time returned by wait4() is 1800.14 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.02 # lost CPU user time (s): 1798.39 # lost CPU system time (s): 1.63 Real time (s): 1800.61 CPU time (s): 1800.02 CPU user time (s): 1798.39 CPU system time (s): 1.63 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 846264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.4 system time used= 1.74273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 212303 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 2733 runsolver used 2.15067 second user time and 4.39033 second system time The end
Begin job on node34 on Sun Apr 15 20:31:11 UTC 2007 IDJOB= 353553 IDBENCH= 2251 IDSOLVER= 163 FILE ID= node34/353553-1176669071 PBS_JOBID= 4559947 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-353553-1176669071 -o ROOT/results/node34/solver-353553-1176669071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= aabc023158e10c9511062af8ac97c515 RANDOM SEED= 317957096 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1628696 kB Buffers: 32432 kB Cached: 198780 kB SwapCached: 2232 kB Active: 220548 kB Inactive: 145656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1628696 kB SwapTotal: 4192956 kB SwapFree: 4161580 kB Dirty: 5856 kB Writeback: 0 kB Mapped: 149944 kB Slab: 46284 kB Committed_AS: 426176 kB PageTables: 1976 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= 66558 MiB End job on node34 on Sun Apr 15 21:01:13 UTC 2007