Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -118 | 1800.18 | 1800.77 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454146-1178022082/instance-454146-1178022082.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.192 s 0.19/0.25 c Var: 32592 Constr: 65184 32592/1000/31592 Lit: 252736 Watch. Lit: 189552 0.19/0.25 c Obj. Vars: 1000 (3.06824 % of total variables) 1.28/1.33 c Pre-processing Time: 1.331 s 1.28/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.33 c 0 1000 15796 47388 3 31592 5265 0 0 1.33 1.28/1.33 c Switching off LPR mode. 1.28/1.34 o -117 1.338 1.28/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.34 c 0 1000 15797 48388 3 31711 6265 1 0 1.34 1.28/1.34 o -118 1.343 1800.06/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.60 c 1 1000 15799 50269 3 31833 6265 3 0 1.34 1800.06/1800.60 c 101 1000 15899 138188 8 32033 6892 103 72 1.40 1800.06/1800.60 c 352 1000 16150 358794 22 32535 7582 354 227 1.54 1800.06/1800.60 c 828 1000 16626 777082 46 33487 8341 830 447 1.85 1800.06/1800.60 c 1641 1000 17439 1491852 85 35113 9176 1643 666 2.46 1800.06/1800.60 c 2961 1000 18759 2651952 141 37753 10094 2963 869 3.41 1800.06/1800.60 c 5043 1000 20841 4483068 215 41917 11104 5045 1008 5.00 1800.06/1800.60 c 8267 1000 24065 7317594 304 48365 12215 8269 855 9.67 1800.06/1800.60 c 13203 1000 29001 11656782 401 58237 13437 13205 837 15.76 1800.06/1800.60 c 20711 1000 36509 18258160 500 73253 14781 20713 819 25.29 1800.06/1800.60 c 32072 1000 47870 28243211 589 95975 16260 32074 635 50.48 1800.06/1800.60 c 49217 1000 24344 7560411 310 48806 17887 8548 517 95.18 1800.06/1800.60 c 75036 1000 50163 30255980 603 100444 19676 34367 351 213.35 1800.06/1800.61 c 113868 1000 46615 27120132 581 93348 21644 30819 257 441.51 1800.06/1800.61 c 172220 1000 61596 40304910 654 123310 23809 45800 263 653.74 1800.06/1800.61 c 259852 1000 59937 38844740 648 119992 26190 44141 254 1020.93 1800.06/1800.61 c 391405 1000 50729 30738574 605 101576 28810 34933 222 1758.66 1800.06/1800.61 c Caught signal: 15 1800.06/1800.61 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.06/1800.61 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.06/1800.61 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.06/1800.61 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 1800.06/1800.61 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 1800.06/1800.61 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 1800.06/1800.61 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.06/1800.61 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.06/1800.61 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.06/1800.61 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.06/1800.61 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.06/1800.61 v -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.06/1800.61 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.06/1800.61 v -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.06/1800.61 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 1800.06/1800.61 v -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.06/1800.61 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 1800.06/1800.61 v -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.06/1800.61 v -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 1800.06/1800.61 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.06/1800.61 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.06/1800.61 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.06/1800.61 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.06/1800.61 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.06/1800.61 v -x525 x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.06/1800.61 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.06/1800.61 v -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 1800.06/1800.61 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 x606 -x607 -x608 1800.06/1800.61 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.06/1800.61 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 1800.06/1800.61 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.06/1800.61 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.06/1800.61 v -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 1800.06/1800.61 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.06/1800.61 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 x753 -x754 -x755 1800.06/1800.61 v -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 1800.06/1800.61 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.06/1800.61 v x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.06/1800.61 v -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.06/1800.61 v -x840 x841 -x842 -x843 -x844 x845 x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 x854 x855 -x856 -x857 -x858 -x859 x860 -x861 1800.06/1800.61 v -x862 x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.06/1800.61 v -x883 x884 -x885 x886 -x887 x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 x900 -x901 x902 -x903 -x904 1800.06/1800.61 v x905 x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 x915 x916 -x917 x918 -x919 -x920 x921 x922 x923 -x924 x925 -x926 -x927 1800.06/1800.61 v -x928 -x929 -x930 -x931 -x932 x933 x934 -x935 x936 -x937 -x938 x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 1800.06/1800.61 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 1800.06/1800.61 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 1800.06/1800.61 v x999 x1000 1800.06/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.61 c 18 409331 70986 524143 68655 46496204 52859 227 1800.08 1800.06/1800.61 c Objective: -118 1800.06/1800.61 s SATISFIABLE 1800.06/1800.61 c Total time: 1800.08 s
OK -118
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-454146-1178022082 -o ROOT/results/node74/solver-454146-1178022082 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454146-1178022082/instance-454146-1178022082.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.16 1.16 3/66 21810 /proc/meminfo: memFree=1787024/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=12144 CPUtime=0 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 250123011 12435456 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 3036 334 279 324 0 2004 0 [startup+0.0629029 s] /proc/loadavg: 1.04 1.16 1.16 3/66 21810 /proc/meminfo: memFree=1787024/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=7660 CPUtime=0.05 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 1224 0 0 0 5 0 0 0 18 0 1 0 250123011 7843840 1194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 1915 1195 323 324 0 883 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7660 [startup+0.101906 s] /proc/loadavg: 1.04 1.16 1.16 3/66 21810 /proc/meminfo: memFree=1787024/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=9676 CPUtime=0.09 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 1753 0 0 0 9 0 0 0 18 0 1 0 250123011 9908224 1723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 2419 1724 343 324 0 1387 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9676 [startup+0.301929 s] /proc/loadavg: 1.04 1.16 1.16 3/66 21810 /proc/meminfo: memFree=1787024/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=21780 CPUtime=0.29 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 4878 0 0 0 28 1 0 0 19 0 1 0 250123011 22302720 4706 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 5445 4706 305 324 0 4515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21780 [startup+0.701975 s] /proc/loadavg: 1.04 1.16 1.16 3/66 21810 /proc/meminfo: memFree=1787024/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=21780 CPUtime=0.69 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 4878 0 0 0 68 1 0 0 23 0 1 0 250123011 22302720 4706 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 5445 4706 305 324 0 4515 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21780 [startup+1.50207 s] /proc/loadavg: 1.04 1.16 1.16 2/67 21811 /proc/meminfo: memFree=1769096/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=24604 CPUtime=1.49 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 6012 0 0 0 144 5 0 0 25 0 1 0 250123011 25194496 5392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 6151 5392 311 324 0 5221 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24604 [startup+3.10125 s] /proc/loadavg: 1.03 1.16 1.16 2/67 21811 /proc/meminfo: memFree=1756424/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=48460 CPUtime=3.08 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 12003 0 0 0 301 7 0 0 25 0 1 0 250123011 49623040 11383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 12115 11383 311 324 0 11185 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 48460 [startup+6.30162 s] /proc/loadavg: 1.03 1.16 1.16 2/67 21811 /proc/meminfo: memFree=1711752/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=86560 CPUtime=6.29 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 21524 0 0 0 618 11 0 0 25 0 1 0 250123011 88637440 20904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 21640 20904 311 324 0 20710 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 86560 [startup+12.7014 s] /proc/loadavg: 1.03 1.15 1.16 2/67 21811 /proc/meminfo: memFree=1650312/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=145460 CPUtime=12.69 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 36252 0 0 0 1250 19 0 0 25 0 1 0 250123011 148951040 35632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 36365 35632 311 324 0 35435 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 145460 [startup+25.5018 s] /proc/loadavg: 1.02 1.15 1.15 2/67 21811 /proc/meminfo: memFree=1540296/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=251216 CPUtime=25.48 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 62685 0 0 0 2520 28 0 0 25 0 1 0 250123011 257245184 62065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 62804 62065 311 324 0 61874 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 251216 [startup+51.1018 s] /proc/loadavg: 1.01 1.14 1.15 2/67 21811 /proc/meminfo: memFree=1412808/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=384600 CPUtime=51.07 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 96031 0 0 0 5063 44 0 0 25 0 1 0 250123011 393830400 95411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 96150 95411 311 324 0 95220 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 384600 [startup+102.306 s] /proc/loadavg: 1.00 1.11 1.14 2/67 21811 /proc/meminfo: memFree=1225352/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=564448 CPUtime=102.26 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 141027 0 0 0 10161 65 0 0 25 0 1 0 250123011 577994752 140359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 141112 140359 311 324 0 140182 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 564448 [startup+162.302 s] /proc/loadavg: 1.00 1.09 1.13 2/67 21811 /proc/meminfo: memFree=1225416/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=564448 CPUtime=162.23 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 141027 0 0 0 16158 65 0 0 25 0 1 0 250123011 577994752 140359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 141112 140359 311 324 0 140182 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 564448 [startup+222.302 s] /proc/loadavg: 1.00 1.07 1.12 2/67 21811 /proc/meminfo: memFree=1225416/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=564448 CPUtime=222.22 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 141027 0 0 0 22157 65 0 0 25 0 1 0 250123011 577994752 140359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 141112 140359 311 324 0 140182 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 564448 [startup+282.301 s] /proc/loadavg: 1.00 1.05 1.10 2/67 21811 /proc/meminfo: memFree=1225416/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=564448 CPUtime=282.2 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 141027 0 0 0 28155 65 0 0 25 0 1 0 250123011 577994752 140359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 141112 140359 311 324 0 140182 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 564448 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.09 2/67 21811 /proc/meminfo: memFree=1187080/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=602552 CPUtime=342.18 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 150601 0 0 0 34149 69 0 0 25 0 1 0 250123011 617013248 149882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 150638 149882 311 324 0 149708 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 602552 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.09 2/67 21811 /proc/meminfo: memFree=1187080/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=602552 CPUtime=402.17 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 150601 0 0 0 40148 69 0 0 25 0 1 0 250123011 617013248 149882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 150638 149882 311 324 0 149708 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 602552 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.08 2/67 21811 /proc/meminfo: memFree=1187144/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=602552 CPUtime=462.15 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 150601 0 0 0 46146 69 0 0 25 0 1 0 250123011 617013248 149882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 150638 149882 311 324 0 149708 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 602552 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.07 2/67 21811 /proc/meminfo: memFree=1164936/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=624444 CPUtime=522.13 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 156147 0 0 0 52140 73 0 0 25 0 1 0 250123011 639430656 155375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 156111 155375 311 324 0 155181 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 624444 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.07 2/67 21811 /proc/meminfo: memFree=1165000/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=624444 CPUtime=582.12 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 156147 0 0 0 58139 73 0 0 25 0 1 0 250123011 639430656 155375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 156111 155375 311 324 0 155181 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 624444 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.06 2/67 21811 /proc/meminfo: memFree=1165000/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=624444 CPUtime=642.1 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 156147 0 0 0 64137 73 0 0 25 0 1 0 250123011 639430656 155375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 156111 155375 311 324 0 155181 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 624444 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.04 2/67 21811 /proc/meminfo: memFree=1140552/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=648924 CPUtime=882.02 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 162306 0 0 0 88126 76 0 0 25 0 1 0 250123011 664498176 161478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 162231 161478 311 324 0 161301 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 648924 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.03 2/67 21811 /proc/meminfo: memFree=1164744/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=624544 CPUtime=942.01 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 162362 0 0 0 94123 78 0 0 25 0 1 0 250123011 639533056 155407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 156136 155407 311 324 0 155206 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 624544 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.03 2/67 21811 /proc/meminfo: memFree=1164808/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=624544 CPUtime=1001.99 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 162362 0 0 0 100121 78 0 0 25 0 1 0 250123011 639533056 155407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 156136 155407 311 324 0 155206 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 624544 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.02 2/67 21811 /proc/meminfo: memFree=1113992/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675188 CPUtime=1061.98 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175079 0 0 0 106113 85 0 0 25 0 1 0 250123011 691392512 168066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168797 168066 311 324 0 167867 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 675188 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.02 2/67 21811 /proc/meminfo: memFree=1113992/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675188 CPUtime=1121.96 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175079 0 0 0 112111 85 0 0 25 0 1 0 250123011 691392512 168066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168797 168066 311 324 0 167867 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 675188 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.01 2/67 21811 /proc/meminfo: memFree=1114056/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675188 CPUtime=1181.94 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175079 0 0 0 118109 85 0 0 25 0 1 0 250123011 691392512 168066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168797 168066 311 324 0 167867 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 675188 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1113992/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675188 CPUtime=1241.92 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175079 0 0 0 124107 85 0 0 25 0 1 0 250123011 691392512 168066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168797 168066 311 324 0 167867 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 675188 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1113992/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675188 CPUtime=1301.91 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175079 0 0 0 130106 85 0 0 25 0 1 0 250123011 691392512 168066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168797 168066 311 324 0 167867 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 675188 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1164552/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=624552 CPUtime=1361.89 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175137 0 0 0 136100 89 0 0 25 0 1 0 250123011 639541248 155409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 156138 155409 311 324 0 155208 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 624552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1345672/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=443388 CPUtime=1421.87 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175137 0 0 0 142092 95 0 0 25 0 1 0 250123011 454029312 110118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 110847 110118 311 324 0 109917 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 443388 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1345736/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=443388 CPUtime=1481.84 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 175137 0 0 0 148089 95 0 0 25 0 1 0 250123011 454029312 110118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 110847 110118 311 324 0 109917 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 443388 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1311048/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=478904 CPUtime=1541.83 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 183990 0 0 0 154083 100 0 0 25 0 1 0 250123011 490397696 118971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 119726 118971 311 324 0 118796 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 478904 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1192392/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=597848 CPUtime=1601.81 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 213737 0 0 0 160065 116 0 0 25 0 1 0 250123011 612196352 148718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 149462 148718 311 324 0 148532 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 597848 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1114120/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675020 CPUtime=1661.79 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 233074 0 0 0 166053 126 0 0 25 0 1 0 250123011 691220480 167997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168755 167997 311 324 0 167825 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 675020 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1114120/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675020 CPUtime=1721.78 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 233074 0 0 0 172052 126 0 0 25 0 1 0 250123011 691220480 167997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168755 167997 311 324 0 167825 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 675020 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1114184/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675020 CPUtime=1781.76 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 233074 0 0 0 178050 126 0 0 25 0 1 0 250123011 691220480 167997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168755 167997 311 324 0 167825 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 675020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1114184/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=675020 CPUtime=1800.06 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194304 233074 0 0 0 179880 126 0 0 25 0 1 0 250123011 691220480 167997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21810/statm: 168755 167997 311 324 0 167825 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 675020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/67 21813 /proc/meminfo: memFree=1114184/2055920 swapFree=4183036/4192956 [pid=21810] ppid=21808 vsize=0 CPUtime=1800.16 /proc/21810/stat : 21810 (bsolo3.0.17) R 21808 21810 9348 0 -1 4194308 233078 0 0 0 179880 136 0 0 17 0 1 0 250123011 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/21810/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.77 CPU time (s): 1800.18 CPU user time (s): 1798.81 CPU system time (s): 1.36679 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 675420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 1.36679 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= 13 involuntary context switches= 1871 runsolver used 1.24081 second user time and 3.70744 second system time The end
Begin job on node74 on Tue May 1 12:21:23 UTC 2007 IDJOB= 454146 IDBENCH= 48177 IDSOLVER= 199 FILE ID= node74/454146-1178022082 PBS_JOBID= 4728365 Free space on /tmp= 103238 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454146-1178022082/instance-454146-1178022082.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-454146-1178022082 -o ROOT/results/node74/solver-454146-1178022082 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454146-1178022082/instance-454146-1178022082.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED= 511478268 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1787432 kB Buffers: 30928 kB Cached: 160956 kB SwapCached: 2936 kB Active: 75696 kB Inactive: 131528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787432 kB SwapTotal: 4192956 kB SwapFree: 4183036 kB Dirty: 6984 kB Writeback: 0 kB Mapped: 20772 kB Slab: 47032 kB Committed_AS: 5906880 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103238 MiB End job on node74 on Tue May 1 12:51:25 UTC 2007