Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -35 | 1800.14 | 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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/353592-1176670233/instance-353592-1176670233.opb 0.00/0.01 c File size is 1399605 bytes. 0.18/0.24 c Highest Coefficient sum: 945 0.18/0.24 c Parsing was ok!! 0.18/0.24 c Total parsing time: 0.23 s 0.18/0.26 c Var: 945 Constr: 58579 58579/0/0 Lit: 117158 Watch. Lit: 117158 0.18/0.26 c Obj. Vars: 945 (100 % of total variables) 1.38/1.43 c Pre-processing Time: 1.419 s 1.38/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.43 c 0 945 58579 117158 2 117158 19526 0 0 1.42 1.38/1.43 c Switching off LPR mode. 1.38/1.44 o -33 1.429 24.27/24.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.27/24.32 c 0 945 58580 118103 2 117193 20526 1 0 1.43 24.27/24.32 c 100 945 58680 208934 3 117393 22579 101 67 1.48 24.27/24.32 c 350 945 58930 435979 7 117893 24837 351 217 1.61 24.27/24.32 c 825 945 59405 867511 14 118843 27321 826 444 1.86 24.27/24.32 c 1638 945 60218 1605373 26 120469 30054 1639 667 2.45 24.27/24.32 c 2958 945 61538 2803785 45 123109 33060 2959 811 3.65 24.27/24.32 c 5040 945 63620 4694728 73 127273 36367 5041 862 5.85 24.27/24.32 c 8263 945 66843 7622211 114 133719 40004 8264 673 12.27 24.27/24.32 c 13199 945 71779 12104410 168 143591 44005 13200 543 24.26 24.27/24.32 o -34 24.304 89.65/89.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 89.65/89.74 c 13199 945 71780 12105355 168 143627 20526 13201 543 24.31 89.65/89.74 c 13300 945 71881 12197020 169 143829 22579 13302 545 24.39 89.65/89.74 c 13551 945 72132 12424916 172 144331 24837 13553 551 24.59 89.65/89.74 c 14027 945 72608 12856449 177 145283 27321 14029 562 24.94 89.65/89.74 c 14840 945 73421 13593412 185 146909 30054 14842 576 25.73 89.65/89.74 c 16161 945 74742 14792122 197 149551 33060 16163 593 27.21 89.65/89.74 c 18242 945 76823 16679754 217 153713 36367 18244 541 33.66 89.65/89.74 c 21465 945 80046 19604282 244 160159 40004 21467 451 47.52 89.65/89.74 c 26402 945 84983 24081586 283 170033 44005 26404 457 57.67 89.65/89.74 c 33908 945 92489 30891847 334 185045 48406 33910 418 81.03 89.65/89.74 o -35 89.705 1799.90/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.60 c 35516 945 94098 32351420 343 188298 20526 35519 395 89.71 1799.90/1800.60 c 35616 945 68943 9518784 138 137921 22579 10364 355 100.29 1799.90/1800.60 c 35866 945 69193 9745404 140 138421 24837 10614 354 101.20 1799.90/1800.60 c 36341 945 69668 10175938 146 139371 27321 11089 353 102.77 1799.90/1800.60 c 37154 945 70481 10912876 154 140997 30054 11902 359 103.42 1799.90/1800.60 c 38474 945 71801 12109335 168 143637 33060 13222 366 104.91 1799.90/1800.60 c 40555 945 73882 13994752 189 147799 36367 15303 366 110.69 1799.90/1800.60 c 43779 945 77106 16916913 219 154247 40004 18527 358 122.01 1799.90/1800.60 c 48716 945 82043 21386509 260 164121 44005 23464 363 133.88 1799.90/1800.60 c 56222 945 89549 28183479 314 179133 48406 30970 326 172.10 1799.90/1800.60 c 67583 945 100910 38474517 381 201855 53247 42331 284 237.87 1799.90/1800.60 c 84727 945 75571 15512670 205 151177 58572 16992 195 433.51 1799.90/1800.60 c 110546 945 101390 38892289 383 202815 64430 42811 158 697.95 1799.90/1800.60 c 149379 945 86793 25644271 295 173621 70874 28214 137 1088.41 1799.90/1800.60 c Resources Exceeded 1799.90/1800.60 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1799.90/1800.60 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1799.90/1800.60 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1799.90/1800.60 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1799.90/1800.60 v -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1799.90/1800.60 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1799.90/1800.60 v -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1799.90/1800.60 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 1799.90/1800.60 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 1799.90/1800.60 v -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1799.90/1800.60 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 1799.90/1800.60 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1799.90/1800.60 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 1799.90/1800.60 v -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1799.90/1800.60 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 1799.90/1800.60 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1799.90/1800.60 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1799.90/1800.60 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 1799.90/1800.60 v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1799.90/1800.60 v -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1799.90/1800.60 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1799.90/1800.60 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1799.90/1800.60 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1799.90/1800.60 v -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1799.90/1800.60 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 1799.90/1800.60 v -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1799.90/1800.60 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1799.90/1800.60 v -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1799.90/1800.60 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 1799.90/1800.60 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1799.90/1800.60 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1799.90/1800.60 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1799.90/1800.60 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1799.90/1800.60 v -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1799.90/1800.60 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 1799.90/1800.60 v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1799.90/1800.60 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 1799.90/1800.60 v -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1799.90/1800.60 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1799.90/1800.60 v -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1799.90/1800.60 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 1799.90/1800.60 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 1799.90/1800.60 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 1799.90/1800.60 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 1799.90/1800.60 v -x1 1800.01/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.60 c 33 203453 18354 227015 81136 20552610 22557 113 1800.01 1800.01/1800.60 c Objective: -35 1800.01/1800.60 s SATISFIABLE 1800.01/1800.60 c Total time: 1800.01 s
OK -35
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-353592-1176670233 -o ROOT/results/node6/solver-353592-1176670233 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353592-1176670233/instance-353592-1176670233.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: 1.00 0.99 0.97 3/77 13887 /proc/meminfo: memFree=1783600/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=19548 CPUtime=0 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 333 0 3 0 0 0 0 0 18 0 1 0 143060985 20017152 304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2520802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 4887 304 273 324 0 3956 0 [startup+0.028097 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13887 /proc/meminfo: memFree=1783600/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=5712 CPUtime=0.01 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 503 0 3 0 1 0 0 0 18 0 1 0 143060985 5849088 474 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 1428 474 306 324 0 155 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5712 [startup+0.101105 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13887 /proc/meminfo: memFree=1783600/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=7632 CPUtime=0.08 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 1072 0 3 0 8 0 0 0 18 0 1 0 143060985 7815168 1043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 1908 1043 415 324 0 635 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7632 [startup+0.301129 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13887 /proc/meminfo: memFree=1783600/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=12480 CPUtime=0.28 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 2877 0 3 0 27 1 0 0 19 0 1 0 143060985 12779520 2506 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 3120 2506 305 324 0 2189 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12480 [startup+0.701175 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13887 /proc/meminfo: memFree=1783600/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=14452 CPUtime=0.68 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 3354 0 3 0 66 2 0 0 22 0 1 0 143060985 14798848 2983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 3613 2983 307 324 0 2682 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14452 [startup+1.50127 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1772136/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=14048 CPUtime=1.48 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 4128 0 3 0 143 5 0 0 25 0 1 0 143060985 14385152 2898 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 3512 2900 312 324 0 2581 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14048 [startup+3.10146 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1759336/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=41200 CPUtime=3.08 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 10924 0 3 0 299 9 0 0 25 0 1 0 143060985 42188800 9694 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 10300 9694 312 324 0 9369 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41200 [startup+6.30183 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1718120/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=75792 CPUtime=6.28 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 19569 0 3 0 615 13 0 0 25 0 1 0 143060985 77611008 18339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 18948 18339 312 324 0 18017 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 75792 [startup+12.7016 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1678632/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=114612 CPUtime=12.68 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 29274 0 3 0 1249 19 0 0 25 0 1 0 143060985 117362688 28044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 28653 28047 312 324 0 27722 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 114612 [startup+25.5011 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1607016/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=182720 CPUtime=25.48 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 46295 0 3 0 2519 29 0 0 25 0 1 0 143060985 187105280 45065 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2629349 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 45680 45065 312 324 0 44749 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 182720 [startup+51.1011 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1494888/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=295196 CPUtime=51.06 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 74419 0 3 0 5065 41 0 0 25 0 1 0 143060985 302280704 73189 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 73799 73189 312 324 0 72868 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 295196 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1359720/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=425956 CPUtime=102.26 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 107125 0 3 0 10167 59 0 0 25 0 1 0 143060985 436178944 105860 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 106489 105860 312 324 0 105558 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 425956 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1359720/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=425956 CPUtime=162.23 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 107125 0 3 0 16161 62 0 0 25 0 1 0 143060985 436178944 105860 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 106489 105860 312 324 0 105558 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 425956 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1301736/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=483964 CPUtime=222.22 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 121650 0 3 0 22150 72 0 0 25 0 1 0 143060985 495579136 120385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 120991 120385 312 324 0 120060 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 483964 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1201192/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=584928 CPUtime=282.2 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 146879 0 3 0 28133 87 0 0 25 0 1 0 143060985 598966272 145614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 146232 145614 312 324 0 145301 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 584928 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1142952/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=642052 CPUtime=342.19 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 161205 0 3 0 34122 97 0 0 25 0 1 0 143060985 657461248 159887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 160513 159887 312 324 0 159582 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 642052 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1142952/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=642052 CPUtime=402.17 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 161205 0 3 0 40119 98 0 0 25 0 1 0 143060985 657461248 159887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 160513 159887 312 324 0 159582 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 642052 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 13888 /proc/meminfo: memFree=1142952/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=642052 CPUtime=462.15 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 161205 0 3 0 46115 100 0 0 25 0 1 0 143060985 657461248 159887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 160513 159887 312 324 0 159582 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 642052 [startup+522.301 s] /proc/loadavg: 1.04 1.00 0.98 2/78 13888 /proc/meminfo: memFree=1142952/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=642052 CPUtime=522.14 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 161205 0 3 0 52111 103 0 0 25 0 1 0 143060985 657461248 159887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 160513 159887 312 324 0 159582 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 642052 [startup+582.301 s] /proc/loadavg: 1.01 1.00 0.98 2/78 13888 /proc/meminfo: memFree=1143016/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=642052 CPUtime=582.12 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 161205 0 3 0 58108 104 0 0 25 0 1 0 143060985 657461248 159887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 160513 159887 312 324 0 159582 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 642052 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/84 13970 /proc/meminfo: memFree=1141752/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=642052 CPUtime=642.07 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 161205 0 3 0 64101 106 0 0 25 0 1 0 143060985 657461248 159887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 160513 159887 312 324 0 159582 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 642052 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013160/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=881.94 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 88065 129 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 771312 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013160/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=941.93 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 94061 132 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 771312 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013224/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1001.91 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 100058 133 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 771312 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013224/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1061.9 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 106055 135 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 771312 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013224/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1121.89 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 112051 138 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 771312 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013288/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1181.86 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 118046 140 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 771312 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013288/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1241.85 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 124043 142 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 771312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013352/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1301.83 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 130040 143 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 771312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013352/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1361.81 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 136037 144 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 771312 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013288/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1421.8 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 142035 145 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 771312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1013288/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=771312 CPUtime=1481.79 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 193584 0 3 0 148032 147 0 0 25 0 1 0 143060985 789823488 192202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 192828 192202 312 324 0 191897 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 771312 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=1002984/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=781788 CPUtime=1541.76 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 196208 0 3 0 154027 149 0 0 25 0 1 0 143060985 800550912 194826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 195447 194826 312 324 0 194516 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 781788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=969256/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=815776 CPUtime=1601.75 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 204702 0 3 0 160020 155 0 0 25 0 1 0 143060985 835354624 203320 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 203944 203320 312 324 0 203013 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 815776 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=938216/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=846060 CPUtime=1661.74 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 212353 0 3 0 166013 161 0 0 25 0 1 0 143060985 866365440 210900 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 211515 210900 312 324 0 210584 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 846060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 3/78 14086 /proc/meminfo: memFree=938280/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=846060 CPUtime=1721.72 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 212353 0 3 0 172010 162 0 0 25 0 1 0 143060985 866365440 210900 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 211515 210900 312 324 0 210584 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 846060 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 14086 /proc/meminfo: memFree=938280/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=846060 CPUtime=1781.7 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194304 212353 0 3 0 178006 164 0 0 25 0 1 0 143060985 866365440 210900 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 211515 210900 312 324 0 210584 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 846060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 3/78 14086 /proc/meminfo: memFree=939944/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=0 CPUtime=1800.01 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194308 212354 0 3 0 179836 165 0 0 16 0 1 0 143060985 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.98 3/78 14086 /proc/meminfo: memFree=939944/2055924 swapFree=4158476/4192956 [pid=13887] ppid=13885 vsize=0 CPUtime=1800.11 /proc/13887/stat : 13887 (bsolo3.0.16) R 13885 13887 13161 0 -1 4194308 212354 0 3 0 179836 175 0 0 17 0 1 0 143060985 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13887/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.14 CPU user time (s): 1798.36 CPU system time (s): 1.77873 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 846344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.36 system time used= 1.77873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 212354 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 2080 runsolver used 2.11668 second user time and 4.34534 second system time The end
Begin job on node6 on Sun Apr 15 20:50:33 UTC 2007 IDJOB= 353592 IDBENCH= 2254 IDSOLVER= 163 FILE ID= node6/353592-1176670233 PBS_JOBID= 4559382 Free space on /tmp= 66552 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/353592-1176670233/instance-353592-1176670233.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-353592-1176670233 -o ROOT/results/node6/solver-353592-1176670233 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353592-1176670233/instance-353592-1176670233.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED= 732518332 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1784072 kB Buffers: 37440 kB Cached: 148156 kB SwapCached: 2628 kB Active: 110072 kB Inactive: 99756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1784072 kB SwapTotal: 4192956 kB SwapFree: 4158476 kB Dirty: 5776 kB Writeback: 0 kB Mapped: 31544 kB Slab: 47632 kB Committed_AS: 6284316 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= 66552 MiB End job on node6 on Sun Apr 15 21:20:36 UTC 2007