Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb |
MD5SUM | 651e385f00e2858954d8683e891a1dbe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 11.2763 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 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 HOME/instance-1877983-1245187307.opb 0.00/0.00 c File size is 43526 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 10.99/11.08 c 100 792 1280 10077 7 4378 7322 100 4166 0.02 10.99/11.08 c 251 792 1431 25145 17 4579 8055 251 3535 0.07 10.99/11.08 c 478 792 1658 52516 31 5028 8861 478 3648 0.13 10.99/11.08 c 816 792 1996 73305 36 5678 9748 816 4771 0.17 10.99/11.08 c 1325 792 2505 105318 42 6642 10723 1325 5543 0.24 10.99/11.08 c 2088 792 3268 151621 46 8192 11796 2088 5568 0.38 10.99/11.08 c 3236 792 4416 220275 49 10488 12976 3236 5185 0.62 10.99/11.08 c 4958 792 6138 323368 52 13955 14274 4958 4135 1.20 10.99/11.08 c 7542 792 8722 506287 58 19123 15702 7542 4395 1.72 10.99/11.08 c 11422 792 12602 763989 60 26963 17273 11422 3308 3.45 10.99/11.08 c 17245 792 18425 1101992 59 38601 19001 17245 1964 8.78 10.99/11.08 o 129 60.97/61.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.97/61.04 c 24612 792 15533 945706 60 32779 6672 14353 2221 11.08 60.97/61.04 c 24713 792 4618 267255 57 11010 7340 3438 2206 11.20 60.97/61.04 c 24964 792 4869 284669 58 11540 8075 3689 2216 11.26 60.97/61.04 c 25439 792 5344 313033 58 12480 8883 4164 2247 11.32 60.97/61.04 c 26253 792 6158 366123 59 13949 9772 4978 2291 11.46 60.97/61.04 c 27574 792 7479 468997 62 16606 10750 6299 2361 11.68 60.97/61.04 c 29655 792 9560 604219 63 20852 11826 8380 2450 12.10 60.97/61.04 c 32879 792 12784 824567 64 27249 13009 11604 2536 12.96 60.97/61.04 c 37816 792 10928 619341 56 23570 14310 9748 2569 14.72 60.97/61.04 c 45323 792 10713 649466 60 23150 15742 9533 2685 16.88 60.97/61.04 c 56684 792 13969 832086 59 29704 17317 12789 2304 24.60 60.97/61.04 c 73829 792 12673 771835 60 27068 19049 11493 2282 32.34 60.97/61.04 c 99648 792 18535 1049630 56 38819 20954 17355 1783 55.86 60.97/61.04 o 13 796.48/796.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 796.48/796.71 c 116720 792 13836 846311 61 29397 6672 12656 1912 61.02 796.48/796.71 c 116821 783 4618 231088 50 11057 7340 3438 1911 61.10 796.48/796.71 c 117071 783 4868 249380 51 11471 8075 3688 1914 61.14 796.48/796.71 c 117546 783 5343 281137 52 12431 8883 4163 1920 61.20 796.48/796.71 c 118359 783 6156 338949 55 14162 9772 4976 1929 61.33 796.48/796.71 c 119679 783 7476 420478 56 16743 10750 6296 1944 61.56 796.48/796.71 c 121762 783 9559 561576 58 20883 11826 8379 1964 61.97 796.48/796.71 c 124985 783 12782 751343 58 27335 13009 11602 1980 63.10 796.48/796.71 c 129923 774 11047 636803 57 23772 14310 9867 1982 65.53 796.48/796.71 c 137429 764 10647 660610 62 23082 15742 9467 2026 67.83 796.48/796.71 c 148791 764 13536 803773 59 28816 17317 12356 2049 72.60 796.48/796.71 c 165935 764 12862 794485 61 27405 19049 11682 2021 82.10 796.48/796.71 c 191754 764 19184 1088759 56 40031 20954 18004 1933 99.19 796.48/796.71 c 230586 751 14493 920687 63 30670 23050 13313 1889 122.03 796.48/796.71 c 288939 751 22815 1443983 63 47362 25356 21635 1573 183.57 796.48/796.71 c 376571 750 23572 1515144 64 48914 27892 22392 1232 305.62 796.48/796.71 c 508124 749 17608 1321731 75 36982 30682 16428 1062 478.32 796.48/796.71 o 3 1797.91/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.48 c 692830 748 22141 1477349 66 46051 6664 20961 869 796.49 1797.91/1798.48 c 692933 717 4627 242007 52 11011 7331 3447 869 797.01 1797.91/1798.48 c 693184 717 4878 258209 52 11476 8065 3698 869 797.05 1797.91/1798.48 c 693660 717 5354 291287 54 12503 8872 4174 870 797.12 1797.91/1798.48 c 694473 717 6167 348568 56 14090 9760 4987 871 797.28 1797.91/1798.48 c 695794 717 7488 438027 58 16740 10737 6308 872 797.60 1797.91/1798.48 c 697876 717 9570 580647 60 20946 11811 8390 873 798.52 1797.91/1798.48 c 701099 717 12793 798641 62 27384 12993 11613 875 800.90 1797.91/1798.48 c 706035 717 11093 669049 60 23976 14293 9913 876 805.52 1797.91/1798.48 c 713542 717 10737 647964 60 23250 15723 9557 881 809.58 1797.91/1798.48 c 724904 717 14063 841433 59 29838 17296 12883 886 817.78 1797.91/1798.48 c 742048 717 13159 839743 63 28080 19026 11979 888 835.45 1797.91/1798.48 c 767869 717 19221 1109527 57 40255 20929 18041 898 854.93 1797.91/1798.48 c 806702 717 14685 871764 59 31108 23022 13505 906 889.55 1797.91/1798.48 c 865054 717 22337 1474072 65 46451 25325 21157 911 948.90 1797.91/1798.48 c 952688 716 22090 1332534 60 45934 27858 20910 909 1047.04 1797.91/1798.48 c 1084240 716 16178 1112872 68 34077 30644 14998 907 1195.37 1797.91/1798.48 c 1281673 715 18500 1266032 68 38735 33709 17320 849 1508.91 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 x66 -x67 -x68 x69 x70 x71 x72 x73 -x74 -x75 -x76 -x77 -x78 x79 x80 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x81 -x82 x83 x84 -x85 x86 -x87 -x88 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x281 -x282 x283 x284 -x285 x286 -x287 -x288 x289 -x290 x291 x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x89 x90 x91 -x92 -x93 -x94 -x95 x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x345 x346 x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 -x356 -x357 -x358 -x359 x360 x361 x362 x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x97 -x98 -x99 -x100 x101 x102 -x103 x104 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x409 -x410 -x411 -x412 x413 x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 x445 x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x665 -x666 -x667 x668 -x669 -x670 x671 -x672 x673 -x674 -x675 x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 x700 -x701 -x702 x703 -x704 x705 -x706 -x707 x708 -x709 -x710 x711 -x712 x713 -x714 -x715 x716 -x717 -x718 x719 -x720 x721 -x722 -x723 x724 -x725 -x726 x727 -x728 x137 x138 -x139 x140 -x141 -x142 x143 -x144 x201 -x202 x203 -x204 -x205 -x206 x207 -x208 x729 x730 -x731 x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 x780 -x781 -x782 x783 -x784 x785 x786 -x787 x788 -x789 -x790 x791 -x792 -x209 -x210 -x211 x212 x213 x214 -x215 -x216 1797.91/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 59 1453031 16242 1517254 30550 1892471 29370 808 1798.00 1797.91/1798.48 c Objective: 3 1797.91/1798.48 s SATISFIABLE 1797.91/1798.48 c Total time: 1798 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877983-1245187307/watcher-1877983-1245187307 -o /tmp/evaluation-result-1877983-1245187307/solver-1877983-1245187307 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877983-1245187307.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11303 /proc/meminfo: memFree=1847152/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=10748 CPUtime=0 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 186326773 11005952 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 2687 241 176 640 0 2032 0 [startup+0.0756109 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11303 /proc/meminfo: memFree=1847152/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=11228 CPUtime=0.07 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 428 0 0 0 7 0 0 0 18 0 1 0 186326773 11497472 401 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 2807 401 196 640 0 2163 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11228 [startup+0.101613 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11303 /proc/meminfo: memFree=1847152/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=11476 CPUtime=0.09 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 466 0 0 0 9 0 0 0 18 0 1 0 186326773 11751424 439 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 2869 439 196 640 0 2225 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11476 [startup+0.301631 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11303 /proc/meminfo: memFree=1847152/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=12724 CPUtime=0.29 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 793 0 0 0 29 0 0 0 19 0 1 0 186326773 13029376 766 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 3181 766 196 640 0 2537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12724 [startup+0.701666 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11303 /proc/meminfo: memFree=1847152/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=14360 CPUtime=0.69 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 1195 0 0 0 69 0 0 0 23 0 1 0 186326773 14704640 1168 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 3590 1168 196 640 0 2946 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14360 [startup+1.50174 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1842280/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=16868 CPUtime=1.49 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 1830 0 0 0 149 0 0 0 25 0 1 0 186326773 17272832 1803 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 4217 1803 196 640 0 3573 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16868 [startup+3.10188 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1837544/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=21492 CPUtime=3.09 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 2972 0 0 0 307 2 0 0 25 0 1 0 186326773 22007808 2945 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 5373 2945 196 640 0 4729 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21492 [startup+6.30116 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1833456/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=24748 CPUtime=6.29 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 3785 0 0 0 626 3 0 0 25 0 1 0 186326773 25341952 3758 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 6187 3758 196 640 0 5543 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24748 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1827824/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=29484 CPUtime=12.69 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 4985 0 0 0 1264 5 0 0 25 0 1 0 186326773 30191616 4958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 7371 4958 197 640 0 6727 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29484 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1827824/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=29472 CPUtime=25.48 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 4985 0 0 0 2539 9 0 0 25 0 1 0 186326773 30179328 4958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 7368 4958 197 640 0 6724 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29472 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1827504/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=29812 CPUtime=51.07 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 5066 0 0 0 5093 14 0 0 25 0 1 0 186326773 30527488 5039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 7453 5039 197 640 0 6809 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29812 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1825968/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=31392 CPUtime=102.26 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 5464 0 0 0 10201 25 0 0 25 0 1 0 186326773 32145408 5437 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 7848 5437 197 640 0 7204 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31392 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1822832/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=34480 CPUtime=162.24 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 6237 0 0 0 16187 37 0 0 25 0 1 0 186326773 35307520 6210 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 8620 6210 197 640 0 7976 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34480 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1821488/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=35780 CPUtime=222.23 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 6565 0 0 0 22180 43 0 0 25 0 1 0 186326773 36638720 6538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 8945 6538 197 640 0 8301 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35780 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1820976/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=36312 CPUtime=282.21 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 6697 0 0 0 28172 49 0 0 25 0 1 0 186326773 37183488 6670 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 9078 6670 197 640 0 8434 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36312 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1816624/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=40572 CPUtime=342.19 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 7765 0 0 0 34161 58 0 0 25 0 1 0 186326773 41545728 7738 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 10143 7738 197 640 0 9499 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 40572 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1816560/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=40628 CPUtime=402.17 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 7780 0 0 0 40151 66 0 0 25 0 1 0 186326773 41603072 7753 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 10157 7753 197 640 0 9513 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 40628 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1816496/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=40548 CPUtime=462.16 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 7780 0 0 0 46142 74 0 0 25 0 1 0 186326773 41521152 7736 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 10137 7736 197 640 0 9493 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 40548 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1812656/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44484 CPUtime=522.15 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 52133 82 0 0 25 0 1 0 186326773 45551616 8718 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11121 8718 197 640 0 10477 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 44484 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1812592/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44476 CPUtime=582.13 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 58125 88 0 0 25 0 1 0 186326773 45543424 8718 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11119 8718 197 640 0 10475 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 44476 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1812592/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44452 CPUtime=642.12 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 64117 95 0 0 25 0 1 0 186326773 45518848 8712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11113 8712 197 640 0 10469 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 44452 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1812464/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44448 CPUtime=1121.99 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 112037 162 0 0 25 0 1 0 186326773 45514752 8711 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11112 8711 197 640 0 10468 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 44448 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1812400/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44448 CPUtime=1181.97 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 118027 170 0 0 25 0 1 0 186326773 45514752 8711 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11112 8711 197 640 0 10468 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 44448 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1812336/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44448 CPUtime=1241.95 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 124018 177 0 0 25 0 1 0 186326773 45514752 8711 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11112 8711 197 640 0 10468 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 44448 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 3/65 11304 /proc/meminfo: memFree=1812272/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44448 CPUtime=1301.95 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8762 0 0 0 130012 183 0 0 25 0 1 0 186326773 45514752 8711 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11112 8711 197 640 0 10468 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 44448 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811952/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44756 CPUtime=1361.93 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8838 0 0 0 136001 192 0 0 25 0 1 0 186326773 45830144 8787 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11189 8787 197 640 0 10545 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 44756 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811888/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44756 CPUtime=1421.91 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8838 0 0 0 141993 198 0 0 25 0 1 0 186326773 45830144 8787 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11189 8787 197 640 0 10545 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 44756 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811888/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=44744 CPUtime=1481.89 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8838 0 0 0 147986 203 0 0 25 0 1 0 186326773 45817856 8785 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11186 8785 197 640 0 10542 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 44744 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811248/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45260 CPUtime=1541.88 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 8994 0 0 0 153978 210 0 0 25 0 1 0 186326773 46346240 8907 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11315 8907 197 640 0 10671 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 45260 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811312/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1601.86 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 159970 216 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 45344 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811248/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1661.84 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 165959 225 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 45344 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811248/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1721.82 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 171949 233 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 45344 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811248/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1781.81 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 177942 239 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 45344 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1791.42 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 178902 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 45344 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1794.61 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 179221 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 45344 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1796.21 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 179381 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 45344 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1797.01 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 179461 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 45344 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1797.41 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 179501 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 45344 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1797.81 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 179541 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 45344 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11304 /proc/meminfo: memFree=1811184/2055920 swapFree=4182220/4192956 [pid=11303] ppid=11301 vsize=45344 CPUtime=1797.91 /proc/11303/stat : 11303 (bsolo) R 11301 11303 10952 0 -1 4194304 9026 0 0 0 179551 240 0 0 25 0 1 0 186326773 46432256 8935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11303/statm: 11336 8935 197 640 0 10692 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 45344 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.01 CPU user time (s): 1795.6 CPU system time (s): 2.41363 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 45488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.6 system time used= 2.41363 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9028 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= 3 involuntary context switches= 2083 runsolver used 1.37179 second user time and 3.67344 second system time The end
Begin job on node50 at 2009-06-16 23:21:47 IDJOB=1877983 IDBENCH=47963 IDSOLVER=700 FILE ID=node50/1877983-1245187307 PBS_JOBID= 9368273 Free space on /tmp= 66424 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877983-1245187307/watcher-1877983-1245187307 -o /tmp/evaluation-result-1877983-1245187307/solver-1877983-1245187307 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877983-1245187307.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED=1920217125 node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.211 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.211 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: 1849232 kB Buffers: 23832 kB Cached: 108812 kB SwapCached: 4580 kB Active: 31448 kB Inactive: 108544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849232 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 13440 kB Slab: 52636 kB Committed_AS: 112364 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877983-1245187307.opb Free space on /tmp at the end= 66420 MiB End job on node50 at 2009-06-16 23:51:45