Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 61 | 1800.09 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_10.opb |
MD5SUM | dd415565c40b70127defa3137ccd18d3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 1671.99 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 55 |
Optimality of the best value was proved | YES |
Number of variables | 895 |
Total number of constraints | 1660 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1659 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 45 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 108 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 144 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 741 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.19 c Initial problem consists of 895 variables and 1660 constraints. 0.22 c No problem reductions applied in OPT. instance. 0.22 c preprocess terminated. Elapsed time: 0.209 0.22 c After prepocess the problem consists of 894 variables and 1659 constraints. 0.22 c Initial Lower Bound: 45 1.02 c Restart #1 #Var: 894 LB: 45 @ 1.011 2.73 c Restart #2 #Var: 894 LB: 45 @ 2.721 5.98 c Restart #3 #Var: 894 LB: 45 @ 5.962 8.66 c Sol. found (all assignments made)... 8.66 o 92 8.66 c NEW SOLUTION FOUND: 92 @ 8.643 11.91 c Restart #4 #Var: 894 LB: 45 @ 11.893 16.13 c Restart #5 #Var: 894 LB: 45 @ 16.113 20.74 c Restart #6 #Var: 894 LB: 45 @ 20.716 25.25 c Restart #7 #Var: 894 LB: 45 @ 25.228 25.97 c Sol. found (all assignments made)... 25.97 o 91 25.97 c NEW SOLUTION FOUND: 91 @ 25.948 27.38 c Sol. found (all assignments made)... 27.38 o 81 27.38 c NEW SOLUTION FOUND: 81 @ 27.352 28.92 c Restart #8 #Var: 891 LB: 45 @ 28.9 30.64 c Sol. found (all assignments made)... 30.64 o 77 30.64 c NEW SOLUTION FOUND: 77 @ 30.618 32.28 c Restart #9 #Var: 886 LB: 45 @ 32.252 33.34 c Sol. found (all assignments made)... 33.34 o 74 33.34 c NEW SOLUTION FOUND: 74 @ 33.315 35.26 c Restart #10 #Var: 886 LB: 45 @ 35.238 37.36 c Restart #11 #Var: 886 LB: 45 @ 37.331 40.06 c Restart #12 #Var: 886 LB: 45 @ 40.028 42.37 c Restart #13 #Var: 886 LB: 45 @ 42.342 44.62 c Sol. found (all assignments made)... 44.62 o 73 44.62 c NEW SOLUTION FOUND: 73 @ 44.594 47.59 c Restart #14 #Var: 886 LB: 45 @ 47.553 50.57 c Restart #15 #Var: 886 LB: 45 @ 50.536 54.27 c Restart #16 #Var: 886 LB: 45 @ 54.237 58.48 c Restart #17 #Var: 886 LB: 45 @ 58.445 58.66 c Sol. found (all assignments made)... 58.66 o 72 58.66 c NEW SOLUTION FOUND: 72 @ 58.62 58.84 c Sol. found (all assignments made)... 58.84 o 71 58.84 c NEW SOLUTION FOUND: 71 @ 58.8 60.43 c Sol. found (all assignments made)... 60.43 o 70 60.43 c NEW SOLUTION FOUND: 70 @ 60.393 66.47 c Restart #18 #Var: 886 LB: 45 @ 66.434 71.81 c Restart #19 #Var: 886 LB: 45 @ 71.768 73.62 c Sol. found (all assignments made)... 73.62 o 69 73.62 c NEW SOLUTION FOUND: 69 @ 73.577 81.06 c Restart #20 #Var: 886 LB: 45 @ 81.005 89.27 c Restart #21 #Var: 885 LB: 45 @ 89.189 93.60 c Sol. found (all assignments made)... 93.60 o 68 93.60 c NEW SOLUTION FOUND: 68 @ 93.511 100.19 c Sol. found (all assignments made)... 100.19 o 67 100.19 c NEW SOLUTION FOUND: 67 @ 100.07 107.58 c Restart #22 #Var: 885 LB: 45 @ 107.46 113.46 c Restart #23 #Var: 885 LB: 45 @ 113.34 122.66 c Restart #24 #Var: 885 LB: 45 @ 122.54 125.07 c Sol. found (all assignments made)... 125.07 o 63 125.07 c NEW SOLUTION FOUND: 63 @ 124.94 132.56 c Restart #25 #Var: 885 LB: 45 @ 132.43 148.08 c Restart #26 #Var: 885 LB: 45 @ 147.95 154.12 c Restart #27 #Var: 885 LB: 45 @ 153.99 166.77 c Restart #28 #Var: 885 LB: 45 @ 166.62 176.30 c CHANGE to MIS mode... UB: 63 MIS: 45 LPR: 45 (0.16475) Diff: 1 176.30 c Restart #0 #Var: 885 LB: 45 @ 176.15 177.09 c Restart #1 #Var: 885 LB: 45 @ 176.95 178.12 c Restart #2 #Var: 885 LB: 45 @ 177.97 180.59 c Restart #3 #Var: 884 LB: 45 @ 180.44 182.56 c Restart #4 #Var: 884 LB: 45 @ 182.41 184.33 c Restart #5 #Var: 884 LB: 45 @ 184.18 188.76 c Restart #6 #Var: 884 LB: 45 @ 188.61 191.06 c Restart #7 #Var: 884 LB: 45 @ 190.91 193.46 c Restart #8 #Var: 884 LB: 45 @ 193.31 197.22 c Restart #9 #Var: 884 LB: 45 @ 197.07 203.43 c Restart #10 #Var: 884 LB: 45 @ 203.27 207.63 c Restart #11 #Var: 884 LB: 45 @ 207.47 214.01 c Restart #12 #Var: 884 LB: 45 @ 213.85 219.78 c Restart #13 #Var: 884 LB: 45 @ 219.62 224.98 c Restart #14 #Var: 884 LB: 45 @ 224.82 236.19 c Restart #15 #Var: 883 LB: 45 @ 236.03 242.90 c Restart #16 #Var: 883 LB: 45 @ 242.73 246.88 c Restart #17 #Var: 883 LB: 45 @ 246.71 257.30 c Restart #18 #Var: 883 LB: 45 @ 257.12 264.62 c Restart #19 #Var: 883 LB: 45 @ 264.44 278.46 c Restart #20 #Var: 883 LB: 45 @ 278.28 291.91 c Restart #21 #Var: 883 LB: 45 @ 291.73 299.51 c Restart #22 #Var: 883 LB: 45 @ 299.32 306.69 c Restart #23 #Var: 883 LB: 45 @ 306.5 322.93 c Restart #24 #Var: 883 LB: 45 @ 322.73 331.42 c Restart #25 #Var: 883 LB: 45 @ 331.22 347.77 c Restart #26 #Var: 883 LB: 45 @ 347.56 365.83 c Restart #27 #Var: 883 LB: 45 @ 365.61 388.23 c Restart #28 #Var: 883 LB: 45 @ 388.01 401.60 c Restart #29 #Var: 883 LB: 45 @ 401.38 417.81 c Restart #30 #Var: 882 LB: 45 @ 417.57 428.92 c Restart #31 #Var: 882 LB: 45 @ 428.68 446.69 c Restart #32 #Var: 882 LB: 45 @ 446.45 459.60 c Restart #33 #Var: 882 LB: 45 @ 459.36 470.95 c Restart #34 #Var: 879 LB: 45 @ 470.7 488.36 c Restart #35 #Var: 879 LB: 45 @ 488.1 496.14 c Sol. found (all assignments made)... 496.14 o 62 496.14 c NEW SOLUTION FOUND: 62 @ 495.87 510.88 c Restart #36 #Var: 879 LB: 45 @ 510.61 530.56 c Restart #37 #Var: 879 LB: 45 @ 530.29 561.37 c Restart #38 #Var: 879 LB: 45 @ 561.09 581.19 c Restart #39 #Var: 879 LB: 45 @ 580.89 598.84 c Restart #40 #Var: 879 LB: 45 @ 598.54 616.91 c Restart #41 #Var: 879 LB: 45 @ 616.61 642.12 c Restart #42 #Var: 879 LB: 45 @ 641.8 662.63 c Restart #43 #Var: 879 LB: 45 @ 662.3 688.13 c Restart #44 #Var: 879 LB: 45 @ 687.8 708.38 c Restart #45 #Var: 879 LB: 45 @ 708.04 760.99 c Restart #46 #Var: 879 LB: 45 @ 760.63 787.29 c Restart #47 #Var: 879 LB: 45 @ 786.92 793.09 c Sol. found (all assignments made)... 793.09 o 61 793.09 c NEW SOLUTION FOUND: 61 @ 792.72 826.07 c Restart #48 #Var: 875 LB: 45 @ 825.68 853.12 c Restart #49 #Var: 875 LB: 45 @ 852.73 882.21 c Restart #50 #Var: 875 LB: 45 @ 881.81 929.42 c Restart #51 #Var: 873 LB: 45 @ 929 954.40 c Restart #52 #Var: 873 LB: 45 @ 953.98 993.18 c Restart #53 #Var: 873 LB: 45 @ 992.74 1018.07 c Restart #54 #Var: 873 LB: 45 @ 1017.6 1055.86 c Restart #55 #Var: 873 LB: 45 @ 1055.4 1079.88 c Restart #56 #Var: 873 LB: 45 @ 1079.4 1109.92 c Restart #57 #Var: 873 LB: 45 @ 1109.4 1140.51 c Restart #58 #Var: 873 LB: 45 @ 1140 1185.29 c Restart #59 #Var: 873 LB: 45 @ 1184.8 1217.27 c Restart #60 #Var: 873 LB: 45 @ 1216.7 1241.86 c Restart #61 #Var: 873 LB: 45 @ 1241.3 1293.42 c Restart #62 #Var: 873 LB: 45 @ 1292.9 1347.98 c Restart #63 #Var: 873 LB: 45 @ 1347.4 1426.13 c Restart #64 #Var: 873 LB: 45 @ 1425.5 1524.77 c Restart #65 #Var: 873 LB: 45 @ 1524.1 1567.74 c Restart #66 #Var: 873 LB: 45 @ 1567.1 1634.81 c Restart #67 #Var: 873 LB: 45 @ 1634.1 1684.11 c Restart #68 #Var: 873 LB: 45 @ 1683.4 1710.73 c Restart #69 #Var: 873 LB: 45 @ 1710 1800.74 s SATISFIABLE 1800.74 c Cost: 61 1800.74 v -x1 -x2 -x3 -x4 x5 -x6 x895 x56 x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x894 -x49 -x50 -x51 -x52 -x53 x54 -x55 1800.74 v -x893 -x892 -x891 x890 x889 -x42 -x43 x44 x45 x46 -x47 -x48 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 1800.74 v -x877 -x876 -x875 x35 -x36 -x37 -x38 x39 -x40 -x41 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 1800.74 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 x847 -x846 -x845 -x28 x29 -x30 -x31 1800.74 v x32 -x33 -x34 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 x831 -x830 -x829 -x828 -x827 -x826 1800.74 v -x825 -x824 -x823 -x822 x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 x807 x806 x805 -x804 1800.74 v x803 x802 x801 x800 -x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 -x21 x22 -x23 x24 -x25 -x26 -x27 -x789 -x788 -x787 -x786 1800.74 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 1800.74 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 x746 -x745 -x744 1800.74 v x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 x732 -x731 -x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 1800.74 v x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 x712 x711 -x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 -x699 x7 x8 -x9 1800.74 v -x10 -x11 -x12 -x13 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1800.74 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 1800.74 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 x641 x640 1800.74 v x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 x627 x626 x625 -x624 x623 x622 x621 x620 -x619 x618 x617 1800.74 v x616 x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 x602 x601 x600 -x599 x598 x597 x596 x595 -x594 1800.74 v -x593 x592 x591 x590 x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 x579 x578 x577 x576 x575 x574 x573 x572 x571 x570 1800.74 v x569 x568 x567 -x566 x565 x564 x563 x562 x561 x560 x559 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x558 -x557 -x556 -x555 -x554 -x553 1800.74 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 x536 -x535 -x534 -x533 -x532 1800.74 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 x516 -x515 -x514 -x513 -x512 -x511 1800.74 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 x495 -x494 -x493 x492 x491 x490 x489 1800.74 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 x477 x476 -x475 -x474 x473 x472 x471 x470 -x469 x468 x467 1800.74 v x466 x465 x464 x463 x462 x461 x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 x447 x446 x445 -x444 1800.74 v x443 x442 x441 x440 -x439 -x438 x437 x436 x435 x434 x433 -x432 x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.74 v -x420 x419 x418 -x417 -x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 x406 -x405 x404 x403 x402 x401 x400 x399 -x398 x397 1800.74 v x396 x395 x394 x393 x392 x391 -x390 x389 x388 x387 x386 -x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 1800.74 v x371 -x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 1800.74 v -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 x331 x330 x329 -x328 -x327 -x326 1800.74 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 x309 -x308 x307 x306 x305 -x304 1800.74 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 x285 -x284 -x283 1800.74 v x282 x281 x280 x279 x278 x277 x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 -x261 -x260 1800.74 v x259 x258 x257 x256 -x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 -x239 -x238 -x237 -x236 1800.74 v -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 x227 x226 -x225 x224 x223 x222 x221 -x220 -x219 x218 x217 x216 x215 x214 -x213 1800.74 v x212 x211 x210 x209 x208 -x207 x206 x205 x204 x203 x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 x193 -x192 -x191 x190 1800.74 v x189 x188 x187 x186 x185 x184 x183 x182 x181 -x180 x179 x178 x177 x176 x175 x174 -x173 x172 x171 x170 x169 x168 x167 x166 x165 1800.74 v x164 x163 x162 x161 x160 x159 -x158 x157 x156 x155 x154 -x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 1800.74 v x139 -x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 1800.74 v x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 1800.74 v x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 1800.74 c Exit Code: 10 1800.74 c Total time: 1800 s
OK 61
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node7/watcher-50349-1154113188 -o ROOT/results/node7/solver-50349-1154113188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/50349-1154113188/instance-50349-1154113188.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 4899 /proc/meminfo: memFree=1445688/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=3436 CPUtime=0 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 66 0 0 0 0 0 0 0 19 0 1 0 158180213 3518464 47 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 1 0 0 /proc/4899/statm: 859 49 36 55 0 42 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1438584/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=11604 CPUtime=9.97 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 2159 0 0 0 996 1 0 0 25 0 1 0 158180213 11882496 2073 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 2901 2073 298 55 0 1793 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 11604 [startup+20.0096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1436472/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=13716 CPUtime=19.98 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 2687 0 0 0 1996 2 0 0 25 0 1 0 158180213 14045184 2601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 3429 2601 298 55 0 2321 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 13716 [startup+30.0155 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1432440/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=17808 CPUtime=29.98 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 3703 0 0 0 2994 4 0 0 25 0 1 0 158180213 18235392 3617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 4452 3617 298 55 0 3344 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 17808 [startup+40.0213 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1423864/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=26264 CPUtime=39.98 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 5832 0 0 0 3990 8 0 0 25 0 1 0 158180213 26894336 5746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 6566 5746 298 55 0 5458 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 26264 [startup+50.0272 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1415544/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=34604 CPUtime=49.98 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 7911 0 0 0 4986 12 0 0 25 0 1 0 158180213 35434496 7825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 8651 7825 298 55 0 7543 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 34604 [startup+60.0331 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1408568/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=41612 CPUtime=59.99 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 9652 0 0 0 5984 15 0 0 25 0 1 0 158180213 42610688 9565 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 10403 9565 298 55 0 9295 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 41612 [startup+70.0389 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4899 /proc/meminfo: memFree=1403448/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=46776 CPUtime=69.99 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 10938 0 0 0 6982 17 0 0 25 0 1 0 158180213 47898624 10849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 11694 10849 298 55 0 10586 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 46776 [startup+80.0448 s] /proc/loadavg: 1.00 1.00 1.00 2/70 4973 /proc/meminfo: memFree=1397320/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=51676 CPUtime=79.99 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 12146 0 0 0 7976 23 0 0 25 0 1 0 158180213 52916224 12057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 12919 12057 298 55 0 11811 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 51676 [startup+90.0516 s] /proc/loadavg: 1.00 1.00 1.00 2/70 5033 /proc/meminfo: memFree=1393160/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=55776 CPUtime=89.96 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 13175 0 0 0 8971 25 0 0 25 0 1 0 158180213 57114624 13086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 13944 13086 298 55 0 12836 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 55776 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1390264/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=59736 CPUtime=99.93 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 14146 0 0 0 9966 27 0 0 25 0 1 0 158180213 61169664 14057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 14934 14057 298 55 0 13826 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 59736 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1385592/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=64368 CPUtime=109.94 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 15315 0 0 0 10964 30 0 0 25 0 1 0 158180213 65912832 15224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 16092 15224 298 55 0 14984 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 64368 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1380792/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=69252 CPUtime=119.93 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 16528 0 0 0 11962 31 0 0 25 0 1 0 158180213 70914048 16436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 17313 16436 298 55 0 16205 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 69252 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1375736/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=74268 CPUtime=129.94 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 17780 0 0 0 12961 33 0 0 25 0 1 0 158180213 76050432 17688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 18567 17688 298 55 0 17459 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 74268 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1372216/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=78016 CPUtime=139.94 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 18685 0 0 0 13960 34 0 0 25 0 1 0 158180213 79888384 18590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 19504 18590 298 55 0 18396 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 78016 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1368888/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=81220 CPUtime=149.94 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 19511 0 0 0 14959 35 0 0 25 0 1 0 158180213 83169280 19414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 20305 19414 298 55 0 19197 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 81220 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1364600/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=85576 CPUtime=159.95 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 20577 0 0 0 15958 37 0 0 25 0 1 0 158180213 87629824 20480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 21394 20480 298 55 0 20286 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 85576 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1360184/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=90064 CPUtime=169.95 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 21684 0 0 0 16956 39 0 0 25 0 1 0 158180213 92225536 21587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 22516 21587 298 55 0 21408 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 90064 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1352120/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=98336 CPUtime=179.95 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 28622 0 0 0 17953 42 0 0 25 0 1 0 158180213 100696064 23725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 24584 23725 435 55 0 23476 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 98336 [startup+190.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1348920/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=101652 CPUtime=189.96 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 29424 0 0 0 18952 44 0 0 25 0 1 0 158180213 104091648 24526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 25413 24526 435 55 0 24305 0 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 101652 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=1345208/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=105348 CPUtime=199.96 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 30353 0 0 0 19951 45 0 0 25 0 1 0 158180213 107876352 25455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 26337 25455 435 55 0 25229 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 105348 [startup+210.127 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 515208 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=937464/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=516264 CPUtime=1770.33 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134462 0 0 0 176812 221 0 0 25 0 1 0 158180213 528654336 127195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129066 127195 435 55 0 127958 0 Current children cumulated CPU time (s) 1770.33 Current children cumulated vsize (Kb) 516264 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935928/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=517716 CPUtime=1780.34 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134834 0 0 0 177812 222 0 0 25 0 1 0 158180213 530141184 127567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129429 127567 435 55 0 128321 0 Current children cumulated CPU time (s) 1780.34 Current children cumulated vsize (Kb) 517716 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935736/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=517980 CPUtime=1781.35 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134880 0 0 0 177912 223 0 0 25 0 1 0 158180213 530411520 127613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129495 127613 435 55 0 128387 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 517980 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935608/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518112 CPUtime=1782.35 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134915 0 0 0 178012 223 0 0 25 0 1 0 158180213 530546688 127648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129528 127648 435 55 0 128420 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 518112 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935480/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518244 CPUtime=1783.36 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134955 0 0 0 178113 223 0 0 25 0 1 0 158180213 530681856 127688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129561 127688 435 55 0 128453 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 518244 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935352/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518376 CPUtime=1784.36 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134980 0 0 0 178213 223 0 0 25 0 1 0 158180213 530817024 127713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129594 127713 435 55 0 128486 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 518376 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935224/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518508 CPUtime=1785.37 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135013 0 0 0 178314 223 0 0 25 0 1 0 158180213 530952192 127746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129627 127746 435 55 0 128519 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 518508 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935160/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518508 CPUtime=1786.37 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135033 0 0 0 178414 223 0 0 25 0 1 0 158180213 530952192 127766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129627 127766 435 55 0 128519 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 518508 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=935032/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518640 CPUtime=1787.38 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135058 0 0 0 178515 223 0 0 25 0 1 0 158180213 531087360 127791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129660 127791 435 55 0 128552 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 518640 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934904/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518772 CPUtime=1788.38 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135087 0 0 0 178615 223 0 0 25 0 1 0 158180213 531222528 127820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129693 127820 435 55 0 128585 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 518772 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934776/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=518904 CPUtime=1789.38 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135118 0 0 0 178715 223 0 0 25 0 1 0 158180213 531357696 127851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129726 127851 435 55 0 128618 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 518904 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934712/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519036 CPUtime=1790.39 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135143 0 0 0 178816 223 0 0 25 0 1 0 158180213 531492864 127876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129759 127876 435 55 0 128651 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 519036 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934584/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519168 CPUtime=1791.39 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135172 0 0 0 178916 223 0 0 25 0 1 0 158180213 531628032 127905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129792 127905 435 55 0 128684 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 519168 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934456/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519168 CPUtime=1792.39 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135200 0 0 0 179016 223 0 0 25 0 1 0 158180213 531628032 127933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129792 127933 435 55 0 128684 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 519168 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934328/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519300 CPUtime=1793.4 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135236 0 0 0 179117 223 0 0 25 0 1 0 158180213 531763200 127969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129825 127969 435 55 0 128717 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 519300 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934264/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519432 CPUtime=1794.4 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135257 0 0 0 179217 223 0 0 25 0 1 0 158180213 531898368 127990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129858 127990 435 55 0 128750 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 519432 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934136/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519564 CPUtime=1795.4 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135285 0 0 0 179317 223 0 0 25 0 1 0 158180213 532033536 128018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129891 128018 435 55 0 128783 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (Kb) 519564 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=934008/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519696 CPUtime=1796.41 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135318 0 0 0 179418 223 0 0 25 0 1 0 158180213 532168704 128051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129924 128051 435 55 0 128816 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 519696 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=933880/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519828 CPUtime=1797.42 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135353 0 0 0 179518 224 0 0 25 0 1 0 158180213 532303872 128086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129957 128086 435 55 0 128849 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 519828 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=933688/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=519960 CPUtime=1798.42 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135389 0 0 0 179618 224 0 0 25 0 1 0 158180213 532439040 128122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 129990 128122 435 55 0 128882 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 519960 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5097 /proc/meminfo: memFree=933560/2055920 swapFree=4182852/4192956 [pid=4899] ppid=4897 vsize=520092 CPUtime=1799.43 /proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135420 0 0 0 179719 224 0 0 25 0 1 0 158180213 532574208 128153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4899/statm: 130023 128153 435 55 0 128915 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 520092 Child status: 10 Real time (s): 1800.83 CPU time (s): 1800.09 CPU user time (s): 1797.76 CPU system time (s): 2.33465 CPU usage (%): 99.9589 Max. virtual memory (cumulated for all children) (Kb): 520092 The end
Begin job on node7 on Fri Jul 28 18:59:48 UTC 2006 FILE ID= 50349-1154113188 PBS_JOBID= 886592 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/50349-1154113188/instance-50349-1154113188.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-50349-1154113188 -o ROOT/results/node7/solver-50349-1154113188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/50349-1154113188/instance-50349-1154113188.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3 RANDOM SEED= 569008624 TIMEOUT= 1800 seconds /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.281 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.281 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: 1445896 kB Buffers: 35172 kB Cached: 498632 kB SwapCached: 4484 kB Active: 40988 kB Inactive: 502116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1445896 kB SwapTotal: 4192956 kB SwapFree: 4182852 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14488 kB Slab: 52864 kB Committed_AS: 721164 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node7 on Fri Jul 28 19:29:49 UTC 2006