Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -65 | 1800.29 | 1800.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
MD5SUM | 3262a45f0e59552e467da6c31a32418a |
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 | -70 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -70 |
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 | 60 |
Maximum length of a constraint | 109 |
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) | 75586 |
Sum of products size (including duplicates) | 151172 |
Number of different products | 37793 |
Sum of products size | 75586 |
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/454056-1178020667/instance-454056-1178020667.opb 0.00/0.00 c File size is 976560 bytes. 0.39/0.46 c Highest Coefficient sum: 1000 0.39/0.46 c Parsing was ok!! 0.39/0.46 c Total parsing time: 0.458 s 0.49/0.59 c Var: 76586 Constr: 153172 76586/1000/75586 Lit: 604688 Watch. Lit: 453516 0.49/0.59 c Obj. Vars: 1000 (1.30572 % of total variables) 6.59/6.67 c Pre-processing Time: 6.669 s 6.59/6.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.67 c 0 1000 37793 113379 3 75586 12597 0 0 6.67 6.59/6.67 c Switching off LPR mode. 6.59/6.69 o -64 6.688 6.59/6.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.70 c 0 1000 37794 114379 3 75652 13597 1 0 6.69 6.59/6.70 o -65 6.694 1800.05/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.60 c 3 1000 37798 118179 3 75725 13597 5 0 6.70 1800.05/1800.60 c 103 1000 37898 211340 5 75925 14957 105 15 6.75 1800.05/1800.60 c 354 1000 38149 445161 11 76427 16453 356 51 6.88 1800.05/1800.60 c 829 1000 38624 887729 22 77377 18099 831 115 7.20 1800.05/1800.60 c 1644 1000 39439 1646843 41 79007 19909 1646 210 7.80 1800.05/1800.60 c 2965 1000 40760 2877205 70 81649 21900 2967 336 8.81 1800.05/1800.60 c 5046 1000 42841 4815303 112 85811 24091 5048 453 11.12 1800.05/1800.60 c 8269 1000 46064 7817300 169 92257 26501 8271 488 16.93 1800.05/1800.60 c 13206 1000 51001 12416847 243 102131 29152 13208 502 26.27 1800.05/1800.60 c 20712 1000 58507 19408279 331 117143 32068 20714 434 47.67 1800.05/1800.60 c 32074 1000 69869 29987718 429 139867 35275 32076 372 86.13 1800.05/1800.60 c 49218 1000 87013 45955213 528 174155 38803 49220 319 154.03 1800.05/1800.60 c 75038 1000 112833 70002320 620 225795 42684 75040 278 269.44 1800.05/1800.61 c 113870 1000 151665 106173450 700 303459 46953 113872 215 528.32 1800.05/1800.61 c 172222 1000 99076 57191238 577 198217 51649 61283 123 1393.86 1800.05/1800.61 c Caught signal: 15 1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.61 v -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 x859 -x860 1800.05/1800.61 v -x861 x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.05/1800.61 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.05/1800.61 v -x903 x904 x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.05/1800.61 v x924 -x925 -x926 -x927 x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 1800.05/1800.61 v x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 -x965 x966 -x967 1800.05/1800.61 v -x968 -x969 -x970 x971 -x972 x973 x974 -x975 x976 -x977 x978 x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 x989 1800.05/1800.61 v x990 x991 x992 x993 x994 x995 x996 -x997 x998 x999 x1000 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 16 207610 21501 235790 134464 90145405 96671 115 1800.05 1800.05/1800.61 c Objective: -65 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.05 s
OK -65
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-454056-1178020667 -o ROOT/results/node60/solver-454056-1178020667 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454056-1178020667/instance-454056-1178020667.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.78 0.95 0.98 3/64 14922 /proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=12692 CPUtime=0 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 249976655 12996608 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5995683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 3173 333 279 324 0 2004 0 [startup+0.0686221 s] /proc/loadavg: 0.78 0.95 0.98 3/64 14922 /proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=8684 CPUtime=0.06 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 1337 0 0 0 6 0 0 0 18 0 1 0 249976655 8892416 1307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 2171 1307 325 324 0 1002 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8684 [startup+0.101625 s] /proc/loadavg: 0.78 0.95 0.98 3/64 14922 /proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=10332 CPUtime=0.09 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 1781 0 0 0 9 0 0 0 18 0 1 0 249976655 10579968 1751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 2583 1752 343 324 0 1414 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10332 [startup+0.301644 s] /proc/loadavg: 0.78 0.95 0.98 3/64 14922 /proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=20656 CPUtime=0.29 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 4557 0 0 0 27 2 0 0 19 0 1 0 249976655 21151744 4359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 5164 4360 442 324 0 3995 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20656 [startup+0.701684 s] /proc/loadavg: 0.78 0.95 0.98 3/64 14922 /proc/meminfo: memFree=1901440/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=46208 CPUtime=0.69 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11073 0 0 0 64 5 0 0 22 0 1 0 249976655 47316992 10636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 11552 10636 305 324 0 10622 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46208 [startup+1.50176 s] /proc/loadavg: 0.78 0.95 0.98 2/65 14923 /proc/meminfo: memFree=1859960/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=46208 CPUtime=1.49 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11073 0 0 0 144 5 0 0 25 0 1 0 249976655 47316992 10636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 11552 10636 305 324 0 10622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46208 [startup+3.10192 s] /proc/loadavg: 0.78 0.95 0.98 2/65 14923 /proc/meminfo: memFree=1859832/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=46208 CPUtime=3.09 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11073 0 0 0 304 5 0 0 25 0 1 0 249976655 47316992 10636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 11552 10636 305 324 0 10622 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46208 [startup+6.30123 s] /proc/loadavg: 0.80 0.95 0.98 2/65 14923 /proc/meminfo: memFree=1857336/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=48776 CPUtime=6.29 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 11844 0 0 0 618 11 0 0 25 0 1 0 249976655 49946624 11257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 12194 11257 307 324 0 11264 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48776 [startup+12.7019 s] /proc/loadavg: 0.81 0.95 0.98 2/65 14923 /proc/meminfo: memFree=1794936/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=116304 CPUtime=12.68 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 29660 0 0 0 1251 17 0 0 25 0 1 0 249976655 119095296 28173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 29076 28173 311 324 0 28146 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 116304 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.98 2/65 14923 /proc/meminfo: memFree=1715968/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=191912 CPUtime=25.48 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 48561 0 0 0 2523 25 0 0 25 0 1 0 249976655 196517888 47074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 47978 47074 311 324 0 47048 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 191912 [startup+51.1016 s] /proc/loadavg: 0.90 0.96 0.98 2/65 14923 /proc/meminfo: memFree=1594816/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=313828 CPUtime=51.07 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 79040 0 0 0 5066 41 0 0 25 0 1 0 249976655 321359872 77553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 78457 77553 311 324 0 77527 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 313828 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/65 14923 /proc/meminfo: memFree=1396288/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=509424 CPUtime=102.26 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 127913 0 0 0 10161 65 0 0 25 0 1 0 249976655 521650176 126426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 127356 126429 311 324 0 126426 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 509424 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/65 14923 /proc/meminfo: memFree=1229056/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=680136 CPUtime=162.24 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 170603 0 0 0 16140 84 0 0 25 0 1 0 249976655 696459264 169116 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 170034 169116 311 324 0 169104 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 680136 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/71 15079 /proc/meminfo: memFree=1067064/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=836104 CPUtime=222.15 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 209604 0 0 0 22110 105 0 0 25 0 1 0 249976655 856170496 208117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 209026 208117 311 324 0 208096 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 836104 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=907840/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=998784 CPUtime=282.12 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 250258 0 0 0 28087 125 0 0 25 0 1 0 249976655 1022754816 248771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 249696 248771 311 324 0 248766 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 998784 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=756160/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1147836 CPUtime=342.1 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 287531 0 0 0 34066 144 0 0 25 0 1 0 249976655 1175384064 286044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 286959 286044 311 324 0 286029 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 1147836 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=666176/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1238132 CPUtime=402.09 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 310095 0 0 0 40052 157 0 0 25 0 1 0 249976655 1267847168 308608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 309533 308608 311 324 0 308603 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 1238132 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=591488/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1312576 CPUtime=462.07 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 328701 0 0 0 46042 165 0 0 25 0 1 0 249976655 1344077824 327214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 328144 327214 311 324 0 327214 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 1312576 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=526528/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1378060 CPUtime=522.05 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 345072 0 0 0 52031 174 0 0 25 0 1 0 249976655 1411133440 343585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 344515 343585 311 324 0 343585 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 1378060 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=582.04 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 58016 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 1501360 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=642.03 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 64015 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 1501360 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=881.96 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 88008 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 1501360 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=941.95 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 94007 188 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1501360 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1001.94 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 100005 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 1501360 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401472/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1061.92 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 106003 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1501360 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1121.91 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 112002 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1501360 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1181.89 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 118000 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1501360 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1241.88 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 123999 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1501360 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1301.87 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 129998 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1501360 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401408/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1361.85 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 135996 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1501360 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1421.83 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 141994 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1501360 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1481.81 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 147992 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1501360 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1541.8 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 153991 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1501360 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1601.78 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 159989 189 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1501360 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401344/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1661.78 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 165988 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1501360 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1721.76 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 171986 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1501360 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1781.74 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 177984 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1501360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=1501360 CPUtime=1800.05 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194304 376018 0 0 0 179815 190 0 0 25 0 1 0 249976655 1537392640 374410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 375340 374410 311 324 0 374410 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1501360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 15121 /proc/meminfo: memFree=401280/2055920 swapFree=4183252/4192956 [pid=14922] ppid=14920 vsize=0 CPUtime=1800.23 /proc/14922/stat : 14922 (bsolo3.0.17) R 14920 14922 14857 0 -1 4194308 376022 0 0 0 179815 208 0 0 25 0 1 0 249976655 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.85 CPU time (s): 1800.29 CPU user time (s): 1798.16 CPU system time (s): 2.13368 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1501844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.16 system time used= 2.13368 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 376022 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= 3109 runsolver used 1.26181 second user time and 3.71443 second system time The end
Begin job on node60 on Tue May 1 11:57:47 UTC 2007 IDJOB= 454056 IDBENCH= 48171 IDSOLVER= 199 FILE ID= node60/454056-1178020667 PBS_JOBID= 4728378 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454056-1178020667/instance-454056-1178020667.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-454056-1178020667 -o ROOT/results/node60/solver-454056-1178020667 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454056-1178020667/instance-454056-1178020667.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED= 244297265 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1901848 kB Buffers: 22700 kB Cached: 62676 kB SwapCached: 3228 kB Active: 35048 kB Inactive: 59408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1901848 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 7692 kB Writeback: 0 kB Mapped: 15184 kB Slab: 45624 kB Committed_AS: 3471544 kB PageTables: 1464 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= 66557 MiB End job on node60 on Tue May 1 12:27:50 UTC 2007