Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -2 | 1800.03 | 1800.62 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb |
MD5SUM | d0972750cf259b5b6f93d177cc7cfb4a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -1307731 |
Best CPU time to get the best result obtained on this benchmark | 314.738 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -1307731 |
Optimality of the best value was proved | YES |
Number of variables | 901 |
Total number of constraints | 2521 |
Number of constraints which are clauses | 2520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 576460752303423488 |
Number of bits of the biggest number in a constraint | 60 |
Biggest sum of numbers in a constraint | 2305841944493460011 |
Number of bits of the biggest sum of numbers | 61 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/355317-1176806402/instance-355317-1176806402.opb 0.00/0.00 c File size is 75473 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 2.30584e+18 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 901 Constr: 2522 2520/0/2 Lit: 7560 Watch. Lit: 5882 0.00/0.01 c Obj. Vars: 21 (2.33074 % of total variables) 0.09/0.16 c Pre-processing Time: 0.156 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 595 1834 5498 2 3909 2770 0 0 0.16 0.09/0.16 o -1 0.158 4.40/4.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.45 c 0 595 1835 5519 3 4276 2812 1 0 0.16 4.40/4.45 c 101 594 1936 54048 27 4506 3094 102 540 0.19 4.40/4.45 c 351 594 2186 167309 76 5013 3404 352 1076 0.33 4.40/4.45 c 826 594 2661 373127 140 5957 3745 827 1369 0.60 4.40/4.45 c 1640 594 3475 769833 221 7586 4120 1641 1640 1.00 4.40/4.45 c 2960 594 4795 1389945 289 10211 4533 2961 1618 1.83 4.40/4.45 c 5041 594 4103 1078884 262 8828 4987 2269 1617 3.12 4.40/4.45 o -2 4.447 1799.90/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.60 c 6884 594 5947 1928634 324 12465 2812 4113 1548 4.45 1799.90/1800.60 c 6984 594 3343 679742 203 7228 3094 1509 1545 4.52 1799.90/1800.60 c 7235 594 3594 796548 221 7799 3404 1760 1555 4.65 1799.90/1800.60 c 7711 594 4070 1002191 246 8728 3745 2236 1564 4.93 1799.90/1800.60 c 8524 594 4883 1381017 282 10369 4120 3049 1587 5.37 1799.90/1800.60 c 9845 594 6204 1997586 321 12996 4533 4370 1578 6.24 1799.90/1800.60 c 11926 594 5418 1665733 307 11463 4987 3584 1614 7.39 1799.90/1800.60 c 15150 594 5320 1589272 298 11280 5486 3486 1590 9.52 1799.90/1800.60 c 20086 593 6819 2217968 325 14222 6035 4985 1498 13.40 1799.90/1800.60 c 27592 593 6697 2223570 332 13987 6639 4863 1479 18.65 1799.90/1800.60 c 38957 593 5830 1814200 311 12312 7303 3996 1417 27.48 1799.90/1800.60 c 56101 593 5574 1730951 310 11785 8034 3740 1358 41.31 1799.90/1800.60 c 81920 593 7483 2685048 358 15556 8838 5649 1254 65.32 1799.90/1800.60 c 120752 593 10412 3956072 379 21433 9722 8578 1165 103.58 1799.90/1800.60 c 179105 593 7517 2664787 354 15714 10695 5683 1114 160.71 1799.90/1800.60 c 266737 593 10210 3831885 375 21058 11765 8376 1075 248.04 1799.90/1800.60 c 398289 593 10193 3789741 371 21029 12942 8359 995 400.05 1799.90/1800.60 c 595721 593 14768 5653978 382 30229 14237 12934 947 628.81 1799.90/1800.60 c 891973 593 9102 2945359 323 18899 15661 7268 891 1000.45 1799.90/1800.60 c 1336456 593 16525 6341434 383 33680 17228 14691 846 1579.44 1799.90/1800.60 c Resources Exceeded 1799.90/1800.60 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x62 x22 -x63 -x23 -x64 x24 -x65 -x25 1799.90/1800.60 v -x66 x26 -x67 -x27 -x68 -x28 -x69 -x29 -x70 x30 -x71 -x31 -x72 x32 -x73 -x33 -x74 -x34 -x75 -x35 -x76 x36 -x77 -x37 -x78 x38 -x79 1799.90/1800.60 v -x39 -x80 x40 -x81 x41 -x82 -x42 -x83 x43 -x84 x44 -x85 x45 -x86 -x46 -x87 -x47 -x88 x48 -x89 x49 -x90 -x50 -x91 -x51 -x92 -x52 1799.90/1800.60 v -x93 -x53 -x94 -x54 -x95 -x55 -x96 x56 -x97 -x57 -x98 -x58 -x99 -x59 -x100 -x60 -x101 -x61 x502 -x503 x504 -x505 x506 -x507 -x508 1799.90/1800.60 v -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 x523 x524 x525 -x526 -x527 x528 x529 -x530 -x531 1799.90/1800.60 v -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1799.90/1800.60 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1799.90/1800.60 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1799.90/1800.60 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1799.90/1800.60 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1799.90/1800.60 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1799.90/1800.60 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1799.90/1800.60 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1799.90/1800.60 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1799.90/1800.60 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1799.90/1800.60 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1799.90/1800.60 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1799.90/1800.60 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1799.90/1800.60 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1799.90/1800.60 v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1799.90/1800.60 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 1799.90/1800.60 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.90/1800.60 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.90/1800.60 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.90/1800.60 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.90/1800.60 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1799.90/1800.60 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1799.90/1800.60 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1799.90/1800.60 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1799.90/1800.60 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1799.90/1800.60 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1799.90/1800.60 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1799.90/1800.60 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1799.90/1800.60 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1799.90/1800.60 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1799.90/1800.60 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1799.90/1800.60 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1799.90/1800.60 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1799.90/1800.60 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1799.90/1800.60 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546 1799.90/1800.60 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1799.90/1800.60 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1799.90/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.60 c 27 1491855 15219 1541164 15790 6037535 13956 828 1800.01 1799.90/1800.60 c Objective: -2 1799.90/1800.60 s SATISFIABLE 1799.90/1800.60 c Total time: 1800.01 s
OK -2
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-355317-1176806402 -o ROOT/results/node11/solver-355317-1176806402 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355317-1176806402/instance-355317-1176806402.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.91 0.97 0.99 3/77 27247 /proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=19624 CPUtime=0 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 121689142 20094976 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 4906 335 282 324 0 3956 0 [startup+0.01349 s] /proc/loadavg: 0.91 0.97 0.99 3/77 27247 /proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=4268 CPUtime=0 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 436 0 0 0 0 0 0 0 18 0 1 0 121689142 4370432 404 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 1067 404 294 324 0 117 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4268 [startup+0.1015 s] /proc/loadavg: 0.91 0.97 0.99 3/77 27247 /proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=4468 CPUtime=0.09 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 549 0 0 0 9 0 0 0 18 0 1 0 121689142 4575232 498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 1117 498 305 324 0 186 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4468 [startup+0.301523 s] /proc/loadavg: 0.91 0.97 0.99 3/77 27247 /proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=6280 CPUtime=0.29 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 994 0 0 0 29 0 0 0 19 0 1 0 121689142 6430720 943 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 1570 943 313 324 0 639 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6280 [startup+0.70157 s] /proc/loadavg: 0.91 0.97 0.99 3/77 27247 /proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=10112 CPUtime=0.69 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 1953 0 0 0 68 1 0 0 22 0 1 0 121689142 10354688 1902 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 2528 1902 313 324 0 1597 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10112 [startup+1.50166 s] /proc/loadavg: 0.91 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1770224/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=19540 CPUtime=1.49 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 4323 0 0 0 147 2 0 0 25 0 1 0 121689142 20008960 4272 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 4885 4272 313 324 0 3954 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19540 [startup+3.10285 s] /proc/loadavg: 0.91 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1759152/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=35372 CPUtime=3.09 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 8269 0 0 0 305 4 0 0 25 0 1 0 121689142 36220928 8218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134585091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 8843 8218 313 324 0 7912 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35372 [startup+6.30123 s] /proc/loadavg: 0.92 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1749040/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=35372 CPUtime=6.29 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 8269 0 0 0 624 5 0 0 25 0 1 0 121689142 36220928 8218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 8843 8218 313 324 0 7912 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35372 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1743664/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=40708 CPUtime=12.69 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 9598 0 0 0 1262 7 0 0 25 0 1 0 121689142 41684992 9547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 10177 9547 313 324 0 9246 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40708 [startup+25.5015 s] /proc/loadavg: 0.94 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1734192/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=50144 CPUtime=25.49 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 11958 0 0 0 2540 9 0 0 25 0 1 0 121689142 51347456 11907 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 12536 11907 313 324 0 11605 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50144 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1725552/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=58732 CPUtime=51.07 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 14410 0 0 0 5095 12 0 0 25 0 1 0 121689142 60141568 14055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 14683 14055 313 324 0 13752 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 58732 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1722992/2055920 swapFree=4124456/4192956 [pid=27247] ppid=27245 vsize=61264 CPUtime=102.26 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 17482 0 0 0 10206 20 0 0 25 0 1 0 121689142 62734336 14696 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 15316 14696 313 324 0 14385 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 61264 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27248 /proc/meminfo: memFree=1714672/2055920 swapFree=4124512/4192956 [pid=27247] ppid=27245 vsize=69536 CPUtime=162.24 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 21179 0 0 0 16194 30 0 0 25 0 1 0 121689142 71204864 16769 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 17384 16769 313 324 0 16453 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 69536 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1709360/2055920 swapFree=4124512/4192956 [pid=27247] ppid=27245 vsize=74544 CPUtime=222.22 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 22462 0 0 0 22183 39 0 0 25 0 1 0 121689142 76333056 18031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 18636 18031 313 324 0 17705 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 74544 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1704624/2055920 swapFree=4124512/4192956 [pid=27247] ppid=27245 vsize=79300 CPUtime=282.21 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 23929 0 0 0 28172 49 0 0 25 0 1 0 121689142 81203200 19220 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 19825 19220 313 324 0 18894 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 79300 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1704304/2055920 swapFree=4124572/4192956 [pid=27247] ppid=27245 vsize=79588 CPUtime=342.19 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 24382 0 0 0 34164 55 0 0 25 0 1 0 121689142 81498112 19292 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 19897 19292 313 324 0 18966 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 79588 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1704240/2055920 swapFree=4124572/4192956 [pid=27247] ppid=27245 vsize=79840 CPUtime=402.17 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 24525 0 0 0 40154 63 0 0 25 0 1 0 121689142 81756160 19340 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 19960 19340 313 324 0 19029 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 79840 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1698736/2055920 swapFree=4124636/4192956 [pid=27247] ppid=27245 vsize=85128 CPUtime=462.15 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 26839 0 0 0 46144 71 0 0 25 0 1 0 121689142 87171072 20677 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 21282 20677 313 324 0 20351 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 85128 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1698736/2055920 swapFree=4124636/4192956 [pid=27247] ppid=27245 vsize=85104 CPUtime=522.14 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 26922 0 0 0 52136 78 0 0 25 0 1 0 121689142 87146496 20671 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 21276 20671 313 324 0 20345 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 85104 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1698736/2055920 swapFree=4124692/4192956 [pid=27247] ppid=27245 vsize=85068 CPUtime=582.12 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 26986 0 0 0 58128 84 0 0 25 0 1 0 121689142 87109632 20662 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 21267 20662 313 324 0 20336 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 85068 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1695536/2055920 swapFree=4124692/4192956 [pid=27247] ppid=27245 vsize=88380 CPUtime=642.12 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 27816 0 0 0 64121 91 0 0 25 0 1 0 121689142 90501120 21489 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 22095 21489 313 324 0 21164 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 88380 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1691824/2055920 swapFree=4124756/4192956 [pid=27247] ppid=27245 vsize=92088 CPUtime=822.06 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 29628 0 0 0 82095 111 0 0 25 0 1 0 121689142 94298112 22408 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 23022 22408 313 324 0 22091 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 92088 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1691952/2055920 swapFree=4124756/4192956 [pid=27247] ppid=27245 vsize=91684 CPUtime=882.05 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 29674 0 0 0 88086 119 0 0 25 0 1 0 121689142 93884416 22316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8412916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 22921 22316 313 324 0 21990 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 91684 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1682928/2055920 swapFree=4124812/4192956 [pid=27247] ppid=27245 vsize=100880 CPUtime=942.02 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 31967 0 0 0 94076 126 0 0 25 0 1 0 121689142 103301120 24607 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25220 24607 313 324 0 24289 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 100880 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1691248/2055920 swapFree=4124812/4192956 [pid=27247] ppid=27245 vsize=92296 CPUtime=1002.01 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 34141 0 0 0 100066 135 0 0 25 0 1 0 121689142 94511104 22469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 23074 22469 313 324 0 22143 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 92296 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1682288/2055920 swapFree=4124872/4192956 [pid=27247] ppid=27245 vsize=101464 CPUtime=1061.99 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36417 0 0 0 106056 143 0 0 25 0 1 0 121689142 103899136 24745 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25366 24745 313 324 0 24435 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 101464 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1682800/2055920 swapFree=4124872/4192956 [pid=27247] ppid=27245 vsize=100704 CPUtime=1121.98 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 112049 149 0 0 25 0 1 0 121689142 103120896 24571 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25176 24571 313 324 0 24245 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 100704 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1682800/2055920 swapFree=4124872/4192956 [pid=27247] ppid=27245 vsize=100692 CPUtime=1181.96 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 118040 156 0 0 25 0 1 0 121689142 103108608 24568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25173 24568 313 324 0 24242 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 100692 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 27250 /proc/meminfo: memFree=1682864/2055920 swapFree=4124932/4192956 [pid=27247] ppid=27245 vsize=100688 CPUtime=1241.94 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 124032 162 0 0 25 0 1 0 121689142 103104512 24567 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25172 24567 313 324 0 24241 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 100688 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 27420 /proc/meminfo: memFree=1681648/2055920 swapFree=4124932/4192956 [pid=27247] ppid=27245 vsize=100688 CPUtime=1301.85 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 130014 171 0 0 25 0 1 0 121689142 103104512 24567 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25172 24567 313 324 0 24241 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 100688 [startup+1362.3 s] /proc/loadavg: 1.07 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1682928/2055920 swapFree=4124932/4192956 [pid=27247] ppid=27245 vsize=100464 CPUtime=1361.82 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 136004 178 0 0 25 0 1 0 121689142 102875136 24511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25116 24511 313 324 0 24185 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 100464 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1682992/2055920 swapFree=4124992/4192956 [pid=27247] ppid=27245 vsize=100456 CPUtime=1421.8 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 141996 184 0 0 25 0 1 0 121689142 102866944 24509 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25114 24509 313 324 0 24183 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 100456 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1681904/2055920 swapFree=4124992/4192956 [pid=27247] ppid=27245 vsize=101572 CPUtime=1481.78 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36932 0 0 0 147987 191 0 0 25 0 1 0 121689142 104009728 24782 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25393 24782 313 324 0 24462 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 101572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1681264/2055920 swapFree=4125048/4192956 [pid=27247] ppid=27245 vsize=102228 CPUtime=1541.76 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 37397 0 0 0 153979 197 0 0 25 0 1 0 121689142 104681472 24942 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 25557 24942 313 324 0 24626 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 102228 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1677616/2055920 swapFree=4125048/4192956 [pid=27247] ppid=27245 vsize=105852 CPUtime=1601.75 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 38754 0 0 0 159971 204 0 0 25 0 1 0 121689142 108392448 25844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 26463 25844 313 324 0 25532 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 105852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1676336/2055920 swapFree=4125048/4192956 [pid=27247] ppid=27245 vsize=107012 CPUtime=1661.73 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 39758 0 0 0 165962 211 0 0 25 0 1 0 121689142 109580288 26141 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 26753 26141 313 324 0 25822 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 107012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1675760/2055920 swapFree=4125104/4192956 [pid=27247] ppid=27245 vsize=107332 CPUtime=1721.72 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 40246 0 0 0 171953 219 0 0 25 0 1 0 121689142 109907968 26228 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 26833 26228 313 324 0 25902 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 107332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1675760/2055920 swapFree=4125104/4192956 [pid=27247] ppid=27245 vsize=107320 CPUtime=1781.71 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 40246 0 0 0 177945 226 0 0 25 0 1 0 121689142 109895680 26225 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 26830 26225 313 324 0 25899 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 107320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27448 /proc/meminfo: memFree=1682352/2055920 swapFree=4125104/4192956 [pid=27247] ppid=27245 vsize=0 CPUtime=1800 /proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194308 40247 0 0 0 179772 228 0 0 25 0 1 0 121689142 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27247/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1797.73 CPU system time (s): 2.29865 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 108944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.73 system time used= 2.29865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40247 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= 3223 runsolver used 2.25266 second user time and 4.18736 second system time The end
Begin job on node11 on Tue Apr 17 10:40:02 UTC 2007 IDJOB= 355317 IDBENCH= 3035 IDSOLVER= 163 FILE ID= node11/355317-1176806402 PBS_JOBID= 4586226 Free space on /tmp= 66334 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355317-1176806402/instance-355317-1176806402.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-355317-1176806402 -o ROOT/results/node11/solver-355317-1176806402 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355317-1176806402/instance-355317-1176806402.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d0972750cf259b5b6f93d177cc7cfb4a RANDOM SEED= 56676505 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1781392 kB Buffers: 32044 kB Cached: 145920 kB SwapCached: 35012 kB Active: 135188 kB Inactive: 95944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781392 kB SwapTotal: 4192956 kB SwapFree: 4124456 kB Dirty: 4480 kB Writeback: 0 kB Mapped: 41680 kB Slab: 28848 kB Committed_AS: 6145740 kB PageTables: 1852 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= 66334 MiB End job on node11 on Tue Apr 17 11:10:05 UTC 2007