Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -126 | 1800.13 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
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 | -126 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -126 |
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 | 51 |
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) | 31640 |
Sum of products size (including duplicates) | 63280 |
Number of different products | 15820 |
Sum of products size | 31640 |
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/454380-1178025320/instance-454380-1178025320.opb 0.00/0.00 c File size is 416926 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.197 s 0.19/0.25 c Var: 32640 Constr: 65280 32640/1000/31640 Lit: 253120 Watch. Lit: 189840 0.19/0.25 c Obj. Vars: 1000 (3.06373 % of total variables) 1.29/1.34 c Pre-processing Time: 1.339 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 15820 47460 3 31640 5273 0 0 1.34 1.29/1.34 c Switching off LPR mode. 1.29/1.35 o -125 1.346 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 0 1000 15821 48460 3 31767 6273 1 0 1.35 1.29/1.36 o -126 1.363 1800.00/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.50 c 27 1000 15849 73017 4 31949 6273 29 19 1.36 1800.00/1800.50 c 128 1000 15950 160964 10 32151 6901 130 89 1.43 1800.00/1800.50 c 379 1000 16201 379535 23 32653 7592 381 241 1.57 1800.00/1800.50 c 854 1000 16676 793217 47 33603 8352 856 463 1.84 1800.00/1800.50 c 1667 1000 17489 1501255 85 35229 9188 1669 710 2.35 1800.00/1800.50 c 2988 1000 18810 2651708 140 37871 10107 2990 927 3.22 1800.00/1800.50 c 5070 1000 20892 4464568 213 42035 11118 5072 1023 4.96 1800.00/1800.50 c 8294 1000 24116 7271992 301 48483 12230 8296 1009 8.22 1800.00/1800.50 c 13230 1000 29052 11569259 398 58355 13454 13232 981 13.47 1800.00/1800.50 c 20736 1000 36558 18105347 495 73367 14800 20738 786 26.37 1800.00/1800.50 c 32097 1000 47919 27998939 584 96089 16281 32099 613 52.33 1800.00/1800.50 c 49241 1000 24340 7465657 306 48806 17910 8520 514 95.64 1800.00/1800.50 c 75062 1000 50161 29949449 597 100448 19702 34341 419 179.06 1800.00/1800.50 c 113894 1000 46586 26831979 575 93298 21673 30766 400 284.66 1800.00/1800.50 c 172246 1000 61522 39846700 647 123170 23841 45702 325 528.80 1800.00/1800.50 c 259879 1000 59846 38403243 641 119818 26226 44026 258 1005.67 1800.00/1800.50 c 391432 1000 50348 30113891 598 100822 28849 34528 229 1705.93 1800.00/1800.50 c Caught signal: 15 1800.00/1800.50 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.00/1800.50 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.00/1800.50 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.00/1800.50 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 -x105 1800.00/1800.50 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.00/1800.50 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.00/1800.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.00/1800.50 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.00/1800.50 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 1800.00/1800.50 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.00/1800.50 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.00/1800.50 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.00/1800.50 v -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.00/1800.50 v -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 1800.00/1800.50 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.00/1800.50 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 1800.00/1800.50 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 1800.00/1800.50 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.00/1800.50 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.00/1800.50 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.00/1800.50 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.00/1800.50 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.00/1800.50 v -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.00/1800.50 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.00/1800.50 v -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.00/1800.50 v -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 1800.00/1800.50 v -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.00/1800.50 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.00/1800.50 v -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631 1800.00/1800.50 v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 1800.00/1800.50 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.00/1800.50 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 x694 1800.00/1800.50 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 -x715 1800.00/1800.50 v -x716 x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 1800.00/1800.50 v -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.00/1800.50 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.00/1800.50 v -x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 x798 x799 -x800 1800.00/1800.50 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 x819 -x820 -x821 1800.00/1800.50 v -x822 -x823 -x824 -x825 -x826 x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 x843 1800.00/1800.50 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.00/1800.50 v x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 x875 x876 x877 x878 -x879 -x880 -x881 -x882 x883 -x884 x885 -x886 1800.00/1800.50 v -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 x895 -x896 x897 x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 -x908 1800.00/1800.50 v x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 x919 -x920 x921 x922 x923 -x924 x925 -x926 -x927 -x928 -x929 x930 1800.00/1800.50 v x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 -x941 x942 -x943 x944 x945 x946 x947 x948 x949 x950 -x951 -x952 -x953 1800.00/1800.50 v -x954 -x955 -x956 x957 x958 x959 -x960 x961 x962 -x963 x964 x965 -x966 -x967 x968 x969 x970 -x971 x972 x973 -x974 x975 x976 1800.00/1800.50 v -x977 -x978 x979 x980 -x981 x982 -x983 -x984 x985 x986 x987 x988 x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 18 418329 68763 527688 67411 44964797 51591 232 1800.02 1800.00/1800.50 c Objective: -126 1800.00/1800.50 s SATISFIABLE 1800.00/1800.50 c Total time: 1800.02 s
OK -126
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-454380-1178025320 -o ROOT/results/node11/solver-454380-1178025320 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454380-1178025320/instance-454380-1178025320.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.98 0.97 0.99 3/77 20505 /proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=12144 CPUtime=0 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 243580980 12435456 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134526651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 3036 336 281 324 0 2003 0 [startup+0.099732 s] /proc/loadavg: 0.98 0.97 0.99 3/77 20505 /proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=9532 CPUtime=0.09 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 1705 0 0 0 8 1 0 0 18 0 1 0 243580980 9760768 1674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 2383 1674 343 324 0 1350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9532 [startup+0.101732 s] /proc/loadavg: 0.98 0.97 0.99 3/77 20505 /proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=9532 CPUtime=0.09 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 1732 0 0 0 8 1 0 0 18 0 1 0 243580980 9760768 1701 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 2383 1701 344 324 0 1350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9532 [startup+0.301755 s] /proc/loadavg: 0.98 0.97 0.99 3/77 20505 /proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=21796 CPUtime=0.29 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 4886 0 0 0 27 2 0 0 19 0 1 0 243580980 22319104 4713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 5449 4713 307 324 0 4518 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21796 [startup+0.701803 s] /proc/loadavg: 0.98 0.97 0.99 3/77 20505 /proc/meminfo: memFree=1802776/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=21796 CPUtime=0.69 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 4886 0 0 0 67 2 0 0 23 0 1 0 243580980 22319104 4713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 5449 4713 307 324 0 4518 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21796 [startup+1.5019 s] /proc/loadavg: 0.98 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1784848/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=24472 CPUtime=1.49 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 5987 0 0 0 143 6 0 0 25 0 1 0 243580980 25059328 5366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 6118 5366 313 324 0 5187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24472 [startup+3.10108 s] /proc/loadavg: 0.98 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1771792/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=50632 CPUtime=3.09 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 12526 0 0 0 300 9 0 0 25 0 1 0 243580980 51847168 11905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 12658 11905 313 324 0 11727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50632 [startup+6.30147 s] /proc/loadavg: 0.98 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1724880/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=92252 CPUtime=6.28 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 22930 0 0 0 615 13 0 0 25 0 1 0 243580980 94466048 22309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 23063 22309 313 324 0 22132 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 92252 [startup+12.7022 s] /proc/loadavg: 0.98 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1652816/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=159848 CPUtime=12.69 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 39852 0 0 0 1247 22 0 0 25 0 1 0 243580980 163684352 39231 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 39962 39231 313 324 0 39031 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 159848 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1565912/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=243104 CPUtime=25.48 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 60651 0 0 0 2515 33 0 0 25 0 1 0 243580980 248938496 60030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 60776 60030 313 324 0 59845 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 243104 [startup+51.1018 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1439704/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=368376 CPUtime=51.08 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 91972 0 0 0 5059 49 0 0 25 0 1 0 243580980 377217024 91351 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 92094 91351 313 324 0 91163 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 368376 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1245528/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=560016 CPUtime=102.26 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 139931 0 0 0 10152 74 0 0 25 0 1 0 243580980 573456384 139262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 140004 139262 313 324 0 139073 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 560016 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1245528/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=560016 CPUtime=162.24 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 139931 0 0 0 16146 78 0 0 25 0 1 0 243580980 573456384 139262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 140004 139262 313 324 0 139073 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 560016 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1207832/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=597596 CPUtime=222.23 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 149383 0 0 0 22137 86 0 0 25 0 1 0 243580980 611938304 148662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 149399 148662 313 324 0 148468 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 597596 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1207832/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=597596 CPUtime=282.21 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 149383 0 0 0 28131 90 0 0 25 0 1 0 243580980 611938304 148662 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 149399 148662 313 324 0 148468 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 597596 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1186584/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=619656 CPUtime=342.2 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 34122 98 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 154914 154171 313 324 0 153983 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 619656 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1185816/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=619656 CPUtime=402.17 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 40117 100 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 154914 154171 313 324 0 153983 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 619656 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1185816/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=619656 CPUtime=462.17 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 46113 104 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 154914 154171 313 324 0 153983 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 619656 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 20506 /proc/meminfo: memFree=1185816/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=619656 CPUtime=522.15 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 154945 0 0 0 52109 106 0 0 25 0 1 0 243580980 634527744 154171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 154914 154171 313 324 0 153983 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 619656 [startup+582.302 s] /proc/loadavg: 1.11 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1161432/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=643936 CPUtime=582.13 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161086 0 0 0 58102 111 0 0 25 0 1 0 243580980 659390464 160256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 160984 160256 313 324 0 160053 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 643936 [startup+642.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1161432/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=643936 CPUtime=642.12 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161086 0 0 0 64098 114 0 0 25 0 1 0 243580980 659390464 160256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 160984 160256 313 324 0 160053 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 643936 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1161176/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=644196 CPUtime=882.05 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161203 0 0 0 88081 124 0 0 25 0 1 0 243580980 659656704 160317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 161049 160317 313 324 0 160118 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 644196 [startup+942.301 s] /proc/loadavg: 1.04 1.01 1.00 2/78 20506 /proc/meminfo: memFree=1161176/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=644196 CPUtime=942.03 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161203 0 0 0 94075 128 0 0 25 0 1 0 243580980 659656704 160317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 161049 160317 313 324 0 160118 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 644196 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20506 /proc/meminfo: memFree=1161176/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=644196 CPUtime=1002.02 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 161203 0 0 0 100070 132 0 0 25 0 1 0 243580980 659656704 160317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 161049 160317 313 324 0 160118 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 644196 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670448 CPUtime=1062 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 106063 137 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167612 166875 313 324 0 166681 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 670448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670448 CPUtime=1121.99 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 112058 141 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167612 166875 313 324 0 166681 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 670448 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670448 CPUtime=1181.97 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 118053 144 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167612 166875 313 324 0 166681 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 670448 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670448 CPUtime=1241.95 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 124048 147 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167612 166875 313 324 0 166681 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 670448 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1134872/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670448 CPUtime=1301.94 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 130044 150 0 0 25 0 1 0 243580980 686538752 166875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167612 166875 313 324 0 166681 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 670448 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1143576/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=661704 CPUtime=1361.92 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 136039 153 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 165426 164699 313 324 0 164495 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 661704 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1143576/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=661704 CPUtime=1421.91 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 142036 155 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 165426 164699 313 324 0 164495 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 661704 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1143576/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=661704 CPUtime=1481.88 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 148031 157 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 165426 164699 313 324 0 164495 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 661704 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1143640/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=661704 CPUtime=1541.87 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 167819 0 0 0 154028 159 0 0 25 0 1 0 243580980 677584896 164699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 165426 164699 313 324 0 164495 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 661704 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670228 CPUtime=1601.86 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 160024 162 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167557 166809 313 324 0 166626 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 670228 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670228 CPUtime=1661.84 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 166019 165 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167557 166809 313 324 0 166626 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 670228 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670228 CPUtime=1721.82 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 172014 168 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167557 166809 313 324 0 166626 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 670228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1135192/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=670228 CPUtime=1781.8 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 169987 0 0 0 178009 171 0 0 25 0 1 0 243580980 686313472 166809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 167557 166809 313 324 0 166626 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 670228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20506 /proc/meminfo: memFree=1106200/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=699104 CPUtime=1800 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194304 177266 0 0 0 179824 176 0 0 25 0 1 0 243580980 715882496 174028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 174776 174028 313 324 0 173845 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 699104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 20507 /proc/meminfo: memFree=1720336/2055920 swapFree=4147120/4192956 [pid=20505] ppid=20503 vsize=0 CPUtime=1800.11 /proc/20505/stat : 20505 (bsolo3.0.16) R 20503 20505 22965 0 -1 4194308 177267 0 0 0 179824 187 0 0 25 0 1 0 243580980 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/20505/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.13 CPU user time (s): 1798.25 CPU system time (s): 1.87971 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 699344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.25 system time used= 1.87971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177267 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= 36513 runsolver used 1.38679 second user time and 3.99339 second system time The end
Begin job on node11 on Tue May 1 13:15:20 UTC 2007 IDJOB= 454380 IDBENCH= 48193 IDSOLVER= 163 FILE ID= node11/454380-1178025320 PBS_JOBID= 4728369 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_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454380-1178025320/instance-454380-1178025320.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-454380-1178025320 -o ROOT/results/node11/solver-454380-1178025320 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454380-1178025320/instance-454380-1178025320.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED= 975418733 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1803184 kB Buffers: 46628 kB Cached: 112476 kB SwapCached: 14160 kB Active: 107412 kB Inactive: 78432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803184 kB SwapTotal: 4192956 kB SwapFree: 4147120 kB Dirty: 7160 kB Writeback: 0 kB Mapped: 33272 kB Slab: 52300 kB Committed_AS: 6916948 kB PageTables: 1856 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 node11 on Tue May 1 13:45:23 UTC 2007