Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -35 | 1800.14 | 1800.96 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | 05ceccb8ea9c274c844c39df1472d3cc |
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 | 59186 |
Number of constraints which are clauses | 59186 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/353566-1176669540/instance-353566-1176669540.opb 0.00/0.01 c File size is 1415680 bytes. 0.19/0.24 c Highest Coefficient sum: 945 0.19/0.24 c Parsing was ok!! 0.19/0.24 c Total parsing time: 0.233 s 0.19/0.26 c Var: 945 Constr: 59186 59186/0/0 Lit: 118372 Watch. Lit: 118372 0.19/0.26 c Obj. Vars: 945 (100 % of total variables) 1.49/1.58 c Pre-processing Time: 1.574 s 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 945 59186 118372 2 118372 19728 0 0 1.57 1.49/1.58 c Switching off LPR mode. 1.49/1.59 o -31 1.583 1.58/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.60 c 0 945 59187 119317 2 118405 20728 1 0 1.59 1.58/1.60 o -32 1.592 1.58/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.60 c 12 945 59200 131198 2 118463 20728 14 7 1.59 1.58/1.60 o -34 1.597 1.99/2.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.03 c 12 945 59201 132143 2 118499 20728 15 7 1.60 1.99/2.03 c 115 945 59304 225660 3 118705 22801 118 69 1.66 1.99/2.03 c 366 945 59555 453490 7 119207 25082 369 204 1.79 1.99/2.03 o -35 2.019 1799.97/1800.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.73 c 719 945 59909 774838 12 119950 20728 723 355 2.02 1799.97/1800.73 c 819 945 60009 865261 14 120150 22801 823 393 2.08 1799.97/1800.73 c 1069 945 60259 1091696 18 120650 25082 1073 478 2.23 1799.97/1800.73 c 1544 945 60734 1522173 25 121600 27591 1548 608 2.54 1799.97/1800.73 c 2358 945 61548 2259698 36 123228 30351 2362 714 3.30 1799.97/1800.73 c 3678 945 62868 3455026 54 125868 33387 3682 847 4.34 1799.97/1800.73 c 5759 945 64949 5341755 82 130030 36726 5763 872 6.60 1799.97/1800.73 c 8982 945 68172 8262352 121 136476 40399 8986 790 11.36 1799.97/1800.73 c 13918 945 73108 12734542 174 146348 44439 13922 561 24.79 1799.97/1800.73 c 21424 945 80614 19535503 242 161360 48883 21428 346 61.79 1799.97/1800.73 c 32786 945 91976 29824210 324 184084 53772 32790 328 99.72 1799.97/1800.73 c 49930 945 109120 45347684 415 218372 59150 49934 227 219.93 1799.97/1800.73 c 75749 945 86753 25095749 289 173541 65066 27567 136 553.24 1799.97/1800.73 c 114581 945 71563 11326690 158 143161 71573 12377 136 836.68 1799.97/1800.73 c Resources Exceeded 1799.97/1800.73 v -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1799.97/1800.73 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1799.97/1800.73 v -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1799.97/1800.73 v -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1799.97/1800.73 v -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1799.97/1800.73 v -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1799.97/1800.73 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 1799.97/1800.73 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 1799.97/1800.73 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 1799.97/1800.73 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1799.97/1800.73 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 1799.97/1800.73 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1799.97/1800.73 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 1799.97/1800.73 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1799.97/1800.73 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 1799.97/1800.73 v -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1799.97/1800.73 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1799.97/1800.73 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1799.97/1800.73 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1799.97/1800.73 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1799.97/1800.73 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1799.97/1800.73 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1799.97/1800.73 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1799.97/1800.73 v -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1799.97/1800.73 v -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1799.97/1800.73 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 1799.97/1800.73 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 1799.97/1800.73 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 1799.97/1800.73 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1799.97/1800.73 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 1799.97/1800.73 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1799.97/1800.73 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 1799.97/1800.73 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1799.97/1800.73 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1799.97/1800.73 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1799.97/1800.73 v -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1799.97/1800.73 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1799.97/1800.73 v -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1799.97/1800.73 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1799.97/1800.73 v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1799.97/1800.73 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.97/1800.73 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.97/1800.73 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.97/1800.73 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.97/1800.73 v -x1 1799.97/1800.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.74 c 19 160097 15294 179243 117079 52544159 57893 88 1800.02 1799.97/1800.74 c Objective: -35 1799.97/1800.74 s SATISFIABLE 1799.97/1800.74 c Total time: 1800.02 s
OK -35
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-353566-1176669540 -o ROOT/results/node37/solver-353566-1176669540 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353566-1176669540/instance-353566-1176669540.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.00 1.03 1.00 3/78 2905 /proc/meminfo: memFree=1816264/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=3780 CPUtime=0 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 114866508 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 0 0 0 17 1 0 0 /proc/2905/statm: 945 155 129 324 0 14 0 [startup+0.0291431 s] /proc/loadavg: 1.00 1.03 1.00 3/78 2905 /proc/meminfo: memFree=1816264/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=5860 CPUtime=0.02 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 511 0 3 0 2 0 0 0 18 0 1 0 114866508 6000640 482 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134528225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 1465 482 308 324 0 188 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5860 [startup+0.102157 s] /proc/loadavg: 1.00 1.03 1.00 3/78 2905 /proc/meminfo: memFree=1816264/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=7648 CPUtime=0.09 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 1078 0 3 0 9 0 0 0 18 0 1 0 114866508 7831552 1049 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 1912 1049 416 324 0 635 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7648 [startup+0.301195 s] /proc/loadavg: 1.00 1.03 1.00 3/78 2905 /proc/meminfo: memFree=1816264/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=12608 CPUtime=0.28 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 2903 0 3 0 27 1 0 0 19 0 1 0 114866508 12910592 2528 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 3152 2528 305 324 0 2221 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12608 [startup+0.702269 s] /proc/loadavg: 1.00 1.03 1.00 3/78 2905 /proc/meminfo: memFree=1816264/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=14596 CPUtime=0.68 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 3384 0 3 0 66 2 0 0 23 0 1 0 114866508 14946304 3009 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 3649 3009 307 324 0 2718 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14596 [startup+1.50142 s] /proc/loadavg: 1.00 1.03 1.00 2/79 2906 /proc/meminfo: memFree=1804736/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=14596 CPUtime=1.49 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 3384 0 3 0 143 6 0 0 25 0 1 0 114866508 14946304 3009 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 3649 3009 307 324 0 2718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14596 [startup+3.10172 s] /proc/loadavg: 1.00 1.03 1.00 2/79 2906 /proc/meminfo: memFree=1796736/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=38176 CPUtime=3.09 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 10163 0 3 0 300 9 0 0 25 0 1 0 114866508 39092224 8919 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 9544 8919 312 324 0 8613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38176 [startup+6.30132 s] /proc/loadavg: 1.00 1.03 1.00 2/79 2906 /proc/meminfo: memFree=1749568/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=77292 CPUtime=6.28 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 19934 0 3 0 615 13 0 0 25 0 1 0 114866508 79147008 18690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3598165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 19323 18690 312 324 0 18392 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 77292 [startup+12.7015 s] /proc/loadavg: 1.00 1.02 1.00 2/79 2906 /proc/meminfo: memFree=1697920/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=123176 CPUtime=12.68 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 31402 0 3 0 1249 19 0 0 25 0 1 0 114866508 126132224 30158 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 30794 30158 312 324 0 29863 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 123176 [startup+25.5019 s] /proc/loadavg: 1.00 1.02 1.00 2/79 2906 /proc/meminfo: memFree=1639296/2055920 swapFree=4047928/4192956 [pid=2905] ppid=2903 vsize=182608 CPUtime=25.48 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 46271 0 3 0 2522 26 0 0 25 0 1 0 114866508 186990592 45027 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 45652 45027 312 324 0 44721 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 182608 [startup+51.1018 s] /proc/loadavg: 1.00 1.02 1.00 2/79 2906 /proc/meminfo: memFree=1572480/2055920 swapFree=4047992/4192956 [pid=2905] ppid=2903 vsize=247524 CPUtime=51.06 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 62515 0 3 0 5069 37 0 0 25 0 1 0 114866508 253464576 61271 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 61881 61271 312 324 0 60950 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 247524 [startup+102.306 s] /proc/loadavg: 1.00 1.02 1.00 2/79 2906 /proc/meminfo: memFree=1408384/2055920 swapFree=4047992/4192956 [pid=2905] ppid=2903 vsize=410508 CPUtime=102.25 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 103246 0 3 0 10163 62 0 0 25 0 1 0 114866508 420360192 102002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 102627 102002 312 324 0 101696 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 410508 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/79 2906 /proc/meminfo: memFree=1289984/2055920 swapFree=4047992/4192956 [pid=2905] ppid=2903 vsize=528904 CPUtime=162.23 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 132856 0 3 0 16144 79 0 0 25 0 1 0 114866508 541597696 131612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 132226 131612 312 324 0 131295 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 528904 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1217728/2055920 swapFree=4048056/4192956 [pid=2905] ppid=2903 vsize=601060 CPUtime=222.2 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 150890 0 3 0 22128 92 0 0 25 0 1 0 114866508 615485440 149646 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 150265 149646 312 324 0 149334 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 601060 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107264/2055920 swapFree=4048056/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=282.19 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 28110 109 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 710476 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107264/2055920 swapFree=4048120/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=342.16 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 34107 109 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3600735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 710476 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107264/2055920 swapFree=4048120/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=402.14 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 40104 110 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 710476 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107200/2055920 swapFree=4048120/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=462.12 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 46101 111 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 710476 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107200/2055920 swapFree=4048184/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=522.1 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 52097 113 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 710476 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107264/2055920 swapFree=4048184/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=582.08 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 58093 115 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 710476 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1107264/2055920 swapFree=4048248/4192956 [pid=2905] ppid=2903 vsize=710476 CPUtime=642.06 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 178288 0 3 0 64089 117 0 0 25 0 1 0 114866508 727527424 176985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 177619 176985 312 324 0 176688 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 710476 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1038144/2055920 swapFree=4048316/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=881.98 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 88065 133 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 779196 [startup+942.302 s] /proc/loadavg: 1.07 1.02 1.00 2/79 2906 /proc/meminfo: memFree=1038208/2055920 swapFree=4048380/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=941.96 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 94061 135 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 779196 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/79 2906 /proc/meminfo: memFree=1038208/2055920 swapFree=4048380/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1001.93 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 100057 136 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3600116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 779196 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1038208/2055920 swapFree=4048380/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1061.92 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 106054 138 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 779196 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1038208/2055920 swapFree=4048444/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1121.89 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 112051 138 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 779196 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1038208/2055920 swapFree=4048444/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1181.87 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 118048 139 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 779196 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1038208/2055920 swapFree=4048508/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1241.85 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 124045 140 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 779196 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2906 /proc/meminfo: memFree=1038144/2055920 swapFree=4048508/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1301.84 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 130043 141 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 779196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/85 3074 /proc/meminfo: memFree=1036864/2055920 swapFree=4048572/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1361.74 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 136032 142 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 779196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1037888/2055920 swapFree=4048572/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1421.7 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 142027 143 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 779196 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1037888/2055920 swapFree=4048572/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1481.68 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 148024 144 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3600116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 779196 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1037888/2055920 swapFree=4048636/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1541.66 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 154021 145 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 779196 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1037888/2055920 swapFree=4048636/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1601.64 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 160018 146 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 779196 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1038016/2055920 swapFree=4048700/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1661.63 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 166016 147 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 779196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1038016/2055920 swapFree=4048700/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1721.6 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 172013 147 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 779196 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1038016/2055920 swapFree=4048700/4192956 [pid=2905] ppid=2903 vsize=779196 CPUtime=1781.58 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194304 195554 0 3 0 178010 148 0 0 25 0 1 0 114866508 797896704 194186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 194799 194186 312 324 0 193868 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 779196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1445440/2055920 swapFree=4048764/4192956 [pid=2905] ppid=2903 vsize=0 CPUtime=1800.08 /proc/2905/stat : 2905 (bsolo3.0.16) R 2903 2905 2447 0 -1 4194308 195555 0 3 0 179853 155 0 0 17 0 1 0 114866508 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2905/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/79 3104 /proc/meminfo: memFree=1445440/2055920 swapFree=4048764/4192956 [pid=2905] ppid=2903 vsize=0 CPUtime=1800.13 /proc/2905/stat : 2905 (bsolo3.0.16) D 2903 2905 2447 0 -1 4194308 195555 0 3 0 179853 160 0 0 15 0 1 0 114866508 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/2905/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.14 CPU user time (s): 1798.53 CPU system time (s): 1.60976 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (KiB): 779456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.53 system time used= 1.60975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 195555 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 28472 runsolver used 1.70374 second user time and 4.86126 second system time The end
Begin job on node37 on Sun Apr 15 20:39:01 UTC 2007 IDJOB= 353566 IDBENCH= 2252 IDSOLVER= 163 FILE ID= node37/353566-1176669540 PBS_JOBID= 4559918 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-1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353566-1176669540/instance-353566-1176669540.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-353566-1176669540 -o ROOT/results/node37/solver-353566-1176669540 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353566-1176669540/instance-353566-1176669540.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED= 668831945 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1816672 kB Buffers: 31972 kB Cached: 117032 kB SwapCached: 2772 kB Active: 94936 kB Inactive: 80132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816672 kB SwapTotal: 4192956 kB SwapFree: 4047928 kB Dirty: 5868 kB Writeback: 0 kB Mapped: 33544 kB Slab: 49524 kB Committed_AS: 1117000 kB PageTables: 2000 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 node37 on Sun Apr 15 21:09:03 UTC 2007