Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -26606 | 1800.06 | 1800.67 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb |
MD5SUM | d0972750cf259b5b6f93d177cc7cfb4a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -1307731 |
Best CPU time to get the best result obtained on this benchmark | 655.452 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -1307731 |
Optimality of the best value was proved | YES |
Number of variables | 901 |
Total number of constraints | 2521 |
Number of constraints which are clauses | 2520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 576460752303423488 |
Number of bits of the biggest number in a constraint | 60 |
Biggest sum of numbers in a constraint | 2305841944493460011 |
Number of bits of the biggest sum of numbers | 61 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.08 c INFO: OSL Context initialized. 0.13 c BIG Int formula... 0.13 c Initial problem consists of 901 variables and 2522 constraints. 0.14 c No problem reductions applied in OPT. instance. 0.14 c preprocess terminated. Elapsed time: 0.063 0.14 c After prepocess the problem consists of 603 variables and 1850 constraints. 0.14 c Initial Lower Bound: -2097151 0.44 c Restart #1 #Var: 603 LB: -2097151 @ 0.367 1.02 c Restart #2 #Var: 603 LB: -2097151 @ 0.945 1.88 c Restart #3 #Var: 603 LB: -2097151 @ 1.8 2.99 c Restart #4 #Var: 603 LB: -2097151 @ 2.91 4.36 c Restart #5 #Var: 603 LB: -2097151 @ 4.289 6.01 c Restart #6 #Var: 603 LB: -2097151 @ 5.937 7.99 c Restart #7 #Var: 603 LB: -2097151 @ 7.908 10.32 c Restart #8 #Var: 603 LB: -2097151 @ 10.24 13.16 c Restart #9 #Var: 603 LB: -2097151 @ 13.075 16.27 c Restart #10 #Var: 603 LB: -2097151 @ 16.187 19.48 c Restart #11 #Var: 603 LB: -2097151 @ 19.394 22.70 c Restart #12 #Var: 603 LB: -2097151 @ 22.615 26.04 c Restart #13 #Var: 603 LB: -2097151 @ 25.952 29.07 c Restart #14 #Var: 603 LB: -2097151 @ 28.977 31.85 c Restart #15 #Var: 603 LB: -2097151 @ 31.762 35.19 c Restart #16 #Var: 603 LB: -2097151 @ 35.094 38.79 c Restart #17 #Var: 603 LB: -2097151 @ 38.698 38.80 c Sol. found (all assignments made)... 38.80 o -2 38.80 c NEW SOLUTION FOUND: -2 @ 38.711 39.06 c Sol. found (all assignments made)... 41.12 c Restart #18 #Var: 603 LB: -2097151 @ 41.023 45.29 c Restart #19 #Var: 602 LB: -2097151 @ 45.201 48.74 c Restart #20 #Var: 602 LB: -2097151 @ 48.644 52.41 c Restart #21 #Var: 602 LB: -2097151 @ 52.317 56.83 c CHANGE to MIS mode... UB: -2 MIS: -2097151 LPR: -2147483648 (0) Diff: 0.00097656 56.83 c Restart #0 #Var: 602 LB: -2097151 @ 56.736 57.02 c Restart #1 #Var: 602 LB: -2097151 @ 56.924 57.50 c Restart #2 #Var: 602 LB: -2097151 @ 57.404 57.84 c Restart #3 #Var: 602 LB: -2097151 @ 57.746 58.44 c Restart #4 #Var: 597 LB: -2097151 @ 58.346 58.72 c Sol. found (all assignments made)... 58.72 o -53 58.72 c NEW SOLUTION FOUND: -53 @ 58.618 59.37 c Restart #5 #Var: 589 LB: -2097151 @ 59.271 60.41 c Restart #6 #Var: 589 LB: -2097151 @ 60.316 61.64 c Restart #7 #Var: 589 LB: -2097151 @ 61.545 63.08 c Restart #8 #Var: 589 LB: -2097151 @ 62.98 64.62 c Restart #9 #Var: 589 LB: -2097151 @ 64.525 66.33 c Restart #10 #Var: 589 LB: -2097151 @ 66.227 68.38 c Restart #11 #Var: 588 LB: -2097151 @ 68.278 71.18 c Restart #12 #Var: 588 LB: -2097151 @ 71.075 73.91 c Restart #13 #Var: 587 LB: -2097151 @ 73.804 77.19 c Restart #14 #Var: 573 LB: -2097151 @ 77.088 79.98 c Restart #15 #Var: 572 LB: -2097151 @ 79.873 82.96 c Restart #16 #Var: 572 LB: -2097151 @ 82.86 85.81 c Restart #17 #Var: 572 LB: -2097151 @ 85.7 89.58 c Restart #18 #Var: 570 LB: -2097151 @ 89.476 93.49 c Restart #19 #Var: 570 LB: -2097151 @ 93.387 98.23 c Restart #20 #Var: 570 LB: -2097151 @ 98.121 101.31 c Restart #21 #Var: 570 LB: -2097151 @ 101.2 105.56 c Restart #22 #Var: 570 LB: -2097151 @ 105.45 110.00 c Restart #23 #Var: 570 LB: -2097151 @ 109.88 115.25 c Restart #24 #Var: 570 LB: -2097151 @ 115.14 120.45 c Restart #25 #Var: 570 LB: -2097151 @ 120.34 125.56 c Restart #26 #Var: 570 LB: -2097151 @ 125.45 132.02 c Restart #27 #Var: 570 LB: -2097151 @ 131.9 137.20 c Restart #28 #Var: 570 LB: -2097151 @ 137.08 142.11 c Restart #29 #Var: 570 LB: -2097151 @ 141.99 147.30 c Restart #30 #Var: 564 LB: -2097151 @ 147.18 154.00 c Restart #31 #Var: 564 LB: -2097151 @ 153.88 155.90 c Sol. found (all assignments made)... 155.90 o -106 155.90 c NEW SOLUTION FOUND: -106 @ 155.78 161.92 c Restart #32 #Var: 563 LB: -2097151 @ 161.79 168.12 c Restart #33 #Var: 563 LB: -2097151 @ 168 175.10 c Restart #34 #Var: 563 LB: -2097151 @ 174.97 182.95 c Restart #35 #Var: 562 LB: -2097151 @ 182.82 189.81 c Restart #36 #Var: 562 LB: -2097151 @ 189.68 196.81 c Restart #37 #Var: 562 LB: -2097151 @ 196.68 201.47 c Sol. found (all assignments made)... 201.47 o -502 201.47 c NEW SOLUTION FOUND: -502 @ 201.33 209.38 c Restart #38 #Var: 562 LB: -2097151 @ 209.25 220.52 c Restart #39 #Var: 562 LB: -2097151 @ 220.38 230.16 c Restart #40 #Var: 562 LB: -2097151 @ 230.02 239.22 c Restart #41 #Var: 562 LB: -2097151 @ 239.07 247.79 c Restart #42 #Var: 562 LB: -2097151 @ 247.65 259.05 c Restart #43 #Var: 562 LB: -2097151 @ 258.9 267.22 c Restart #44 #Var: 562 LB: -2097151 @ 267.07 277.58 c Restart #45 #Var: 562 LB: -2097151 @ 277.43 287.96 c Restart #46 #Var: 562 LB: -2097151 @ 287.8 298.26 c Restart #47 #Var: 562 LB: -2097151 @ 298.1 308.92 c Restart #48 #Var: 562 LB: -2097151 @ 308.75 320.44 c Restart #49 #Var: 562 LB: -2097151 @ 320.28 333.71 c Restart #50 #Var: 562 LB: -2097151 @ 333.54 344.81 c Restart #51 #Var: 555 LB: -2097151 @ 344.64 358.19 c Restart #52 #Var: 554 LB: -2097151 @ 358.02 370.42 c Restart #53 #Var: 554 LB: -2097151 @ 370.24 382.84 c Restart #54 #Var: 554 LB: -2097151 @ 382.65 395.34 c Restart #55 #Var: 554 LB: -2097151 @ 395.15 409.09 c Restart #56 #Var: 554 LB: -2097151 @ 408.9 422.76 c Restart #57 #Var: 545 LB: -2097151 @ 422.56 437.21 c Restart #58 #Var: 545 LB: -2097151 @ 437.01 449.87 c Restart #59 #Var: 545 LB: -2097151 @ 449.67 465.30 c Restart #60 #Var: 545 LB: -2097151 @ 465.1 479.06 c Restart #61 #Var: 545 LB: -2097151 @ 478.86 501.03 c Restart #62 #Var: 545 LB: -2097151 @ 500.82 519.59 c Restart #63 #Var: 544 LB: -2097151 @ 519.37 533.55 c Restart #64 #Var: 544 LB: -2097151 @ 533.33 550.90 c Restart #65 #Var: 544 LB: -2097151 @ 550.67 571.72 c Restart #66 #Var: 544 LB: -2097151 @ 571.49 588.76 c Restart #67 #Var: 544 LB: -2097151 @ 588.52 606.32 c Restart #68 #Var: 544 LB: -2097151 @ 606.08 622.99 c Restart #69 #Var: 544 LB: -2097151 @ 622.74 639.05 c Restart #70 #Var: 544 LB: -2097151 @ 638.8 659.69 c Restart #71 #Var: 544 LB: -2097151 @ 659.43 678.14 c Restart #72 #Var: 544 LB: -2097151 @ 677.88 698.11 c Restart #73 #Var: 544 LB: -2097151 @ 697.85 718.30 c Restart #74 #Var: 544 LB: -2097151 @ 718.02 735.74 c Restart #75 #Var: 544 LB: -2097151 @ 735.47 740.27 c Sol. found (all assignments made)... 740.27 o -13303 740.27 c NEW SOLUTION FOUND: -13303 @ 740 761.31 c Restart #76 #Var: 544 LB: -2097151 @ 761.02 780.81 c Restart #77 #Var: 544 LB: -2097151 @ 780.52 803.45 c Restart #78 #Var: 544 LB: -2097151 @ 803.16 823.65 c Restart #79 #Var: 544 LB: -2097151 @ 823.35 842.52 c Restart #80 #Var: 544 LB: -2097151 @ 842.22 878.80 c Restart #81 #Var: 544 LB: -2097151 @ 878.48 925.49 c Restart #82 #Var: 533 LB: -2097151 @ 925.17 947.22 c Restart #83 #Var: 533 LB: -2097151 @ 946.89 970.15 c Restart #84 #Var: 533 LB: -2097151 @ 969.81 991.48 c Restart #85 #Var: 533 LB: -2097151 @ 991.14 1013.58 c Restart #86 #Var: 533 LB: -2097151 @ 1013.2 1038.81 c Restart #87 #Var: 533 LB: -2097151 @ 1038.4 1059.51 c Restart #88 #Var: 533 LB: -2097151 @ 1059.2 1079.50 c Sol. found (all assignments made)... 1079.50 o -26606 1079.50 c NEW SOLUTION FOUND: -26606 @ 1079.1 1098.62 c Restart #89 #Var: 533 LB: -2097151 @ 1098.3 1122.14 c Restart #90 #Var: 533 LB: -2097151 @ 1121.8 1145.98 c Restart #91 #Var: 533 LB: -2097151 @ 1145.6 1182.67 c Restart #92 #Var: 533 LB: -2097151 @ 1182.3 1210.31 c Restart #93 #Var: 533 LB: -2097151 @ 1209.9 1238.46 c Restart #94 #Var: 519 LB: -2097151 @ 1238 1261.63 c Restart #95 #Var: 519 LB: -2097151 @ 1261.2 1302.69 c Restart #96 #Var: 519 LB: -2097151 @ 1302.2 1341.20 c Restart #97 #Var: 518 LB: -2097151 @ 1340.7 1375.79 c Restart #98 #Var: 518 LB: -2097151 @ 1375.3 1399.83 c Restart #99 #Var: 518 LB: -2097151 @ 1399.3 1426.71 c Restart #100 #Var: 518 LB: -2097151 @ 1426.2 1449.98 c Restart #101 #Var: 518 LB: -2097151 @ 1449.5 1494.16 c Restart #102 #Var: 518 LB: -2097151 @ 1493.6 1525.03 c Restart #103 #Var: 478 LB: -2097151 @ 1524.5 1556.98 c Restart #104 #Var: 478 LB: -2097151 @ 1556.4 1588.01 c Restart #105 #Var: 478 LB: -2097151 @ 1587.5 1621.84 c Restart #106 #Var: 477 LB: -2097151 @ 1621.3 1648.81 c Restart #107 #Var: 477 LB: -2097151 @ 1648.2 1684.42 c Restart #108 #Var: 477 LB: -2097151 @ 1683.8 1713.70 c Restart #109 #Var: 463 LB: -2097151 @ 1713.1 1740.90 c Restart #110 #Var: 463 LB: -2097151 @ 1740.3 1778.17 c Restart #111 #Var: 463 LB: -2097151 @ 1777.6 1800.61 s SATISFIABLE 1800.61 c Cost: -26606 1800.61 v -x1 x2 x3 x4 -x5 x6 x7 x8 x9 x10 x11 -x12 -x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x62 x22 -x63 x23 -x64 -x24 -x65 -x25 -x66 x26 1800.61 v -x67 -x27 -x68 x28 -x69 -x29 -x70 -x30 -x71 -x31 -x72 x32 -x73 -x33 -x74 x34 -x75 x35 -x76 x36 -x77 x37 -x78 x38 -x79 x39 -x80 -x40 1800.61 v -x81 -x41 -x82 x42 -x83 -x43 -x84 -x44 -x85 -x45 -x86 -x46 -x87 -x47 -x88 -x48 -x89 -x49 -x90 -x50 -x91 -x51 -x92 -x52 -x93 -x53 1800.61 v -x94 -x54 -x95 -x55 -x96 -x56 -x97 -x57 -x98 -x58 -x99 -x59 -x100 -x60 -x101 -x61 x502 x503 -x504 -x505 x506 -x507 x508 -x509 1800.61 v -x510 -x511 x512 -x513 x514 x515 x516 x517 x518 x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.61 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x582 x583 -x584 -x585 x586 -x587 x588 -x589 -x590 -x591 x592 -x593 1800.61 v x594 x595 x596 x597 x598 x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.61 v -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 -x629 -x630 -x631 x632 -x633 x634 x635 x636 x637 1800.61 v x638 x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.61 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 1800.61 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1800.61 v -x701 x702 x703 -x704 -x705 x706 -x707 x708 -x709 -x710 -x711 x712 -x713 x714 x715 x716 x717 x718 x719 -x720 -x721 x722 -x723 1800.61 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 x743 -x744 1800.61 v -x745 x746 -x747 x748 -x749 -x750 -x751 x752 -x753 x754 x755 x756 x757 x758 x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 1800.61 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 1800.61 v -x789 -x790 -x791 x792 -x793 x794 x795 x796 x797 x798 x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1800.61 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 x823 -x824 -x825 x826 -x827 x828 -x829 -x830 -x831 1800.61 v x832 -x833 x834 x835 x836 x837 x838 x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 1800.61 v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 -x869 -x870 -x871 x872 -x873 x874 x875 1800.61 v x876 x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.61 v -x898 -x899 -x900 -x901 x102 x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 x112 -x113 x114 x115 x116 x117 x118 x119 -x120 1800.61 v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.61 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.61 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1800.61 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1800.61 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 -x225 1800.61 v x226 -x227 x228 -x229 -x230 -x231 x232 -x233 x234 x235 x236 x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 1800.61 v -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 x266 -x267 x268 -x269 1800.61 v -x270 -x271 x272 -x273 x274 x275 x276 x277 x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.61 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.61 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1800.61 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 1800.61 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 1800.61 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 1800.61 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.61 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 1800.61 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.61 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1800.61 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.61 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1800.61 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1800.61 c Exit Code: 10 1800.61 c Total time: 1800 s
OK -26606
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/node57/watcher-50440-1154122850 -o ROOT/results/node57/solver-50440-1154122850 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node57/50440-1154122850/instance-50440-1154122850.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 17560 /proc/meminfo: memFree=900732/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=2900 CPUtime=0 /proc/17560/stat : 17560 (bsolo) D 17558 17560 17511 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 159155410 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 6959908 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/17560/statm: 725 27 19 55 0 38 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/64 17560 /proc/meminfo: memFree=895420/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=7348 CPUtime=9.91 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 1097 0 10 0 990 1 0 0 25 0 1 0 159155410 7524352 1021 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 1837 1021 297 55 0 729 0 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 7348 [startup+20.0094 s] /proc/loadavg: 0.94 0.98 0.99 2/64 17560 /proc/meminfo: memFree=894268/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=8424 CPUtime=19.92 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 1624 0 10 0 1990 2 0 0 25 0 1 0 159155410 8626176 1297 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 2106 1297 297 55 0 998 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 8424 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.99 2/64 17560 /proc/meminfo: memFree=893692/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=9000 CPUtime=29.91 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 1779 0 10 0 2989 2 0 0 25 0 1 0 159155410 9216000 1441 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 2250 1441 297 55 0 1142 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 9000 [startup+40.0211 s] /proc/loadavg: 0.96 0.98 0.99 2/64 17560 /proc/meminfo: memFree=892092/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=10832 CPUtime=39.92 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 2214 0 10 0 3989 3 0 0 25 0 1 0 159155410 11091968 1876 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 2708 1876 298 55 0 1600 0 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 10832 [startup+50.027 s] /proc/loadavg: 0.96 0.98 0.99 2/64 17560 /proc/meminfo: memFree=890428/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=12468 CPUtime=49.92 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 2634 0 10 0 4989 3 0 0 25 0 1 0 159155410 12767232 2296 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 3117 2296 298 55 0 2009 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 12468 [startup+60.0328 s] /proc/loadavg: 0.97 0.98 0.99 2/64 17560 /proc/meminfo: memFree=888188/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=14704 CPUtime=59.93 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 3188 0 10 0 5989 4 0 0 25 0 1 0 159155410 15056896 2850 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 3676 2850 298 55 0 2568 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 14704 [startup+70.0387 s] /proc/loadavg: 0.97 0.98 0.99 2/64 17560 /proc/meminfo: memFree=885052/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=17764 CPUtime=69.93 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 3963 0 10 0 6988 5 0 0 25 0 1 0 159155410 18190336 3625 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 4441 3625 298 55 0 3333 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 17764 [startup+80.0456 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17560 /proc/meminfo: memFree=883772/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=19116 CPUtime=79.93 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 4297 0 10 0 7988 5 0 0 25 0 1 0 159155410 19574784 3959 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 4779 3959 298 55 0 3671 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 19116 [startup+90.0505 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17560 /proc/meminfo: memFree=880828/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=22080 CPUtime=89.94 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 5032 0 10 0 8987 7 0 0 25 0 1 0 159155410 22609920 4694 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 5520 4694 298 55 0 4412 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 22080 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17560 /proc/meminfo: memFree=878716/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=24232 CPUtime=99.93 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 5559 0 10 0 9986 7 0 0 25 0 1 0 159155410 24813568 5221 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 6058 5221 298 55 0 4950 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 24232 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17560 /proc/meminfo: memFree=876412/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=26540 CPUtime=109.94 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 6145 0 10 0 10986 8 0 0 25 0 1 0 159155410 27176960 5798 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 6635 5798 298 55 0 5527 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 26540 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=875004/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=27876 CPUtime=119.95 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 6490 0 10 0 11986 9 0 0 25 0 1 0 159155410 28545024 6143 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 6969 6143 298 55 0 5861 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 27876 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=873852/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=29016 CPUtime=129.95 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 6783 0 10 0 12986 9 0 0 25 0 1 0 159155410 29712384 6436 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 7254 6436 298 55 0 6146 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 29016 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=872060/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=30768 CPUtime=139.95 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 7269 0 10 0 13985 10 0 0 25 0 1 0 159155410 31506432 6879 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 7692 6879 298 55 0 6584 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 30768 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=869564/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=33284 CPUtime=149.96 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 7966 0 10 0 14985 11 0 0 25 0 1 0 159155410 34082816 7504 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 8321 7504 298 55 0 7213 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 33284 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=865404/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=37448 CPUtime=159.96 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 9063 0 10 0 15984 12 0 0 25 0 1 0 159155410 38346752 8532 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 9362 8532 298 55 0 8254 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 37448 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=862844/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=39984 CPUtime=169.97 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 9703 0 10 0 16984 13 0 0 25 0 1 0 159155410 40943616 9172 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 9996 9172 298 55 0 8888 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 39984 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=860796/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=42000 CPUtime=179.97 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 10263 0 10 0 17983 14 0 0 25 0 1 0 159155410 43008000 9688 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 10500 9688 298 55 0 9392 0 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 42000 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=858876/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=43976 CPUtime=189.97 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 10755 0 10 0 18982 15 0 0 25 0 1 0 159155410 45031424 10180 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 10994 10180 298 55 0 9886 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 43976 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 /proc/meminfo: memFree=856060/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=46804 CPUtime=199.97 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 11455 0 10 0 19981 16 0 0 25 0 1 0 159155410 47927296 10880 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 11701 10880 298 55 0 10593 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 46804 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17560 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 329188 [startup+1771.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=571580/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=330456 CPUtime=1770.47 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 83645 0 10 0 176917 130 0 0 25 0 1 0 159155410 338386944 81782 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134695650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 82614 81782 298 55 0 81506 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 330456 [startup+1781.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569916/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332068 CPUtime=1780.47 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84070 0 10 0 177916 131 0 0 25 0 1 0 159155410 340037632 82207 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83017 82207 298 55 0 81909 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 332068 [startup+1782.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569916/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332068 CPUtime=1781.48 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84070 0 10 0 178017 131 0 0 25 0 1 0 159155410 340037632 82207 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83017 82207 298 55 0 81909 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 332068 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569404/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332596 CPUtime=1782.48 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84192 0 10 0 178117 131 0 0 25 0 1 0 159155410 340578304 82329 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83149 82329 298 55 0 82041 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 332596 [startup+1784.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569404/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332596 CPUtime=1783.48 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84192 0 10 0 178217 131 0 0 25 0 1 0 159155410 340578304 82329 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83149 82329 298 55 0 82041 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 332596 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569404/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332596 CPUtime=1784.49 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84192 0 10 0 178318 131 0 0 25 0 1 0 159155410 340578304 82329 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83149 82329 298 55 0 82041 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 332596 [startup+1786.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569212/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332860 CPUtime=1785.49 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84244 0 10 0 178418 131 0 0 25 0 1 0 159155410 340848640 82381 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83215 82381 298 55 0 82107 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 332860 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569020/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332992 CPUtime=1786.5 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84280 0 10 0 178519 131 0 0 25 0 1 0 159155410 340983808 82417 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83248 82417 298 55 0 82140 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 332992 [startup+1788.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=569020/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=332992 CPUtime=1787.5 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84280 0 10 0 178619 131 0 0 25 0 1 0 159155410 340983808 82417 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134554071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83248 82417 298 55 0 82140 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 332992 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=568508/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=333516 CPUtime=1788.5 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84412 0 10 0 178719 131 0 0 25 0 1 0 159155410 341520384 82549 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83379 82549 298 55 0 82271 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 333516 [startup+1790.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=568508/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=333516 CPUtime=1789.51 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84412 0 10 0 178820 131 0 0 25 0 1 0 159155410 341520384 82549 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83379 82549 298 55 0 82271 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 333516 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=568444/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=333568 CPUtime=1790.51 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84435 0 10 0 178920 131 0 0 25 0 1 0 159155410 341573632 82572 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83392 82572 298 55 0 82284 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 333568 [startup+1792.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=568380/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=333688 CPUtime=1791.53 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84446 0 10 0 179021 132 0 0 25 0 1 0 159155410 341696512 82583 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83422 82583 298 55 0 82314 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 333688 [startup+1793.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567932/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334028 CPUtime=1792.53 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84555 0 10 0 179121 132 0 0 25 0 1 0 159155410 342044672 82692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83507 82692 298 55 0 82399 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 334028 [startup+1794.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567932/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334028 CPUtime=1793.53 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84555 0 10 0 179221 132 0 0 25 0 1 0 159155410 342044672 82692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83507 82692 298 55 0 82399 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 334028 [startup+1795.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567932/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334028 CPUtime=1794.54 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84555 0 10 0 179322 132 0 0 25 0 1 0 159155410 342044672 82692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134604088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83507 82692 298 55 0 82399 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 334028 [startup+1796.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567932/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334028 CPUtime=1795.54 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84555 0 10 0 179422 132 0 0 25 0 1 0 159155410 342044672 82692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83507 82692 298 55 0 82399 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 334028 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567932/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334028 CPUtime=1796.55 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84555 0 10 0 179523 132 0 0 25 0 1 0 159155410 342044672 82692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83507 82692 298 55 0 82399 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 334028 [startup+1798.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567932/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334028 CPUtime=1797.55 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84555 0 10 0 179623 132 0 0 25 0 1 0 159155410 342044672 82692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83507 82692 298 55 0 82399 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 334028 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567868/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334092 CPUtime=1798.55 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84564 0 10 0 179723 132 0 0 25 0 1 0 159155410 342110208 82701 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83523 82701 298 55 0 82415 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 334092 [startup+1800.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17758 /proc/meminfo: memFree=567676/2055920 swapFree=4183068/4192956 [pid=17560] ppid=17558 vsize=334360 CPUtime=1799.56 /proc/17560/stat : 17560 (bsolo) R 17558 17560 17511 0 -1 0 84627 0 10 0 179824 132 0 0 25 0 1 0 159155410 342384640 82764 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17560/statm: 83590 82764 298 55 0 82482 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 334360 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.06 CPU user time (s): 1798.68 CPU system time (s): 1.37879 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 334360 The end
Begin job on node57 on Fri Jul 28 21:40:50 UTC 2006 FILE ID= 50440-1154122850 PBS_JOBID= 887074 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node57/50440-1154122850/instance-50440-1154122850.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-50440-1154122850 -o ROOT/results/node57/solver-50440-1154122850 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node57/50440-1154122850/instance-50440-1154122850.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d0972750cf259b5b6f93d177cc7cfb4a RANDOM SEED= 338486787 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.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 900940 kB Buffers: 39200 kB Cached: 1031044 kB SwapCached: 3884 kB Active: 31996 kB Inactive: 1047040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 900940 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14724 kB Slab: 61936 kB Committed_AS: 628528 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node57 on Fri Jul 28 22:10:51 UTC 2006