Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -35 | 1800.2 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
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 | 58579 |
Number of constraints which are clauses | 58579 |
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.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/433102-1177954505/instance-433102-1177954505.opb 0.00/0.00 c File size is 1399605 bytes. 0.19/0.24 c Highest Coefficient sum: 945 0.19/0.24 c Parsing was ok!! 0.19/0.24 c Total parsing time: 0.236 s 0.19/0.26 c Var: 945 Constr: 58579 58579/0/0 Lit: 117158 Watch. Lit: 117158 0.19/0.26 c Obj. Vars: 945 (100 % of total variables) 1.39/1.42 c Pre-processing Time: 1.423 s 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 0 945 58579 117158 2 117158 19526 0 0 1.42 1.39/1.42 c Switching off LPR mode. 1.39/1.43 o -33 1.432 24.18/24.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.18/24.26 c 0 945 58580 118103 2 117193 20526 1 0 1.44 24.18/24.26 c 100 945 58680 208934 3 117393 22579 101 67 1.48 24.18/24.26 c 350 945 58930 435979 7 117893 24837 351 216 1.61 24.18/24.26 c 825 945 59405 867511 14 118843 27321 826 443 1.86 24.18/24.26 c 1638 945 60218 1605373 26 120469 30054 1639 666 2.46 24.18/24.26 c 2958 945 61538 2803785 45 123109 33060 2959 810 3.65 24.18/24.26 c 5040 945 63620 4694728 73 127273 36367 5041 863 5.83 24.18/24.26 c 8263 945 66843 7622211 114 133719 40004 8264 675 12.23 24.18/24.26 c 13199 945 71779 12104410 168 143591 44005 13200 545 24.21 24.18/24.26 o -34 24.254 89.47/89.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 89.47/89.58 c 13199 945 71780 12105355 168 143627 20526 13201 544 24.26 89.47/89.58 c 13300 945 71881 12197020 169 143829 22579 13302 546 24.34 89.47/89.58 c 13551 945 72132 12424916 172 144331 24837 13553 552 24.54 89.47/89.58 c 14027 945 72608 12856449 177 145283 27321 14029 563 24.88 89.47/89.58 c 14840 945 73421 13593412 185 146909 30054 14842 578 25.67 89.47/89.58 c 16161 945 74742 14792122 197 149551 33060 16163 595 27.15 89.47/89.58 c 18242 945 76823 16679754 217 153713 36367 18244 543 33.55 89.47/89.58 c 21465 945 80046 19604282 244 160159 40004 21467 452 47.39 89.47/89.58 c 26402 945 84983 24081586 283 170033 44005 26404 458 57.54 89.47/89.58 c 33908 945 92489 30891847 334 185045 48406 33910 419 80.92 89.47/89.58 o -35 89.554 1800.06/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.60 c 35516 945 94098 32351420 343 188298 20526 35519 396 89.56 1800.06/1800.60 c 35616 945 68943 9518784 138 137921 22579 10364 355 100.22 1800.06/1800.60 c 35866 945 69193 9745404 140 138421 24837 10614 354 101.14 1800.06/1800.60 c 36341 945 69668 10175938 146 139371 27321 11089 353 102.71 1800.06/1800.60 c 37154 945 70481 10912876 154 140997 30054 11902 359 103.36 1800.06/1800.60 c 38474 945 71801 12109335 168 143637 33060 13222 366 104.85 1800.06/1800.60 c 40555 945 73882 13994752 189 147799 36367 15303 366 110.62 1800.06/1800.60 c 43779 945 77106 16916913 219 154247 40004 18527 359 121.90 1800.06/1800.60 c 48716 945 82043 21386509 260 164121 44005 23464 364 133.78 1800.06/1800.60 c 56222 945 89549 28183479 314 179133 48406 30970 327 171.89 1800.06/1800.60 c 67583 945 100910 38474517 381 201855 53247 42331 284 237.46 1800.06/1800.60 c 84727 945 75571 15512670 205 151177 58572 16992 195 432.81 1800.06/1800.61 c 110546 945 101390 38892289 383 202815 64430 42811 158 696.97 1800.06/1800.61 c 149379 945 86793 25644271 295 173621 70874 28214 137 1087.44 1800.06/1800.61 c Caught signal: 15 1800.06/1800.61 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.06/1800.61 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.06/1800.61 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.06/1800.61 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.06/1800.61 v -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.06/1800.61 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.06/1800.61 v -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.06/1800.61 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 1800.06/1800.61 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 1800.06/1800.61 v -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.06/1800.61 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 1800.06/1800.61 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.06/1800.61 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.06/1800.61 v -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.06/1800.61 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 1800.06/1800.61 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.06/1800.61 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.06/1800.61 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 1800.06/1800.61 v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.06/1800.61 v -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.06/1800.61 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.06/1800.61 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.06/1800.61 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.06/1800.61 v -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.06/1800.61 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 1800.06/1800.61 v -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.06/1800.61 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.06/1800.61 v -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.06/1800.61 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 1800.06/1800.61 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.06/1800.61 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.06/1800.61 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.06/1800.61 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.06/1800.61 v -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.06/1800.61 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 1800.06/1800.61 v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.06/1800.61 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 1800.06/1800.61 v -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.06/1800.61 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.06/1800.61 v -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.06/1800.61 v -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.06/1800.61 v -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 1800.06/1800.61 v -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 1800.06/1800.61 v -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 1800.06/1800.61 v -x1 1800.06/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.61 c 33 203520 18358 227089 81203 20613355 22624 113 1800.07 1800.06/1800.61 c Objective: -35 1800.06/1800.61 s SATISFIABLE 1800.06/1800.61 c Total time: 1800.07 s
OK -35
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-433102-1177954505 -o ROOT/results/node72/solver-433102-1177954505 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433102-1177954505/instance-433102-1177954505.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.83 0.95 0.94 3/77 13321 /proc/meminfo: memFree=1847232/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=13104 CPUtime=0 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271488958 13418496 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 3276 335 279 324 0 2004 0 [startup+0.0163521 s] /proc/loadavg: 0.83 0.95 0.94 3/77 13321 /proc/meminfo: memFree=1847232/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=5572 CPUtime=0.01 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 458 0 0 0 1 0 0 0 18 0 1 0 271488958 5705728 429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 1393 429 296 324 0 121 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5572 [startup+0.101358 s] /proc/loadavg: 0.83 0.95 0.94 3/77 13321 /proc/meminfo: memFree=1847232/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=7768 CPUtime=0.09 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 1107 0 0 0 9 0 0 0 18 0 1 0 271488958 7954432 1077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 1942 1078 420 324 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7768 [startup+0.301376 s] /proc/loadavg: 0.83 0.95 0.94 3/77 13321 /proc/meminfo: memFree=1847232/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=12480 CPUtime=0.29 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 2876 0 0 0 28 1 0 0 19 0 1 0 271488958 12779520 2504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 3120 2504 303 324 0 2190 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12480 [startup+0.701413 s] /proc/loadavg: 0.83 0.95 0.94 3/77 13321 /proc/meminfo: memFree=1847232/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=14452 CPUtime=0.69 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 3353 0 0 0 67 2 0 0 22 0 1 0 271488958 14798848 2981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 3613 2981 305 324 0 2683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14452 [startup+1.50149 s] /proc/loadavg: 0.83 0.95 0.94 2/78 13322 /proc/meminfo: memFree=1836600/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=14180 CPUtime=1.49 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 4156 0 0 0 144 5 0 0 25 0 1 0 271488958 14520320 2926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 3545 2928 310 324 0 2615 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14180 [startup+3.10163 s] /proc/loadavg: 0.84 0.95 0.94 3/78 13322 /proc/meminfo: memFree=1823672/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=41328 CPUtime=3.09 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 10932 0 0 0 302 7 0 0 25 0 1 0 271488958 42319872 9701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 10332 9701 310 324 0 9402 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41328 [startup+6.30192 s] /proc/loadavg: 0.84 0.95 0.94 3/78 13322 /proc/meminfo: memFree=1782328/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=75924 CPUtime=6.29 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 19595 0 0 0 619 10 0 0 25 0 1 0 271488958 77746176 18364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 18981 18364 310 324 0 18051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 75924 [startup+12.7015 s] /proc/loadavg: 0.86 0.95 0.94 2/78 13322 /proc/meminfo: memFree=1742776/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=115252 CPUtime=12.69 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 29407 0 0 0 1254 15 0 0 25 0 1 0 271488958 118018048 28176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 28813 28176 310 324 0 27883 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 115252 [startup+25.5017 s] /proc/loadavg: 0.96 0.97 0.94 2/78 13322 /proc/meminfo: memFree=1670584/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=183360 CPUtime=25.48 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 46454 0 0 0 2525 23 0 0 25 0 1 0 271488958 187760640 45223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 45840 45223 310 324 0 44910 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 183360 [startup+51.102 s] /proc/loadavg: 1.05 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1557944/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=296348 CPUtime=51.08 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 74698 0 0 0 5074 34 0 0 25 0 1 0 271488958 303460352 73467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 74087 73467 310 324 0 73157 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 296348 [startup+102.306 s] /proc/loadavg: 1.02 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1423992/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=425956 CPUtime=102.27 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 107124 0 0 0 10177 50 0 0 25 0 1 0 271488958 436178944 105858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 106489 105858 310 324 0 105559 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 425956 [startup+162.301 s] /proc/loadavg: 1.01 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1423928/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=425956 CPUtime=162.25 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 107124 0 0 0 16175 50 0 0 25 0 1 0 271488958 436178944 105858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 106489 105858 310 324 0 105559 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 425956 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1365496/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=484476 CPUtime=222.24 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 121756 0 0 0 22165 59 0 0 25 0 1 0 271488958 496103424 120490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 121119 120490 310 324 0 120189 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 484476 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1264888/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=585440 CPUtime=282.22 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 147018 0 0 0 28152 70 0 0 25 0 1 0 271488958 599490560 145752 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 146360 145752 310 324 0 145430 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 585440 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1207224/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=642052 CPUtime=342.21 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 161204 0 0 0 34143 78 0 0 25 0 1 0 271488958 657461248 159885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 160513 159885 310 324 0 159583 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 642052 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1207224/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=642052 CPUtime=402.19 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 161204 0 0 0 40141 78 0 0 25 0 1 0 271488958 657461248 159885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 160513 159885 310 324 0 159583 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 642052 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1207224/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=642052 CPUtime=462.18 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 161204 0 0 0 46139 79 0 0 25 0 1 0 271488958 657461248 159885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2969128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 160513 159885 310 324 0 159583 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 642052 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1207224/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=642052 CPUtime=522.16 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 161204 0 0 0 52137 79 0 0 25 0 1 0 271488958 657461248 159885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 160513 159885 310 324 0 159583 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 642052 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.95 2/78 13322 /proc/meminfo: memFree=1207224/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=642052 CPUtime=582.14 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 161204 0 0 0 58135 79 0 0 25 0 1 0 271488958 657461248 159885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 160513 159885 310 324 0 159583 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 642052 [startup+642.302 s] /proc/loadavg: 1.03 1.00 0.95 3/78 13322 /proc/meminfo: memFree=1207160/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=642052 CPUtime=642.14 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 161204 0 0 0 64134 80 0 0 25 0 1 0 271488958 657461248 159885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 160513 159885 310 324 0 159583 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 642052 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1077112/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=882.08 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 88107 101 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 771312 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1077112/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=942.06 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 94105 101 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 771312 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 3/78 13322 /proc/meminfo: memFree=1077112/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1002.05 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 100103 102 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2969232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 771312 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1077112/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1062.03 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 106101 102 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 771312 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1077112/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1122.02 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 112099 103 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 771312 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1077112/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1182 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 118097 103 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 771312 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1076920/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1241.98 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 124095 103 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 771312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1076856/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1301.98 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 130094 104 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 771312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1076792/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1361.96 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 136092 104 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 771312 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1076792/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1421.95 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 142090 105 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 771312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1076728/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=771312 CPUtime=1481.93 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 193583 0 0 0 148088 105 0 0 25 0 1 0 271488958 789823488 192200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 192828 192200 310 324 0 191898 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 771312 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13322 /proc/meminfo: memFree=1065464/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=782816 CPUtime=1541.91 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 196448 0 0 0 154084 107 0 0 25 0 1 0 271488958 801603584 195065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 195704 195065 310 324 0 194774 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 782816 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/84 13496 /proc/meminfo: memFree=1030328/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=816668 CPUtime=1601.81 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 204913 0 0 0 160065 116 0 0 25 0 1 0 271488958 836268032 203530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 204167 203530 310 324 0 203237 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 816668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13524 /proc/meminfo: memFree=1001272/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=846060 CPUtime=1661.79 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 212352 0 0 0 166058 121 0 0 25 0 1 0 271488958 866365440 210898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 211515 210898 310 324 0 210585 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 846060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 3/78 13524 /proc/meminfo: memFree=1001272/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=846060 CPUtime=1721.77 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 212352 0 0 0 172056 121 0 0 25 0 1 0 271488958 866365440 210898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 211515 210898 310 324 0 210585 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 846060 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 0.96 2/78 13524 /proc/meminfo: memFree=1001144/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=846060 CPUtime=1781.75 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 212352 0 0 0 178053 122 0 0 25 0 1 0 271488958 866365440 210898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 211515 210898 310 324 0 210585 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 846060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.03 1.01 0.96 2/78 13524 /proc/meminfo: memFree=1001144/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=846060 CPUtime=1800.06 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194304 212352 0 0 0 179884 122 0 0 25 0 1 0 271488958 866365440 210898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 211515 210898 310 324 0 210585 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 846060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.03 1.01 0.96 2/78 13524 /proc/meminfo: memFree=1001144/2055920 swapFree=4157096/4192956 [pid=13321] ppid=13319 vsize=0 CPUtime=1800.16 /proc/13321/stat : 13321 (bsolo3.0.17) R 13319 13321 13258 0 -1 4194308 212356 0 0 0 179884 132 0 0 25 0 1 0 271488958 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/13321/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.74 CPU time (s): 1800.2 CPU user time (s): 1798.84 CPU system time (s): 1.36079 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 846060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.36079 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 212356 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= 4578 runsolver used 1.38379 second user time and 4.01939 second system time The end
Begin job on node72 on Mon Apr 30 17:35:05 UTC 2007 IDJOB= 433102 IDBENCH= 2254 IDSOLVER= 199 FILE ID= node72/433102-1177954505 PBS_JOBID= 4727692 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433102-1177954505/instance-433102-1177954505.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-433102-1177954505 -o ROOT/results/node72/solver-433102-1177954505 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433102-1177954505/instance-433102-1177954505.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED= 714729395 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1847832 kB Buffers: 13968 kB Cached: 124656 kB SwapCached: 16688 kB Active: 40484 kB Inactive: 120580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847832 kB SwapTotal: 4192956 kB SwapFree: 4157096 kB Dirty: 8144 kB Writeback: 0 kB Mapped: 29392 kB Slab: 32600 kB Committed_AS: 3429372 kB PageTables: 1788 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 node72 on Mon Apr 30 18:05:08 UTC 2007