Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -36 | 1798.09 | 1798.59 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | 05ceccb8ea9c274c844c39df1472d3cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -38 |
Best CPU time to get the best result obtained on this benchmark | 1789.96 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 59186 |
Number of constraints which are clauses | 59186 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
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 | 945 |
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 | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656449-1276499100.opb 0.00/0.00 c File size is 1415680 bytes. 0.19/0.22 c Highest Coefficient sum: 945 0.19/0.22 c Parsing was ok!! 0.19/0.22 c Total parsing time: 0.226 s 0.19/0.24 c Var: 945 Constr: 59186 59186/0/0 Lit: 118372 Watch. Lit: 118372 0.19/0.24 c Obj. Vars: 945 (100 % of total variables) 1.49/1.57 c Pre-processing Time: 1.575 s 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 945 59186 118372 2 118372 19728 0 0 1.57 1.49/1.58 c Switching off lower bounding mode. 1.49/1.58 o -31 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 0 945 59187 119317 2 118405 20728 1 0 1.59 1.59/1.61 o -32 2.10/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.19 c 12 945 59201 132104 2 118465 20728 15 7 1.61 2.10/2.19 c 113 945 59310 231232 3 118683 22801 124 63 1.77 2.10/2.19 c 363 945 59587 482809 8 119237 25082 401 165 2.19 2.10/2.19 o -33 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 363 945 59588 483754 8 119272 20728 402 165 2.20 3.69/3.73 c 463 945 59695 580957 9 119486 22801 509 195 2.37 3.69/3.73 c 714 945 59969 829883 13 120034 25082 783 254 2.81 3.69/3.73 c 1189 945 60482 1295899 21 121060 27591 1296 319 3.72 3.69/3.73 o -34 268.22/268.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 268.22/268.30 c 1189 945 60483 1296844 21 121096 20728 1297 318 3.73 268.22/268.30 c 1290 945 60592 1395698 23 121314 22801 1406 330 3.90 268.22/268.30 c 1541 945 60872 1649635 27 121874 25082 1686 352 4.37 268.22/268.30 c 2016 945 61381 2111434 34 122892 27591 2195 376 5.35 268.22/268.30 c 2830 945 62293 2937448 47 124716 30351 3107 400 7.06 268.22/268.30 c 4150 945 63726 4237254 66 127613 33387 4540 409 10.14 268.22/268.30 c 6231 945 66066 6358019 96 132293 36726 6880 403 15.46 268.22/268.30 c 9454 945 69642 9599344 137 139445 40399 10456 382 24.70 268.22/268.30 c 14390 945 75154 14595581 194 150501 44439 15968 329 43.66 268.22/268.30 c 21896 945 83532 22190016 265 167289 48883 24346 278 78.49 268.22/268.30 c 33257 945 96401 33847774 351 193027 53772 37215 232 143.00 268.22/268.30 c 50402 945 74123 13633882 183 148342 59150 14937 189 265.62 268.22/268.30 o -35 268.52/268.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 268.52/268.62 c 51211 945 75007 14435836 192 150145 20728 15821 190 268.24 268.52/268.62 o -36 1797.90/1798.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.50 c 51298 945 75103 14522878 193 150373 20728 15917 191 268.55 1797.90/1798.50 c 51398 945 75213 14622399 194 150593 22801 16027 191 268.80 1797.90/1798.50 c 51648 945 75505 14886149 197 151177 25082 16319 191 269.51 1797.90/1798.50 c 52123 945 76023 15354555 201 152213 27591 16837 192 271.24 1797.90/1798.50 c 52938 945 76955 16197146 210 154077 30351 17769 192 274.43 1797.90/1798.50 c 54259 945 78456 17553088 223 157079 33387 19270 195 277.99 1797.90/1798.50 c 56341 945 80809 19679525 243 161785 36726 21623 198 284.18 1797.90/1798.50 c 59565 945 84481 22996467 272 169129 40399 25295 201 295.46 1797.90/1798.50 c 64502 945 90166 28125812 311 180499 44439 30980 203 317.52 1797.90/1798.50 c 72009 945 98215 35413123 360 196597 48883 39029 199 360.69 1797.90/1798.50 c 83370 945 74231 13716741 184 148498 53772 15045 196 424.02 1797.90/1798.50 c 100515 945 93803 31395812 334 187642 59150 34617 196 511.52 1797.90/1798.50 c 126334 945 76607 15841326 206 153342 65066 17421 173 727.73 1797.90/1798.50 c 165166 945 120053 55116269 459 240267 71573 60867 163 1012.20 1797.90/1798.50 c 223518 945 127299 61674758 484 254634 78731 68113 143 1560.77 1797.90/1798.50 c Resources Exceeded 1797.90/1798.50 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 1797.90/1798.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.50 c 36 250105 20166 274990 91088 28961191 31902 139 1798.00 1797.90/1798.50 c Objective: -36 1797.90/1798.50 s SATISFIABLE 1797.90/1798.50 c Total time: 1798 s
OK -36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656449-1276499100/watcher-2656449-1276499100 -o /tmp/evaluation-result-2656449-1276499100/solver-2656449-1276499100 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656449-1276499100.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27820 /proc/meminfo: memFree=1807108/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=12312 CPUtime=0 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 357 0 0 0 0 0 0 0 22 0 1 0 23565374 12607488 275 1992294400 134512640 137138936 4292385008 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 3078 275 177 642 0 2088 0 [startup+0.04317 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27820 /proc/meminfo: memFree=1807108/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=13276 CPUtime=0.04 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 642 0 0 0 4 0 0 0 22 0 1 0 23565374 13594624 560 1992294400 134512640 137138936 4292385008 18446744073709551615 136736938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 3319 560 230 642 0 2329 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13276 [startup+0.101175 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27820 /proc/meminfo: memFree=1807108/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=14652 CPUtime=0.09 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 1098 0 0 0 9 0 0 0 22 0 1 0 23565374 15003648 1016 1992294400 134512640 137138936 4292385008 18446744073709551615 136528608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 3663 1017 319 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14652 [startup+0.301191 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27820 /proc/meminfo: memFree=1807108/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=19336 CPUtime=0.29 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 2823 0 0 0 28 1 0 0 22 0 1 0 23565374 19800064 2395 1992294400 134512640 137138936 4292385008 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 4834 2395 184 642 0 4190 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19336 [startup+0.701222 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27820 /proc/meminfo: memFree=1807108/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=21336 CPUtime=0.69 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 3303 0 0 0 66 3 0 0 23 0 1 0 23565374 21848064 2875 1992294400 134512640 137138936 4292385008 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 5334 2875 185 642 0 4690 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21336 [startup+1.50129 s] /proc/loadavg: 0.92 0.98 0.99 2/107 27821 /proc/meminfo: memFree=1796064/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=21336 CPUtime=1.49 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 3303 0 0 0 142 7 0 0 25 0 1 0 23565374 21848064 2875 1992294400 134512640 137138936 4292385008 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 5334 2875 185 642 0 4690 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21336 [startup+3.10141 s] /proc/loadavg: 0.92 0.98 0.99 2/107 27821 /proc/meminfo: memFree=1793832/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=30572 CPUtime=3.09 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 6507 0 0 0 301 8 0 0 25 0 1 0 23565374 31305728 5211 1992294400 134512640 137138936 4292385008 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 7643 5211 192 642 0 6999 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30572 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/107 27821 /proc/meminfo: memFree=1771884/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=51096 CPUtime=6.29 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 11631 0 0 0 618 11 0 0 25 0 1 0 23565374 52322304 10335 1992294400 134512640 137138936 4292385008 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 12774 10335 192 642 0 12130 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51096 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 27821 /proc/meminfo: memFree=1734188/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=86516 CPUtime=12.69 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 20501 0 0 0 1253 16 0 0 25 0 1 0 23565374 88592384 19205 1992294400 134512640 137138936 4292385008 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 21629 19205 192 642 0 20985 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86516 [startup+25.5002 s] /proc/loadavg: 0.95 0.98 0.99 2/107 27823 /proc/meminfo: memFree=1673552/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=144948 CPUtime=25.48 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 35096 0 0 0 2526 22 0 0 25 0 1 0 23565374 148426752 33800 1992294400 134512640 137138936 4292385008 18446744073709551615 134551810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 36237 33800 192 642 0 35593 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 144948 [startup+51.1002 s] /proc/loadavg: 0.96 0.98 0.99 2/107 27823 /proc/meminfo: memFree=1587620/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=231224 CPUtime=51.07 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 56671 0 0 0 5071 36 0 0 25 0 1 0 23565374 236773376 55375 1992294400 134512640 137138936 4292385008 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 57806 55375 192 642 0 57162 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 231224 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 27825 /proc/meminfo: memFree=1450600/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=366040 CPUtime=102.27 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 90380 0 0 0 10166 61 0 0 25 0 1 0 23565374 374824960 89084 1992294400 134512640 137138936 4292385008 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 91510 89084 192 642 0 90866 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 366040 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27825 /proc/meminfo: memFree=1326352/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=490900 CPUtime=162.25 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 121593 0 0 0 16142 83 0 0 25 0 1 0 23565374 502681600 120297 1992294400 134512640 137138936 4292385008 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 122725 120297 192 642 0 122081 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 490900 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27827 /proc/meminfo: memFree=1204956/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=611216 CPUtime=222.23 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 151659 0 0 0 22118 105 0 0 25 0 1 0 23565374 625885184 150363 1992294400 134512640 137138936 4292385008 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 152804 150363 192 642 0 152160 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 611216 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27829 /proc/meminfo: memFree=1160564/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=282.21 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 28107 114 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 134599730 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 655004 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27831 /proc/meminfo: memFree=1160440/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=342.19 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 34101 118 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 655004 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27833 /proc/meminfo: memFree=1160440/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=402.18 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 40094 124 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 136504131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 655004 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27833 /proc/meminfo: memFree=1160316/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=462.16 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 46087 129 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 655004 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27835 /proc/meminfo: memFree=1160316/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=522.15 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 52080 135 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 655004 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27837 /proc/meminfo: memFree=1160192/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=582.14 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 58074 140 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 655004 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27839 /proc/meminfo: memFree=1160068/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=655004 CPUtime=642.13 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 162663 0 0 0 64069 144 0 0 25 0 1 0 23565374 670724096 161313 1992294400 134512640 137138936 4292385008 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 163751 161313 192 642 0 163107 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 655004 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=975680/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=841124 CPUtime=1062 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 209244 0 0 0 106002 198 0 0 25 0 1 0 23565374 861310976 207835 1992294400 134512640 137138936 4292385008 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 210281 207835 192 642 0 209637 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 841124 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27851 /proc/meminfo: memFree=955096/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1121.98 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 111993 205 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 859452 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27853 /proc/meminfo: memFree=954972/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1181.97 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 117987 210 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 859452 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27855 /proc/meminfo: memFree=954848/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1241.95 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 123982 213 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 859452 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27857 /proc/meminfo: memFree=954724/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1301.94 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 129977 217 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 859452 [startup+1362.3 s] /proc/loadavg: 1.11 1.02 1.01 2/107 27857 /proc/meminfo: memFree=954724/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1361.91 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 135971 220 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 859452 [startup+1422.31 s] /proc/loadavg: 1.11 1.03 1.00 2/107 27859 /proc/meminfo: memFree=954724/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1421.91 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 141968 223 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 859452 [startup+1482.3 s] /proc/loadavg: 1.17 1.05 1.01 2/107 27861 /proc/meminfo: memFree=954600/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1481.88 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 147962 226 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 859452 [startup+1542.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 27863 /proc/meminfo: memFree=954600/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=859452 CPUtime=1541.86 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 213915 0 0 0 153957 229 0 0 25 0 1 0 23565374 880078848 212435 1992294400 134512640 137138936 4292385008 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 214863 212435 192 642 0 214219 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 859452 [startup+1602.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 27865 /proc/meminfo: memFree=928188/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=888376 CPUtime=1601.85 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 221132 0 0 0 159947 238 0 0 25 0 1 0 23565374 909697024 219652 1992294400 134512640 137138936 4292385008 18446744073709551615 134544952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 222094 219652 192 642 0 221450 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 888376 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 27865 /proc/meminfo: memFree=871520/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1661.82 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 165936 246 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 942620 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27867 /proc/meminfo: memFree=871396/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1721.81 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 171931 250 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 942620 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1781.79 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 177925 254 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 942620 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1791.4 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 178885 255 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 942620 [startup+1795.1 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1794.6 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 179205 255 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 942620 [startup+1796.7 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1796.19 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 179364 255 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 942620 [startup+1797.5 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1796.99 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 179444 255 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 942620 [startup+1798.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=942620 CPUtime=1797.8 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202496 234790 0 0 0 179524 256 0 0 25 0 1 0 23565374 965242880 233232 1992294400 134512640 137138936 4292385008 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27820/statm: 235655 233232 192 642 0 235011 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 942620 [startup+1798.51 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27869 /proc/meminfo: memFree=871148/2059040 swapFree=4136648/4192956 [pid=27820] ppid=27818 vsize=0 CPUtime=1798 /proc/27820/stat : 27820 (bsolo_pb10) R 27818 27820 27456 0 -1 4202500 234791 0 0 0 179544 256 0 0 25 0 1 0 23565374 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/27820/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.09 CPU user time (s): 1795.44 CPU system time (s): 2.6526 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 942620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.44 system time used= 2.6526 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234791 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= 1 involuntary context switches= 4785 runsolver used 3.01754 second user time and 8.43972 second system time The end
Begin job on node026 at 2010-06-14 09:05:00 IDJOB=2656449 IDBENCH=2252 IDSOLVER=1162 FILE ID=node026/2656449-1276499100 PBS_JOBID= 11173403 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656449-1276499100/watcher-2656449-1276499100 -o /tmp/evaluation-result-2656449-1276499100/solver-2656449-1276499100 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656449-1276499100.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED=1171388888 node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1807636 kB Buffers: 67096 kB Cached: 105736 kB SwapCached: 9576 kB Active: 106660 kB Inactive: 78748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1807636 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 5264 kB Writeback: 0 kB AnonPages: 10864 kB Mapped: 9180 kB Slab: 44188 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181504 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node026 at 2010-06-14 09:34:58