Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -118 | 1800.11 | 1800.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -124 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -124 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1000 |
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 | 1000 |
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 | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31592 |
Sum of products size (including duplicates) | 63184 |
Number of different products | 15796 |
Sum of products size | 31592 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454140-1178021964/instance-454140-1178021964.opb 0.00/0.00 c File size is 416286 bytes. 0.09/0.19 c Highest Coefficient sum: 1000 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.187 s 0.19/0.24 c Var: 32592 Constr: 65184 32592/1000/31592 Lit: 252736 Watch. Lit: 189552 0.19/0.24 c Obj. Vars: 1000 (3.06824 % of total variables) 1.29/1.32 c Pre-processing Time: 1.315 s 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 1000 15796 47388 3 31592 5265 0 0 1.31 1.29/1.32 c Switching off LPR mode. 1.29/1.32 o -117 1.322 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 0 1000 15797 48388 3 31711 6265 1 0 1.32 1.29/1.33 o -118 1.327 1799.94/1800.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.45 c 1 1000 15799 50269 3 31833 6265 3 0 1.33 1799.94/1800.45 c 101 1000 15899 138188 8 32033 6892 103 72 1.39 1799.94/1800.45 c 352 1000 16150 358794 22 32535 7582 354 230 1.53 1799.94/1800.45 c 828 1000 16626 777082 46 33487 8341 830 450 1.84 1799.94/1800.45 c 1641 1000 17439 1491852 85 35113 9176 1643 670 2.45 1799.94/1800.45 c 2961 1000 18759 2651952 141 37753 10094 2963 870 3.40 1799.94/1800.45 c 5043 1000 20841 4483068 215 41917 11104 5045 1008 5.00 1799.94/1800.45 c 8267 1000 24065 7317594 304 48365 12215 8269 851 9.71 1799.94/1800.45 c 13203 1000 29001 11656782 401 58237 13437 13205 834 15.81 1799.94/1800.45 c 20711 1000 36509 18258160 500 73253 14781 20713 818 25.30 1799.94/1800.45 c 32072 1000 47870 28243211 589 95975 16260 32074 635 50.47 1799.94/1800.45 c 49217 1000 24344 7560411 310 48806 17887 8548 516 95.23 1799.94/1800.45 c 75036 1000 50163 30255980 603 100444 19676 34367 351 213.18 1799.94/1800.45 c 113868 1000 46615 27120132 581 93348 21644 30819 258 441.02 1799.94/1800.45 c 172220 1000 61596 40304910 654 123310 23809 45800 263 653.28 1799.94/1800.45 c 259852 1000 59937 38844740 648 119992 26190 44141 254 1020.08 1799.94/1800.45 c 391405 1000 50729 30738574 605 101576 28810 34933 222 1757.46 1799.94/1800.45 c Resources Exceeded 1799.94/1800.45 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 1799.94/1800.45 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 1799.94/1800.45 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 1799.94/1800.45 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 1799.94/1800.45 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 1799.94/1800.45 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 1799.94/1800.45 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 1799.94/1800.45 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1799.94/1800.45 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1799.94/1800.45 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1799.94/1800.45 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1799.94/1800.45 v -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1799.94/1800.45 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1799.94/1800.45 v -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1799.94/1800.45 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 1799.94/1800.45 v -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1799.94/1800.45 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 1799.94/1800.45 v -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1799.94/1800.45 v -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 1799.94/1800.45 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1799.94/1800.45 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1799.94/1800.45 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1799.94/1800.45 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.94/1800.45 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.94/1800.45 v -x525 x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.94/1800.45 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.94/1800.45 v -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 1799.94/1800.45 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 x606 -x607 -x608 1799.94/1800.45 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.94/1800.45 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 1799.94/1800.45 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.94/1800.45 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1799.94/1800.45 v -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 1799.94/1800.45 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1799.94/1800.45 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 x753 -x754 -x755 1799.94/1800.45 v -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 1799.94/1800.45 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1799.94/1800.45 v x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 1799.94/1800.45 v -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1799.94/1800.45 v -x840 x841 -x842 -x843 -x844 x845 x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 x854 x855 -x856 -x857 -x858 -x859 x860 -x861 1799.94/1800.45 v -x862 x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1799.94/1800.45 v -x883 x884 -x885 x886 -x887 x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 x900 -x901 x902 -x903 -x904 1799.94/1800.45 v x905 x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 x915 x916 -x917 x918 -x919 -x920 x921 x922 x923 -x924 x925 -x926 -x927 1799.94/1800.45 v -x928 -x929 -x930 -x931 -x932 x933 x934 -x935 x936 -x937 -x938 x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 1799.94/1800.45 v x950 x951 -x952 x953 -x954 -x955 -x956 x957 x958 x959 x960 x961 x962 x963 x964 -x965 -x966 x967 -x968 -x969 x970 x971 x972 -x973 1799.94/1800.45 v x974 x975 x976 -x977 -x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 -x991 -x992 x993 x994 x995 x996 x997 x998 1799.94/1800.45 v x999 x1000 1799.94/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.45 c 18 409632 71043 524541 68956 46760846 53160 227 1800.00 1799.94/1800.45 c Objective: -118 1799.94/1800.45 s SATISFIABLE 1799.94/1800.45 c Total time: 1800 s
OK -118
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-454140-1178021964 -o ROOT/results/node48/solver-454140-1178021964 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454140-1178021964/instance-454140-1178021964.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: 0.99 1.00 1.00 3/64 7904 /proc/meminfo: memFree=1759688/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=12144 CPUtime=0 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 157041738 12435456 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 3036 334 281 324 0 2003 0 [startup+0.075507 s] /proc/loadavg: 0.99 1.00 1.00 3/64 7904 /proc/meminfo: memFree=1759688/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=8300 CPUtime=0.06 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 1410 0 0 0 6 0 0 0 18 0 1 0 157041738 8499200 1379 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 2075 1380 331 324 0 1042 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8300 [startup+0.101509 s] /proc/loadavg: 0.99 1.00 1.00 3/64 7904 /proc/meminfo: memFree=1759688/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=9808 CPUtime=0.09 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 1791 0 0 0 8 1 0 0 18 0 1 0 157041738 10043392 1760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 2452 1761 347 324 0 1419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9808 [startup+0.301527 s] /proc/loadavg: 0.99 1.00 1.00 3/64 7904 /proc/meminfo: memFree=1759688/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=21780 CPUtime=0.29 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 4881 0 0 0 27 2 0 0 19 0 1 0 157041738 22302720 4708 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 5445 4708 307 324 0 4514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21780 [startup+0.701564 s] /proc/loadavg: 0.99 1.00 1.00 3/64 7904 /proc/meminfo: memFree=1759688/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=21780 CPUtime=0.69 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 4881 0 0 0 67 2 0 0 22 0 1 0 157041738 22302720 4708 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 5445 4708 307 324 0 4514 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21780 [startup+1.50164 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1741824/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=24872 CPUtime=1.49 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 6085 0 0 0 145 4 0 0 25 0 1 0 157041738 25468928 5464 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 6218 5464 313 324 0 5287 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24872 [startup+3.10178 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1729088/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=48596 CPUtime=3.08 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 12016 0 0 0 301 7 0 0 25 0 1 0 157041738 49762304 11395 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 12149 11395 313 324 0 11218 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 48596 [startup+6.30108 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1684544/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=86560 CPUtime=6.29 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 21510 0 0 0 618 11 0 0 25 0 1 0 157041738 88637440 20889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 21640 20889 313 324 0 20709 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 86560 [startup+12.7017 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1623664/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=145092 CPUtime=12.68 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 36163 0 0 0 1250 18 0 0 25 0 1 0 157041738 148574208 35542 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 36273 35542 313 324 0 35342 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 145092 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1513400/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=251216 CPUtime=25.48 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 62677 0 0 0 2517 31 0 0 25 0 1 0 157041738 257245184 62056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 62804 62056 313 324 0 61873 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 251216 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1385976/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=384600 CPUtime=51.07 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 96039 0 0 0 5060 47 0 0 25 0 1 0 157041738 393830400 95418 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 96150 95418 313 324 0 95219 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 384600 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1198456/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=564448 CPUtime=102.26 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 141030 0 0 0 10154 72 0 0 25 0 1 0 157041738 577994752 140361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 141112 140361 313 324 0 140181 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 564448 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1198456/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=564448 CPUtime=162.24 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 141030 0 0 0 16149 75 0 0 25 0 1 0 157041738 577994752 140361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 141112 140361 313 324 0 140181 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 564448 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1198456/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=564448 CPUtime=222.23 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 141030 0 0 0 22145 78 0 0 25 0 1 0 157041738 577994752 140361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 141112 140361 313 324 0 140181 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 564448 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1198456/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=564448 CPUtime=282.21 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 141030 0 0 0 28141 80 0 0 25 0 1 0 157041738 577994752 140361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 141112 140361 313 324 0 140181 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 564448 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1160120/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=602552 CPUtime=342.2 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 150604 0 0 0 34132 88 0 0 25 0 1 0 157041738 617013248 149884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 150638 149884 313 324 0 149707 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 602552 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1160120/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=602552 CPUtime=402.19 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 150604 0 0 0 40129 90 0 0 25 0 1 0 157041738 617013248 149884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 150638 149884 313 324 0 149707 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 602552 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1160312/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=602552 CPUtime=462.17 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 150604 0 0 0 46124 93 0 0 25 0 1 0 157041738 617013248 149884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 150638 149884 313 324 0 149707 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 602552 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1138168/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=624444 CPUtime=522.15 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 156150 0 0 0 52118 97 0 0 25 0 1 0 157041738 639430656 155377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 156111 155377 313 324 0 155180 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 624444 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1138232/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=624444 CPUtime=582.14 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 156150 0 0 0 58114 100 0 0 25 0 1 0 157041738 639430656 155377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 156111 155377 313 324 0 155180 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 624444 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1138296/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=624444 CPUtime=642.13 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 156150 0 0 0 64110 103 0 0 25 0 1 0 157041738 639430656 155377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 156111 155377 313 324 0 155180 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 624444 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1113912/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=648924 CPUtime=882.07 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 162309 0 0 0 88091 116 0 0 25 0 1 0 157041738 664498176 161480 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 162231 161480 313 324 0 161300 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 648924 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1137976/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=624544 CPUtime=942.05 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 162365 0 0 0 94085 120 0 0 25 0 1 0 157041738 639533056 155409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 156136 155409 313 324 0 155205 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 624544 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1138040/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=624544 CPUtime=1002.04 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 162365 0 0 0 100081 123 0 0 25 0 1 0 157041738 639533056 155409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 156136 155409 313 324 0 155205 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 624544 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1087224/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675188 CPUtime=1062.02 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175082 0 0 0 106070 132 0 0 25 0 1 0 157041738 691392512 168068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168797 168068 313 324 0 167866 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 675188 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1087288/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675188 CPUtime=1122.01 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175082 0 0 0 112068 133 0 0 25 0 1 0 157041738 691392512 168068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3972750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168797 168068 313 324 0 167866 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 675188 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1087288/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675188 CPUtime=1181.99 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175082 0 0 0 118063 136 0 0 25 0 1 0 157041738 691392512 168068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168797 168068 313 324 0 167866 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 675188 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1087352/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675188 CPUtime=1241.98 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175082 0 0 0 124059 139 0 0 25 0 1 0 157041738 691392512 168068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168797 168068 313 324 0 167866 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 675188 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1087352/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675188 CPUtime=1301.97 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175082 0 0 0 130056 141 0 0 25 0 1 0 157041738 691392512 168068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168797 168068 313 324 0 167866 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 675188 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1137784/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=624552 CPUtime=1361.95 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175140 0 0 0 136049 146 0 0 25 0 1 0 157041738 639541248 155411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 156138 155411 313 324 0 155207 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 624552 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1318904/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=443388 CPUtime=1421.94 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175140 0 0 0 142038 156 0 0 25 0 1 0 157041738 454029312 110120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134585227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 110847 110120 313 324 0 109916 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 443388 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 7905 /proc/meminfo: memFree=1318968/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=443388 CPUtime=1481.92 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 175140 0 0 0 148032 160 0 0 25 0 1 0 157041738 454029312 110120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 110847 110120 313 324 0 109916 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 443388 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 7905 /proc/meminfo: memFree=1281080/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=481608 CPUtime=1541.91 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 184668 0 0 0 154023 168 0 0 25 0 1 0 157041738 493166592 119648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 120402 119648 313 324 0 119471 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 481608 [startup+1602.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 7905 /proc/meminfo: memFree=1163896/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=599448 CPUtime=1601.89 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 214136 0 0 0 160005 184 0 0 25 0 1 0 157041738 613834752 149116 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 149862 149116 313 324 0 148931 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 599448 [startup+1662.3 s] /proc/loadavg: 1.05 1.03 1.00 2/65 7905 /proc/meminfo: memFree=1087416/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675020 CPUtime=1661.88 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 233077 0 0 0 165993 195 0 0 25 0 1 0 157041738 691220480 167999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168755 167999 313 324 0 167824 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 675020 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7905 /proc/meminfo: memFree=1087416/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675020 CPUtime=1721.86 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 233077 0 0 0 171989 197 0 0 25 0 1 0 157041738 691220480 167999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168755 167999 313 324 0 167824 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 675020 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7905 /proc/meminfo: memFree=1087480/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=675020 CPUtime=1781.85 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194304 233077 0 0 0 177985 200 0 0 25 0 1 0 157041738 691220480 167999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 168755 167999 313 324 0 167824 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 675020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7905 /proc/meminfo: memFree=1379128/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=0 CPUtime=1800.04 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194308 233078 0 0 0 179798 206 0 0 25 0 1 0 157041738 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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.5 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7905 /proc/meminfo: memFree=1379128/2055920 swapFree=4183896/4192956 [pid=7904] ppid=7902 vsize=0 CPUtime=1800.04 /proc/7904/stat : 7904 (bsolo3.0.16) R 7902 7904 29590 0 -1 4194308 233078 0 0 0 179798 206 0 0 25 0 1 0 157041738 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7904/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.11 CPU user time (s): 1797.99 CPU system time (s): 2.12368 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 675420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.99 system time used= 2.12368 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233078 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= 12 involuntary context switches= 1948 runsolver used 1.37979 second user time and 3.54446 second system time The end
Begin job on node48 on Tue May 1 12:19:24 UTC 2007 IDJOB= 454140 IDBENCH= 48177 IDSOLVER= 163 FILE ID= node48/454140-1178021964 PBS_JOBID= 4728373 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454140-1178021964/instance-454140-1178021964.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-454140-1178021964 -o ROOT/results/node48/solver-454140-1178021964 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454140-1178021964/instance-454140-1178021964.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED= 645137990 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1760096 kB Buffers: 54548 kB Cached: 166056 kB SwapCached: 3116 kB Active: 77516 kB Inactive: 154272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760096 kB SwapTotal: 4192956 kB SwapFree: 4183896 kB Dirty: 7140 kB Writeback: 0 kB Mapped: 16496 kB Slab: 50032 kB Committed_AS: 3136744 kB PageTables: 1392 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 node48 on Tue May 1 12:49:27 UTC 2007