Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -125 | 1800.21 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_3.opb |
MD5SUM | d487c80c335f688d99ca29b5d7c254e0 |
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 | -125 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -125 |
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 | 47 |
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) | 31622 |
Sum of products size (including duplicates) | 63244 |
Number of different products | 15811 |
Sum of products size | 31622 |
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/454476-1178026751/instance-454476-1178026751.opb 0.00/0.00 c File size is 416706 bytes. 0.09/0.20 c Highest Coefficient sum: 1000 0.09/0.20 c Parsing was ok!! 0.09/0.20 c Total parsing time: 0.195 s 0.19/0.25 c Var: 32622 Constr: 65244 32622/1000/31622 Lit: 252976 Watch. Lit: 189732 0.19/0.25 c Obj. Vars: 1000 (3.06542 % of total variables) 1.29/1.33 c Pre-processing Time: 1.333 s 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 1000 15811 47433 3 31622 5270 0 0 1.33 1.29/1.34 c Switching off LPR mode. 1.29/1.34 o -125 1.341 1800.08/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.60 c 0 1000 15812 48433 3 31749 6270 1 0 1.34 1800.08/1800.60 c 100 1000 15912 135672 8 31949 6898 101 71 1.40 1800.08/1800.60 c 351 1000 16163 354615 21 32451 7588 352 228 1.53 1800.08/1800.60 c 827 1000 16639 769577 46 33403 8347 828 455 1.81 1800.08/1800.60 c 1640 1000 17452 1478572 84 35029 9182 1641 703 2.33 1800.08/1800.60 c 2961 1000 18773 2630338 140 37671 10101 2962 943 3.14 1800.08/1800.60 c 5042 1000 20854 4444004 213 41833 11112 5043 1097 4.60 1800.08/1800.60 c 8265 1000 24077 7253584 301 48279 12224 8266 1076 7.68 1800.08/1800.60 c 13201 1000 29013 11556960 398 58151 13447 13202 1035 12.75 1800.08/1800.60 c 20707 1000 36519 18100986 495 73163 14792 20708 959 21.58 1800.08/1800.60 c 32068 1000 47880 28003571 584 95885 16272 32069 697 45.99 1800.08/1800.60 c 49212 1000 24327 7467698 306 48779 17900 8516 550 89.42 1800.08/1800.60 c 75031 1000 50146 29986702 597 100417 19691 34335 536 139.85 1800.08/1800.60 c 113863 1000 46572 26863223 576 93269 21661 30761 418 271.83 1800.08/1800.60 c 172215 1000 61530 39904726 648 123185 23828 45719 296 580.28 1800.08/1800.60 c 259847 1000 59869 38461160 642 119863 26211 44058 274 946.79 1800.08/1800.60 c 391402 1000 50499 30280131 599 101123 28833 34688 239 1634.64 1800.08/1800.60 c Caught signal: 15 1800.08/1800.60 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.08/1800.60 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.08/1800.60 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.08/1800.60 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.08/1800.60 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.08/1800.60 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.08/1800.60 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.08/1800.60 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.08/1800.60 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.08/1800.60 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.08/1800.60 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.08/1800.60 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.08/1800.60 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.08/1800.60 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.08/1800.60 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 1800.08/1800.60 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.08/1800.60 v -x357 x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.08/1800.60 v -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.08/1800.60 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 1800.08/1800.60 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 x440 1800.08/1800.60 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.08/1800.60 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.08/1800.60 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.08/1800.60 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.08/1800.60 v x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 x542 -x543 -x544 -x545 1800.08/1800.60 v -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.08/1800.60 v x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.08/1800.60 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.08/1800.60 v -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.08/1800.60 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.08/1800.60 v -x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 1800.08/1800.60 v -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 1800.08/1800.60 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.08/1800.60 v -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 x729 x730 -x731 -x732 -x733 -x734 1800.08/1800.60 v -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.08/1800.60 v -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 x776 1800.08/1800.60 v x777 x778 -x779 -x780 -x781 x782 x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.08/1800.60 v -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.08/1800.60 v -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 x839 x840 -x841 1800.08/1800.60 v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 1800.08/1800.60 v -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 -x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 1800.08/1800.60 v -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 x893 -x894 -x895 -x896 x897 -x898 -x899 x900 -x901 -x902 x903 -x904 -x905 1800.08/1800.60 v -x906 -x907 x908 x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 x927 1800.08/1800.60 v x928 -x929 -x930 -x931 x932 -x933 -x934 x935 -x936 x937 -x938 -x939 -x940 -x941 x942 x943 x944 x945 x946 x947 x948 -x949 -x950 1800.08/1800.60 v x951 -x952 -x953 x954 x955 x956 x957 -x958 -x959 x960 x961 -x962 x963 -x964 -x965 x966 x967 x968 x969 x970 -x971 x972 x973 x974 1800.08/1800.60 v 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.08/1800.60 v x999 x1000 1800.08/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.61 c 17 440872 68266 544034 50418 30213628 34607 244 1800.09 1800.08/1800.61 c Objective: -125 1800.08/1800.61 s SATISFIABLE 1800.08/1800.61 c Total time: 1800.09 s
OK -125
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-454476-1178026751 -o ROOT/results/node51/solver-454476-1178026751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454476-1178026751/instance-454476-1178026751.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.92 0.98 0.99 3/64 23081 /proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=12144 CPUtime=0 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 157520293 12435456 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 3036 333 279 324 0 2004 0 [startup+0.0974541 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23081 /proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=9400 CPUtime=0.08 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 1676 0 0 0 8 0 0 0 18 0 1 0 157520293 9625600 1646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 2350 1647 340 324 0 1318 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9400 [startup+0.101454 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23081 /proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=9536 CPUtime=0.09 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 1731 0 0 0 9 0 0 0 18 0 1 0 157520293 9764864 1701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 2384 1702 342 324 0 1352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9536 [startup+0.301472 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23081 /proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=21792 CPUtime=0.29 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 4881 0 0 0 28 1 0 0 19 0 1 0 157520293 22315008 4709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 5448 4709 305 324 0 4518 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21792 [startup+0.701509 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23081 /proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=21792 CPUtime=0.69 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 4881 0 0 0 68 1 0 0 22 0 1 0 157520293 22315008 4709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 5448 4709 305 324 0 4518 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21792 [startup+1.50158 s] /proc/loadavg: 0.92 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1785040/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=24728 CPUtime=1.49 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 6069 0 0 0 144 5 0 0 25 0 1 0 157520293 25321472 5449 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 6182 5449 311 324 0 5252 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24728 [startup+3.10172 s] /proc/loadavg: 0.92 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1772112/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=51452 CPUtime=3.09 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 12735 0 0 0 301 8 0 0 25 0 1 0 157520293 52686848 12115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586922 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 12863 12115 311 324 0 11933 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51452 [startup+6.30201 s] /proc/loadavg: 0.93 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1719440/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=97640 CPUtime=6.29 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 24274 0 0 0 617 12 0 0 25 0 1 0 157520293 99983360 23654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 24410 23654 311 324 0 23480 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 97640 [startup+12.7026 s] /proc/loadavg: 0.93 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1647504/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=164724 CPUtime=12.69 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 41067 0 0 0 1251 18 0 0 25 0 1 0 157520293 168677376 40447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 41181 40447 311 324 0 40251 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 164724 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1520976/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=288144 CPUtime=25.49 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 71911 0 0 0 2519 30 0 0 25 0 1 0 157520293 295059456 71291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 72036 71291 311 324 0 71106 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 288144 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1390032/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=420180 CPUtime=51.08 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 104909 0 0 0 5062 46 0 0 25 0 1 0 157520293 430264320 104289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 105045 104289 311 324 0 104115 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 420180 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1245520/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=560156 CPUtime=102.27 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 139963 0 0 0 10167 60 0 0 25 0 1 0 157520293 573599744 139295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 140039 139295 311 324 0 139109 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 560156 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1245520/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=560156 CPUtime=162.25 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 139963 0 0 0 16165 60 0 0 25 0 1 0 157520293 573599744 139295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 140039 139295 311 324 0 139109 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 560156 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1207376/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=598212 CPUtime=222.24 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 149534 0 0 0 22159 65 0 0 25 0 1 0 157520293 612569088 148814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3059457 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 149553 148814 311 324 0 148623 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 598212 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1207376/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=598212 CPUtime=282.23 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 149534 0 0 0 28158 65 0 0 25 0 1 0 157520293 612569088 148814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 149553 148814 311 324 0 148623 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 598212 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1207376/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=598212 CPUtime=342.21 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 149534 0 0 0 34156 65 0 0 25 0 1 0 157520293 612569088 148814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 149553 148814 311 324 0 148623 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 598212 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=620056 CPUtime=402.19 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 40151 68 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 155014 154275 311 324 0 154084 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 620056 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23082 /proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=620056 CPUtime=462.18 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 46149 69 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 155014 154275 311 324 0 154084 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 620056 [startup+522.301 s] /proc/loadavg: 1.04 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=620056 CPUtime=522.17 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 52148 69 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 155014 154275 311 324 0 154084 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 620056 [startup+582.302 s] /proc/loadavg: 1.06 1.01 1.00 2/65 23082 /proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=620056 CPUtime=582.15 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 58146 69 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 155014 154275 311 324 0 154084 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 620056 [startup+642.301 s] /proc/loadavg: 1.10 1.04 1.01 2/65 23082 /proc/meminfo: memFree=1161424/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=643984 CPUtime=642.14 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 161085 0 0 0 64143 71 0 0 25 0 1 0 157520293 659439616 160256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 160996 160256 311 324 0 160066 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 643984 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 23082 /proc/meminfo: memFree=1161360/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=643984 CPUtime=882.08 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 161147 0 0 0 88136 72 0 0 25 0 1 0 157520293 659439616 160262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 160996 160262 311 324 0 160066 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 643984 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1161488/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=643984 CPUtime=942.06 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 161147 0 0 0 94134 72 0 0 25 0 1 0 157520293 659439616 160262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 160996 160262 311 324 0 160066 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 643984 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1134928/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670460 CPUtime=1002.05 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 100130 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167615 166875 311 324 0 166685 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 670460 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1134928/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670460 CPUtime=1062.04 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 106129 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552407 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167615 166875 311 324 0 166685 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 670460 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1134992/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670460 CPUtime=1122.02 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 112127 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167615 166875 311 324 0 166685 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 670460 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1134992/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670460 CPUtime=1182 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 118125 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167615 166875 311 324 0 166685 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 670460 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1264400/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=540976 CPUtime=1241.99 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167876 0 0 0 124120 79 0 0 25 0 1 0 157520293 553959424 134515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 135244 134515 311 324 0 134314 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 540976 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23082 /proc/meminfo: memFree=1298704/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=506656 CPUtime=1301.98 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167876 0 0 0 130118 80 0 0 25 0 1 0 157520293 518815744 125935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 126664 125935 311 324 0 125734 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 506656 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 23260 /proc/meminfo: memFree=1297560/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=506656 CPUtime=1361.89 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167876 0 0 0 136108 81 0 0 25 0 1 0 157520293 518815744 125935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 126664 125935 311 324 0 125734 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 506656 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1284944/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=520672 CPUtime=1421.87 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 171353 0 0 0 142104 83 0 0 25 0 1 0 157520293 533168128 129412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 130168 129412 311 324 0 129238 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 520672 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1194384/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=611640 CPUtime=1481.85 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 194112 0 0 0 148091 94 0 0 25 0 1 0 157520293 626319360 152171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 152910 152171 311 324 0 151980 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 611640 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1134864/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670400 CPUtime=1541.84 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 208849 0 0 0 154081 103 0 0 25 0 1 0 157520293 686489600 166850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167600 166850 311 324 0 166670 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 670400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1134864/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670400 CPUtime=1601.83 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 208849 0 0 0 160080 103 0 0 25 0 1 0 157520293 686489600 166850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167600 166850 311 324 0 166670 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 670400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1134864/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=670400 CPUtime=1661.81 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 208849 0 0 0 166078 103 0 0 25 0 1 0 157520293 686489600 166850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 167600 166850 311 324 0 166670 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 670400 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=699324 CPUtime=1721.79 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 216140 0 0 0 172073 106 0 0 25 0 1 0 157520293 716107776 174081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 174831 174081 311 324 0 173901 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 699324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=699324 CPUtime=1781.78 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 216140 0 0 0 178072 106 0 0 25 0 1 0 157520293 716107776 174081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 174831 174081 311 324 0 173901 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 699324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 23280 /proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=699324 CPUtime=1800.08 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 216140 0 0 0 179902 106 0 0 25 0 1 0 157520293 716107776 174081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 174831 174081 311 324 0 173901 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 699324 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/65 23280 /proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956 [pid=23081] ppid=23079 vsize=0 CPUtime=1800.18 /proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194308 216144 0 0 0 179902 116 0 0 25 0 1 0 157520293 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23081/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.21 CPU user time (s): 1799.03 CPU system time (s): 1.17782 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 699324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.03 system time used= 1.17782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 216144 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= 1588 runsolver used 1.42578 second user time and 3.55146 second system time The end
Begin job on node51 on Tue May 1 13:39:12 UTC 2007 IDJOB= 454476 IDBENCH= 48199 IDSOLVER= 199 FILE ID= node51/454476-1178026751 PBS_JOBID= 4728367 Free space on /tmp= 66558 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_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454476-1178026751/instance-454476-1178026751.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-454476-1178026751 -o ROOT/results/node51/solver-454476-1178026751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454476-1178026751/instance-454476-1178026751.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0 RANDOM SEED= 295207097 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1803440 kB Buffers: 34248 kB Cached: 144916 kB SwapCached: 3552 kB Active: 67180 kB Inactive: 122112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803440 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 7080 kB Writeback: 0 kB Mapped: 15908 kB Slab: 49192 kB Committed_AS: 5439488 kB PageTables: 1412 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 node51 on Tue May 1 14:09:14 UTC 2007