Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798.01 | 1798.52 |
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 | 10.2704 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670494-1276702264.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.007 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.016 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.02 0.00/0.01 c Switching off lower bounding mode. 11.09/11.12 c 100 792 1280 10077 7 4378 7322 100 3846 0.03 11.09/11.12 c 251 792 1431 25145 17 4579 8055 251 3391 0.07 11.09/11.12 c 478 792 1658 52516 31 5028 8861 478 3567 0.13 11.09/11.12 c 816 792 1996 73305 36 5678 9748 816 4689 0.17 11.09/11.12 c 1325 792 2505 105318 42 6642 10723 1325 5452 0.24 11.09/11.12 c 2088 792 3268 151621 46 8192 11796 2088 5509 0.38 11.09/11.12 c 3236 792 4416 220275 49 10488 12976 3236 5136 0.63 11.09/11.12 c 4958 792 6138 323368 52 13955 14274 4958 4100 1.21 11.09/11.12 c 7542 792 8722 506287 58 19123 15702 7542 4369 1.73 11.09/11.12 c 11422 792 12602 763989 60 26963 17273 11422 3291 3.47 11.09/11.12 c 17245 792 18425 1101992 59 38601 19001 17245 1953 8.83 11.09/11.12 o 129 60.87/60.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.87/60.96 c 24612 792 15533 945706 60 32779 6672 14353 2213 11.12 60.87/60.96 c 24713 792 4618 267255 57 11010 7340 3438 2199 11.24 60.87/60.96 c 24964 792 4869 284669 58 11540 8075 3689 2209 11.30 60.87/60.96 c 25439 792 5344 313033 58 12480 8883 4164 2239 11.36 60.87/60.96 c 26253 792 6158 366123 59 13949 9772 4978 2283 11.50 60.87/60.96 c 27574 792 7479 468997 62 16606 10750 6299 2354 11.71 60.87/60.96 c 29655 792 9560 604219 63 20852 11826 8380 2442 12.14 60.87/60.96 c 32879 792 12784 824567 64 27249 13009 11604 2530 12.99 60.87/60.96 c 37816 792 10928 619341 56 23570 14310 9748 2563 14.75 60.87/60.96 c 45323 792 10713 649466 60 23150 15742 9533 2683 16.89 60.87/60.96 c 56684 792 13969 832086 59 29704 17317 12789 2301 24.62 60.87/60.96 c 73829 792 12673 771835 60 27068 19049 11493 2277 32.41 60.87/60.96 c 99648 792 18535 1049630 56 38819 20954 17355 1785 55.81 60.87/60.96 o 13 793.76/794.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 793.76/794.08 c 116720 792 13836 846311 61 29397 6672 12656 1915 60.94 793.76/794.08 c 116821 783 4618 231088 50 11057 7340 3438 1914 61.02 793.76/794.08 c 117071 783 4868 249380 51 11471 8075 3688 1917 61.06 793.76/794.08 c 117546 783 5343 281137 52 12431 8883 4163 1923 61.12 793.76/794.08 c 118359 783 6156 338949 55 14162 9772 4976 1932 61.26 793.76/794.08 c 119679 783 7476 420478 56 16743 10750 6296 1946 61.48 793.76/794.08 c 121762 783 9559 561576 58 20883 11826 8379 1967 61.90 793.76/794.08 c 124985 783 12782 751343 58 27335 13009 11602 1982 63.03 793.76/794.08 c 129923 774 11047 636803 57 23772 14310 9867 1984 65.48 793.76/794.08 c 137429 764 10647 660610 62 23082 15742 9467 2027 67.78 793.76/794.08 c 148791 764 13536 803773 59 28816 17317 12356 2051 72.52 793.76/794.08 c 165935 764 12862 794485 61 27405 19049 11682 2025 81.94 793.76/794.08 c 191754 764 19184 1088759 56 40031 20954 18004 1937 98.97 793.76/794.08 c 230586 751 14493 920687 63 30670 23050 13313 1894 121.70 793.76/794.08 c 288939 751 22815 1443983 63 47362 25356 21635 1579 182.97 793.76/794.08 c 376571 750 23572 1515144 64 48914 27892 22392 1236 304.64 793.76/794.08 c 508124 749 17608 1321731 75 36982 30682 16428 1066 476.54 793.76/794.08 o 3 1798.00/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.51 c 692830 748 22141 1477349 66 46051 6664 20961 872 793.85 1798.00/1798.51 c 692933 717 4627 242007 52 11011 7331 3447 872 794.37 1798.00/1798.51 c 693184 717 4878 258209 52 11476 8065 3698 872 794.41 1798.00/1798.51 c 693660 717 5354 291287 54 12503 8872 4174 873 794.47 1798.00/1798.51 c 694473 717 6167 348568 56 14090 9760 4987 873 794.63 1798.00/1798.51 c 695794 717 7488 438027 58 16740 10737 6308 875 794.95 1798.00/1798.51 c 697876 717 9570 580647 60 20946 11811 8390 876 795.86 1798.00/1798.51 c 701099 717 12793 798641 62 27384 12993 11613 878 798.23 1798.00/1798.51 c 706035 717 11093 669049 60 23976 14293 9913 879 802.88 1798.00/1798.51 c 713542 717 10737 647964 60 23250 15723 9557 884 806.95 1798.00/1798.51 c 724904 717 14063 841433 59 29838 17296 12883 889 815.07 1798.00/1798.51 c 742048 717 13159 839743 63 28080 19026 11979 891 832.65 1798.00/1798.51 c 767869 717 19221 1109527 57 40255 20929 18041 901 852.05 1798.00/1798.51 c 806702 717 14685 871764 59 31108 23022 13505 910 886.48 1798.00/1798.51 c 865054 717 22337 1474072 65 46451 25325 21157 914 945.57 1798.00/1798.51 c 952688 716 22090 1332534 60 45934 27858 20910 913 1043.22 1798.00/1798.51 c 1084240 716 16178 1112872 68 34077 30644 14998 910 1190.77 1798.00/1798.51 c 1281673 715 18500 1266032 68 38735 33709 17320 852 1502.80 1798.00/1798.51 c Resources Exceeded 1798.00/1798.51 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 1798.00/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.51 c 59 1455293 16246 1519521 32812 2040465 31632 809 1798.01 1798.00/1798.51 c Objective: 3 1798.00/1798.51 s SATISFIABLE 1798.00/1798.51 c Total time: 1798.01 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-2670494-1276702264/watcher-2670494-1276702264 -o /tmp/evaluation-result-2670494-1276702264/solver-2670494-1276702264 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670494-1276702264.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: 1.02 1.04 0.98 3/106 18778 /proc/meminfo: memFree=1843404/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=10836 CPUtime=0 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 335 0 0 0 0 0 0 0 18 0 1 0 11517368 11096064 254 1992294400 134512640 137138936 4293401808 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 2709 255 175 642 0 2054 0 [startup+0.0382871 s] /proc/loadavg: 1.02 1.04 0.98 3/106 18778 /proc/meminfo: memFree=1843404/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=11180 CPUtime=0.03 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 440 0 0 0 3 0 0 0 20 0 1 0 11517368 11448320 348 1992294400 134512640 137138936 4293401808 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 2795 348 190 642 0 2151 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11180 [startup+0.101293 s] /proc/loadavg: 1.02 1.04 0.98 3/106 18778 /proc/meminfo: memFree=1843404/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=11428 CPUtime=0.09 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 522 0 0 0 9 0 0 0 20 0 1 0 11517368 11702272 430 1992294400 134512640 137138936 4293401808 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 2857 430 190 642 0 2213 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11428 [startup+0.301312 s] /proc/loadavg: 1.02 1.04 0.98 3/106 18778 /proc/meminfo: memFree=1843404/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=12800 CPUtime=0.29 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 850 0 0 0 29 0 0 0 20 0 1 0 11517368 13107200 758 1992294400 134512640 137138936 4293401808 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 3200 758 190 642 0 2556 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12800 [startup+0.701351 s] /proc/loadavg: 1.02 1.04 0.98 3/106 18778 /proc/meminfo: memFree=1843404/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=14436 CPUtime=0.7 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 1251 0 0 0 69 1 0 0 20 0 1 0 11517368 14782464 1159 1992294400 134512640 137138936 4293401808 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 3609 1159 190 642 0 2965 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14436 [startup+1.50143 s] /proc/loadavg: 1.02 1.04 0.98 2/107 18781 /proc/meminfo: memFree=1838684/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=16944 CPUtime=1.49 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 1874 0 0 0 148 1 0 0 23 0 1 0 11517368 17350656 1782 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 4236 1782 190 642 0 3592 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16944 [startup+3.10158 s] /proc/loadavg: 1.02 1.04 0.98 2/107 18781 /proc/meminfo: memFree=1833848/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=21568 CPUtime=3.09 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 3028 0 0 0 306 3 0 0 25 0 1 0 11517368 22085632 2936 1992294400 134512640 137138936 4293401808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 5392 2936 190 642 0 4748 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21568 [startup+6.30189 s] /proc/loadavg: 1.02 1.04 0.98 2/107 18781 /proc/meminfo: memFree=1829632/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=24700 CPUtime=6.29 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 3838 0 0 0 624 5 0 0 25 0 1 0 11517368 25292800 3746 1992294400 134512640 137138936 4293401808 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 6175 3746 190 642 0 5531 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24700 [startup+12.7015 s] /proc/loadavg: 1.01 1.04 0.98 2/107 18781 /proc/meminfo: memFree=1823812/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=29560 CPUtime=12.69 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 5045 0 0 0 1260 9 0 0 25 0 1 0 11517368 30269440 4953 1992294400 134512640 137138936 4293401808 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 7390 4953 191 642 0 6746 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29560 [startup+25.5008 s] /proc/loadavg: 1.01 1.04 0.98 2/107 18781 /proc/meminfo: memFree=1823812/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=29548 CPUtime=25.49 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 5045 0 0 0 2536 13 0 0 25 0 1 0 11517368 30257152 4953 1992294400 134512640 137138936 4293401808 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 7387 4953 191 642 0 6743 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29548 [startup+51.1012 s] /proc/loadavg: 1.01 1.03 0.98 2/107 18781 /proc/meminfo: memFree=1823564/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=29888 CPUtime=51.08 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 5126 0 0 0 5088 20 0 0 25 0 1 0 11517368 30605312 5034 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 7472 5034 191 642 0 6828 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29888 [startup+102.308 s] /proc/loadavg: 1.00 1.02 0.98 2/107 18786 /proc/meminfo: memFree=1821332/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=31468 CPUtime=102.26 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 5524 0 0 0 10187 39 0 0 25 0 1 0 11517368 32223232 5432 1992294400 134512640 137138936 4293401808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 7867 5432 191 642 0 7223 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31468 [startup+162.301 s] /proc/loadavg: 1.00 1.02 0.98 2/107 18788 /proc/meminfo: memFree=1818232/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=34556 CPUtime=162.24 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 6297 0 0 0 16168 56 0 0 25 0 1 0 11517368 35385344 6205 1992294400 134512640 137138936 4293401808 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 8639 6205 191 642 0 7995 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34556 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 18788 /proc/meminfo: memFree=1816992/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=35856 CPUtime=222.22 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 6625 0 0 0 22151 71 0 0 25 0 1 0 11517368 36716544 6533 1992294400 134512640 137138936 4293401808 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 8964 6533 191 642 0 8320 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 35856 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 18790 /proc/meminfo: memFree=1816496/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=36388 CPUtime=282.2 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 6757 0 0 0 28137 83 0 0 25 0 1 0 11517368 37261312 6665 1992294400 134512640 137138936 4293401808 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 9097 6665 191 642 0 8453 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 36388 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18792 /proc/meminfo: memFree=1812156/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=40648 CPUtime=342.19 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 7825 0 0 0 34120 99 0 0 25 0 1 0 11517368 41623552 7733 1992294400 134512640 137138936 4293401808 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 10162 7733 191 642 0 9518 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 40648 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18794 /proc/meminfo: memFree=1812156/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=40704 CPUtime=402.17 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 7840 0 0 0 40104 113 0 0 25 0 1 0 11517368 41680896 7748 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 10176 7748 191 642 0 9532 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 40704 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18796 /proc/meminfo: memFree=1812156/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=40624 CPUtime=462.16 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 7840 0 0 0 46091 125 0 0 25 0 1 0 11517368 41598976 7731 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 10156 7731 191 642 0 9512 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 40624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18796 /proc/meminfo: memFree=1808312/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44560 CPUtime=522.14 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 52076 138 0 0 25 0 1 0 11517368 45629440 8713 1992294400 134512640 137138936 4293401808 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11140 8713 191 642 0 10496 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 44560 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18798 /proc/meminfo: memFree=1808312/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44552 CPUtime=582.12 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 58062 150 0 0 25 0 1 0 11517368 45621248 8713 1992294400 134512640 137138936 4293401808 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11138 8713 191 642 0 10494 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 44552 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18800 /proc/meminfo: memFree=1808312/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44528 CPUtime=642.11 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 64045 166 0 0 25 0 1 0 11517368 45596672 8707 1992294400 134512640 137138936 4293401808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11132 8707 191 642 0 10488 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 44528 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1808312/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44524 CPUtime=1061.98 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 105934 264 0 0 25 0 1 0 11517368 45592576 8706 1992294400 134512640 137138936 4293401808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11131 8706 191 642 0 10487 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 44524 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18812 /proc/meminfo: memFree=1808312/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44524 CPUtime=1121.97 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 111921 276 0 0 25 0 1 0 11517368 45592576 8706 1992294400 134512640 137138936 4293401808 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11131 8706 191 642 0 10487 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 44524 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18814 /proc/meminfo: memFree=1808312/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44524 CPUtime=1181.95 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 117907 288 0 0 25 0 1 0 11517368 45592576 8706 1992294400 134512640 137138936 4293401808 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11131 8706 191 642 0 10487 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 44524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 18816 /proc/meminfo: memFree=1808064/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44524 CPUtime=1241.93 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 123893 300 0 0 25 0 1 0 11517368 45592576 8706 1992294400 134512640 137138936 4293401808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11131 8706 191 642 0 10487 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 44524 [startup+1302.3 s] /proc/loadavg: 1.11 1.03 0.99 2/107 18818 /proc/meminfo: memFree=1808064/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44524 CPUtime=1301.93 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8822 0 0 0 129882 311 0 0 25 0 1 0 11517368 45592576 8706 1992294400 134512640 137138936 4293401808 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11131 8706 191 642 0 10487 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 44524 [startup+1362.3 s] /proc/loadavg: 1.11 1.04 1.00 2/107 18820 /proc/meminfo: memFree=1807940/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44832 CPUtime=1361.9 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8898 0 0 0 135864 326 0 0 25 0 1 0 11517368 45907968 8782 1992294400 134512640 137138936 4293401808 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11208 8782 191 642 0 10564 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 44832 [startup+1422.31 s] /proc/loadavg: 1.11 1.04 1.00 2/107 18820 /proc/meminfo: memFree=1807940/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44832 CPUtime=1421.9 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8898 0 0 0 141850 340 0 0 25 0 1 0 11517368 45907968 8782 1992294400 134512640 137138936 4293401808 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11208 8782 191 642 0 10564 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 44832 [startup+1482.3 s] /proc/loadavg: 1.10 1.05 1.00 2/107 18822 /proc/meminfo: memFree=1807940/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=44820 CPUtime=1481.87 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 8898 0 0 0 147836 351 0 0 25 0 1 0 11517368 45895680 8780 1992294400 134512640 137138936 4293401808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11205 8780 191 642 0 10561 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 44820 [startup+1542.3 s] /proc/loadavg: 1.09 1.05 1.00 2/107 18824 /proc/meminfo: memFree=1807320/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45336 CPUtime=1541.86 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9054 0 0 0 153820 366 0 0 25 0 1 0 11517368 46424064 8902 1992294400 134512640 137138936 4293401808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11334 8902 191 642 0 10690 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 45336 [startup+1602.3 s] /proc/loadavg: 1.15 1.07 1.01 2/107 18826 /proc/meminfo: memFree=1807196/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1601.85 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 159808 377 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 45420 [startup+1662.3 s] /proc/loadavg: 1.05 1.06 1.00 2/107 18828 /proc/meminfo: memFree=1807196/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1661.83 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 165791 392 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 45420 [startup+1722.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 18828 /proc/meminfo: memFree=1807196/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1721.81 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 171777 404 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 45420 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18830 /proc/meminfo: memFree=1806948/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1781.79 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 177764 415 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 45420 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18830 /proc/meminfo: memFree=1806948/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1791.41 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 178724 417 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 45420 [startup+1795.1 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18830 /proc/meminfo: memFree=1806948/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1794.6 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 179043 417 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 45420 [startup+1796.7 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18830 /proc/meminfo: memFree=1806948/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1796.19 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 179202 417 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 45420 [startup+1797.5 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18839 /proc/meminfo: memFree=1806204/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1796.98 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 179281 417 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 45420 [startup+1798.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18839 /proc/meminfo: memFree=1806204/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1797.79 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 179361 418 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 45420 [startup+1798.51 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18839 /proc/meminfo: memFree=1806204/2059040 swapFree=4140372/4192956 [pid=18778] ppid=18776 vsize=45420 CPUtime=1798 /proc/18778/stat : 18778 (bsolo_pb10) R 18776 18778 18437 0 -1 4202496 9086 0 0 0 179382 418 0 0 25 0 1 0 11517368 46510080 8930 1992294400 134512640 137138936 4293401808 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18778/statm: 11355 8930 191 642 0 10711 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 45420 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1793.83 CPU system time (s): 4.18436 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 45564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.83 system time used= 4.18436 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9087 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= 1 involuntary context switches= 6869 runsolver used 2.94555 second user time and 8.5137 second system time The end
Begin job on node056 at 2010-06-16 17:31:04 IDJOB=2670494 IDBENCH=47963 IDSOLVER=1163 FILE ID=node056/2670494-1276702264 PBS_JOBID= 11174089 Free space on /tmp= 98640 MiB SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670494-1276702264/watcher-2670494-1276702264 -o /tmp/evaluation-result-2670494-1276702264/solver-2670494-1276702264 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670494-1276702264.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED=1714571017 node056.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844064 kB Buffers: 11596 kB Cached: 115484 kB SwapCached: 5764 kB Active: 77948 kB Inactive: 61656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844064 kB SwapTotal: 4192956 kB SwapFree: 4140372 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 11064 kB Mapped: 12920 kB Slab: 53364 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181428 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670494-1276702264.opb Free space on /tmp at the end= 98636 MiB End job on node056 at 2010-06-16 18:01:03