Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -2 | 1800.09 | 1800.73 |
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.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/433648-1177961869/instance-433648-1177961869.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 Highest Coefficient sum: 2.30584e+18 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 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.15 c Pre-processing Time: 0.143 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 595 1834 5498 2 3909 2770 0 0 0.14 0.09/0.15 o -1 0.144 4.28/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.28/4.31 c 0 595 1835 5519 3 4276 2812 1 0 0.14 4.28/4.31 c 101 594 1936 54048 27 4506 3094 102 590 0.17 4.28/4.31 c 351 594 2186 167309 76 5013 3404 352 1170 0.30 4.28/4.31 c 826 594 2661 373127 140 5957 3745 827 1482 0.56 4.28/4.31 c 1640 594 3475 769833 221 7586 4120 1641 1776 0.92 4.28/4.31 c 2960 594 4795 1389945 289 10211 4533 2961 1709 1.73 4.28/4.31 c 5041 594 4103 1078884 262 8828 4987 2269 1682 3.00 4.28/4.31 o -2 4.301 1800.07/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.70 c 6884 594 5947 1928634 324 12465 2812 4113 1600 4.30 1800.07/1800.70 c 6984 594 3343 679742 203 7228 3094 1509 1597 4.37 1800.07/1800.70 c 7235 594 3594 796548 221 7799 3404 1760 1607 4.50 1800.07/1800.70 c 7711 594 4070 1002191 246 8728 3745 2236 1615 4.77 1800.07/1800.70 c 8524 594 4883 1381017 282 10369 4120 3049 1635 5.21 1800.07/1800.70 c 9845 594 6204 1997586 321 12996 4533 4370 1621 6.07 1800.07/1800.70 c 11926 594 5418 1665733 307 11463 4987 3584 1653 7.21 1800.07/1800.70 c 15150 594 5320 1589272 298 11280 5486 3486 1623 9.33 1800.07/1800.70 c 20086 593 6819 2217968 325 14222 6035 4985 1522 13.19 1800.07/1800.70 c 27592 593 6697 2223570 332 13987 6639 4863 1497 18.42 1800.07/1800.70 c 38957 593 5830 1814200 311 12312 7303 3996 1433 27.18 1800.07/1800.70 c 56101 593 5574 1730951 310 11785 8034 3740 1368 40.99 1800.07/1800.70 c 81920 593 7483 2685048 358 15556 8838 5649 1263 64.85 1800.07/1800.70 c 120752 593 10412 3956072 379 21433 9722 8578 1172 102.97 1800.07/1800.70 c 179105 593 7517 2664787 354 15714 10695 5683 1120 159.88 1800.07/1800.70 c 266737 593 10210 3831885 375 21058 11765 8376 1079 246.98 1800.07/1800.70 c 398289 593 10193 3789741 371 21029 12942 8359 999 398.64 1800.07/1800.70 c 595721 593 14768 5653978 382 30229 14237 12934 950 626.86 1800.07/1800.70 c 891973 593 9102 2945359 323 18899 15661 7268 894 997.69 1800.07/1800.70 c 1336456 593 16525 6341434 383 33680 17228 14691 848 1574.74 1800.07/1800.70 c Caught signal: 15 1800.07/1800.71 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 1800.07/1800.71 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 1800.07/1800.71 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 1800.07/1800.71 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 1800.07/1800.71 v -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 x523 x524 x525 -x526 -x527 x528 x529 -x530 -x531 1800.07/1800.71 v -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1800.07/1800.71 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1800.07/1800.71 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1800.07/1800.71 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1800.07/1800.71 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1800.07/1800.71 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.07/1800.71 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.07/1800.71 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1800.07/1800.71 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1800.07/1800.71 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1800.07/1800.71 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1800.07/1800.71 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1800.07/1800.71 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1800.07/1800.71 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1800.07/1800.71 v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1800.07/1800.71 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 1800.07/1800.71 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.07/1800.71 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.07/1800.71 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.07/1800.71 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.07/1800.71 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.07/1800.71 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.07/1800.71 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.07/1800.71 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.07/1800.71 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.07/1800.71 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1800.07/1800.71 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.07/1800.71 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.07/1800.71 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.07/1800.71 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.07/1800.71 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.07/1800.71 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.07/1800.71 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.07/1800.71 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.07/1800.71 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546 1800.07/1800.71 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.07/1800.71 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1800.07/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.71 c 27 1494809 15299 1544268 18744 7305200 16910 830 1800.07 1800.07/1800.71 c Objective: -2 1800.07/1800.71 s SATISFIABLE 1800.07/1800.71 c Total time: 1800.07 s
OK -2
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-433648-1177961869 -o ROOT/results/node74/solver-433648-1177961869 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433648-1177961869/instance-433648-1177961869.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.30 0.71 0.82 3/66 5200 /proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=19624 CPUtime=0 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 244101855 20094976 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134539173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 4906 334 280 324 0 3957 0 [startup+0.103398 s] /proc/loadavg: 0.30 0.71 0.82 3/66 5200 /proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=4468 CPUtime=0.09 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 545 0 0 0 9 0 0 0 18 0 1 0 244101855 4575232 496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5200/statm: 1117 496 303 324 0 187 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4468 [startup+0.201412 s] /proc/loadavg: 0.30 0.71 0.82 3/66 5200 /proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=5376 CPUtime=0.19 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 760 0 0 0 19 0 0 0 18 0 1 0 244101855 5505024 711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5200/statm: 1344 711 311 324 0 414 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5376 [startup+0.301427 s] /proc/loadavg: 0.30 0.71 0.82 3/66 5200 /proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=6408 CPUtime=0.29 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 1039 0 0 0 29 0 0 0 19 0 1 0 244101855 6561792 990 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5200/statm: 1602 990 311 324 0 672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6408 [startup+0.701472 s] /proc/loadavg: 0.30 0.71 0.82 3/66 5200 /proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=10624 CPUtime=0.69 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 2077 0 0 0 68 1 0 0 23 0 1 0 244101855 10878976 2028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5200/statm: 2656 2028 311 324 0 1726 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10624 [startup+1.50156 s] /proc/loadavg: 0.30 0.71 0.82 2/67 5201 /proc/meminfo: memFree=1512104/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=20184 CPUtime=1.49 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 4462 0 0 0 147 2 0 0 25 0 1 0 244101855 20668416 4413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 5046 4413 311 324 0 4116 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20184 [startup+3.10174 s] /proc/loadavg: 0.30 0.71 0.82 2/67 5201 /proc/meminfo: memFree=1501288/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=35372 CPUtime=3.08 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 8265 0 0 0 305 3 0 0 25 0 1 0 244101855 36220928 8216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10188705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 8843 8216 311 324 0 7913 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35372 [startup+6.30111 s] /proc/loadavg: 0.36 0.72 0.82 2/67 5201 /proc/meminfo: memFree=1493096/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=35372 CPUtime=6.28 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 8265 0 0 0 625 3 0 0 25 0 1 0 244101855 36220928 8216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 8843 8216 311 324 0 7913 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35372 [startup+12.7019 s] /proc/loadavg: 0.41 0.72 0.82 2/67 5201 /proc/meminfo: memFree=1487864/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=40708 CPUtime=12.69 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 9594 0 0 0 1265 4 0 0 25 0 1 0 244101855 41684992 9545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 10177 9545 311 324 0 9247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40708 [startup+25.5013 s] /proc/loadavg: 0.54 0.74 0.82 2/67 5201 /proc/meminfo: memFree=1478464/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=50144 CPUtime=25.48 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 11954 0 0 0 2543 5 0 0 25 0 1 0 244101855 51347456 11905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 12536 11905 311 324 0 11606 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50144 [startup+51.1013 s] /proc/loadavg: 0.70 0.75 0.82 2/67 5201 /proc/meminfo: memFree=1469952/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=54480 CPUtime=51.08 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 14406 0 0 0 5101 7 0 0 25 0 1 0 244101855 55787520 13013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 13620 13013 311 324 0 12690 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54480 [startup+102.301 s] /proc/loadavg: 0.87 0.79 0.83 2/67 5201 /proc/meminfo: memFree=1467392/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=61264 CPUtime=102.26 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 17478 0 0 0 10217 9 0 0 25 0 1 0 244101855 62734336 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 15316 14694 311 324 0 14386 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 61264 [startup+162.301 s] /proc/loadavg: 0.95 0.83 0.83 2/67 5201 /proc/meminfo: memFree=1459072/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=69536 CPUtime=162.24 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 21175 0 0 0 16212 12 0 0 25 0 1 0 244101855 71204864 16767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 17384 16767 311 324 0 16454 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 69536 [startup+222.305 s] /proc/loadavg: 0.98 0.85 0.84 2/67 5203 /proc/meminfo: memFree=1453824/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=74544 CPUtime=222.22 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 22458 0 0 0 22210 12 0 0 25 0 1 0 244101855 76333056 18029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 18636 18029 311 324 0 17706 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 74544 [startup+282.301 s] /proc/loadavg: 0.99 0.88 0.85 2/67 5203 /proc/meminfo: memFree=1449024/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=79300 CPUtime=282.2 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 23925 0 0 0 28207 13 0 0 25 0 1 0 244101855 81203200 19218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 19825 19218 311 324 0 18895 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 79300 [startup+342.302 s] /proc/loadavg: 0.99 0.90 0.85 2/67 5203 /proc/meminfo: memFree=1448576/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=79588 CPUtime=342.19 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 24378 0 0 0 34205 14 0 0 25 0 1 0 244101855 81498112 19290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 19897 19290 311 324 0 18967 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 79588 [startup+402.302 s] /proc/loadavg: 0.99 0.91 0.86 2/67 5203 /proc/meminfo: memFree=1448576/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=79840 CPUtime=402.17 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 24521 0 0 0 40203 14 0 0 25 0 1 0 244101855 81756160 19338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10186812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 19960 19338 311 324 0 19030 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 79840 [startup+462.302 s] /proc/loadavg: 0.99 0.93 0.86 2/67 5203 /proc/meminfo: memFree=1443008/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=85128 CPUtime=462.15 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 26835 0 0 0 46199 16 0 0 25 0 1 0 244101855 87171072 20675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 21282 20675 311 324 0 20352 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 85128 [startup+522.302 s] /proc/loadavg: 0.99 0.94 0.87 2/67 5203 /proc/meminfo: memFree=1443008/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=85104 CPUtime=522.13 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 26918 0 0 0 52197 16 0 0 25 0 1 0 244101855 87146496 20669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 21276 20669 311 324 0 20346 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 85104 [startup+582.302 s] /proc/loadavg: 0.99 0.95 0.87 2/67 5203 /proc/meminfo: memFree=1443008/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=85068 CPUtime=582.11 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 26982 0 0 0 58195 16 0 0 25 0 1 0 244101855 87109632 20660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 21267 20660 311 324 0 20337 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 85068 [startup+642.302 s] /proc/loadavg: 0.99 0.95 0.88 2/67 5203 /proc/meminfo: memFree=1439872/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=88232 CPUtime=642.1 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 27812 0 0 0 64193 17 0 0 25 0 1 0 244101855 90349568 21451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 22058 21451 311 324 0 21128 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 88232 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.90 2/67 5203 /proc/meminfo: memFree=1436160/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=92088 CPUtime=822.04 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 29624 0 0 0 82185 19 0 0 25 0 1 0 244101855 94298112 22406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 23022 22406 311 324 0 22092 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 92088 [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.90 2/67 5203 /proc/meminfo: memFree=1436352/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=91684 CPUtime=882.03 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 29670 0 0 0 88184 19 0 0 25 0 1 0 244101855 93884416 22314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 22921 22314 311 324 0 21991 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 91684 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1424576/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=105440 CPUtime=942.01 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 33091 0 0 0 94180 21 0 0 25 0 1 0 244101855 107970560 25733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 26360 25733 311 324 0 25430 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 105440 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1435648/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=92296 CPUtime=1001.99 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 34137 0 0 0 100176 23 0 0 25 0 1 0 244101855 94511104 22467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 23074 22467 311 324 0 22144 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 92296 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1425856/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=102348 CPUtime=1061.97 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 106173 24 0 0 25 0 1 0 244101855 104804352 24964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25587 24964 311 324 0 24657 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 102348 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1427264/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100704 CPUtime=1121.95 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 112171 24 0 0 25 0 1 0 244101855 103120896 24569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25176 24569 311 324 0 24246 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 100704 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1427264/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100692 CPUtime=1181.93 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 118169 24 0 0 25 0 1 0 244101855 103108608 24566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25173 24566 311 324 0 24243 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 100692 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1427264/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100688 CPUtime=1241.91 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 124167 24 0 0 25 0 1 0 244101855 103104512 24565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25172 24565 311 324 0 24242 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 100688 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1427328/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100688 CPUtime=1301.91 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 130166 25 0 0 25 0 1 0 244101855 103104512 24565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25172 24565 311 324 0 24242 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 100688 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5203 /proc/meminfo: memFree=1427392/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100456 CPUtime=1361.89 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 136164 25 0 0 25 0 1 0 244101855 102866944 24507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25114 24507 311 324 0 24184 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 100456 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/73 5367 /proc/meminfo: memFree=1426248/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100456 CPUtime=1421.79 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 142152 27 0 0 25 0 1 0 244101855 102866944 24507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25114 24507 311 324 0 24184 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 100456 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1426304/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=101572 CPUtime=1481.75 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36928 0 0 0 148148 27 0 0 25 0 1 0 244101855 104009728 24780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25393 24780 311 324 0 24463 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 101572 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1427392/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=100368 CPUtime=1541.74 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 37393 0 0 0 154146 28 0 0 25 0 1 0 244101855 102776832 24485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 25092 24485 311 324 0 24162 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 100368 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1422080/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=105852 CPUtime=1601.72 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 38750 0 0 0 160143 29 0 0 25 0 1 0 244101855 108392448 25842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 26463 25842 311 324 0 25533 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 105852 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1419968/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=107932 CPUtime=1661.7 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 39977 0 0 0 166140 30 0 0 25 0 1 0 244101855 110522368 26362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 26983 26362 311 324 0 26053 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 107932 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1420416/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=107332 CPUtime=1721.68 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 40242 0 0 0 172138 30 0 0 25 0 1 0 244101855 109907968 26226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 26833 26226 311 324 0 25903 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 107332 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1420480/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=107288 CPUtime=1781.66 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 40242 0 0 0 178136 30 0 0 25 0 1 0 244101855 109862912 26215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 26822 26215 311 324 0 25892 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 107288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.97 0.91 2/67 5401 /proc/meminfo: memFree=1420480/2055920 swapFree=4183036/4192956 [pid=5200] ppid=5198 vsize=107288 CPUtime=1800.07 /proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 40242 0 0 0 179977 30 0 0 25 0 1 0 244101855 109862912 26215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5200/statm: 26822 26215 311 324 0 25892 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 107288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.09 CPU user time (s): 1799.77 CPU system time (s): 0.320951 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 108944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.320951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40246 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= 3187 runsolver used 1.59376 second user time and 3.38549 second system time The end
Begin job on node74 on Mon Apr 30 19:37:50 UTC 2007 IDJOB= 433648 IDBENCH= 3035 IDSOLVER= 199 FILE ID= node74/433648-1177961869 PBS_JOBID= 4727682 Free space on /tmp= 103239 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/433648-1177961869/instance-433648-1177961869.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-433648-1177961869 -o ROOT/results/node74/solver-433648-1177961869 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433648-1177961869/instance-433648-1177961869.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d0972750cf259b5b6f93d177cc7cfb4a RANDOM SEED= 368020650 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1525448 kB Buffers: 9336 kB Cached: 446120 kB SwapCached: 2864 kB Active: 29724 kB Inactive: 435592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1525448 kB SwapTotal: 4192956 kB SwapFree: 4183036 kB Dirty: 6796 kB Writeback: 0 kB Mapped: 15960 kB Slab: 51024 kB Committed_AS: 4134120 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103239 MiB End job on node74 on Mon Apr 30 20:07:54 UTC 2007