Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -18535 | 1800.05 | 1800.5 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb |
MD5SUM | 2533454829254b6bcc39aa8d9b25219b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -18535 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -18535 |
Optimality of the best value was proved | NO |
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 | 2305842614989581580 |
Number of bits of the biggest sum of numbers | 61 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.06 c BIG Int formula... 0.06 c Initial problem consists of 901 variables and 2522 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.06 0.07 c After prepocess the problem consists of 691 variables and 2102 constraints. 0.07 c Initial Lower Bound: -2097151 0.41 c Restart #1 #Var: 691 LB: -2097151 @ 0.404 1.08 c Restart #2 #Var: 691 LB: -2097151 @ 1.068 2.01 c Restart #3 #Var: 691 LB: -2097151 @ 1.998 3.22 c Restart #4 #Var: 691 LB: -2097151 @ 3.213 4.79 c Restart #5 #Var: 691 LB: -2097151 @ 4.779 6.63 c Restart #6 #Var: 691 LB: -2097151 @ 6.616 8.97 c Restart #7 #Var: 691 LB: -2097151 @ 8.963 11.74 c Restart #8 #Var: 691 LB: -2097151 @ 11.724 14.85 c Restart #9 #Var: 691 LB: -2097151 @ 14.842 18.24 c Restart #10 #Var: 691 LB: -2097151 @ 18.231 21.37 c Restart #11 #Var: 691 LB: -2097151 @ 21.355 24.60 c Restart #12 #Var: 691 LB: -2097151 @ 24.584 27.55 c Restart #13 #Var: 691 LB: -2097151 @ 27.537 30.19 c Restart #14 #Var: 691 LB: -2097151 @ 30.174 33.18 c Restart #15 #Var: 691 LB: -2097151 @ 33.16 36.87 c Restart #16 #Var: 691 LB: -2097151 @ 36.851 40.85 c Restart #17 #Var: 691 LB: -2097151 @ 40.826 43.70 c Restart #18 #Var: 691 LB: -2097151 @ 43.68 45.75 c Restart #19 #Var: 691 LB: -2097151 @ 45.731 49.19 c Restart #20 #Var: 691 LB: -2097151 @ 49.171 53.89 c Restart #21 #Var: 691 LB: -2097151 @ 53.868 58.03 c Restart #22 #Var: 691 LB: -2097151 @ 58.009 61.47 c Restart #23 #Var: 691 LB: -2097151 @ 61.441 66.61 c Restart #24 #Var: 691 LB: -2097151 @ 66.585 67.28 c Sol. found (all assignments made)... 67.28 o -55 67.28 c NEW SOLUTION FOUND: -55 @ 67.257 72.20 c Restart #25 #Var: 688 LB: -2097151 @ 72.178 75.47 c Restart #26 #Var: 688 LB: -2097151 @ 75.438 80.77 c Restart #27 #Var: 688 LB: -2097151 @ 80.736 85.36 c Restart #28 #Var: 677 LB: -2097151 @ 85.333 92.22 c CHANGE to MIS mode... UB: -55 MIS: -2097151 LPR: -2147483648 (0) Diff: 0.00097656 92.22 c Restart #0 #Var: 676 LB: -2097151 @ 92.187 92.46 c Restart #1 #Var: 676 LB: -2097151 @ 92.429 92.96 c Restart #2 #Var: 676 LB: -2097151 @ 92.932 93.48 c Restart #3 #Var: 671 LB: -2097151 @ 93.446 94.32 c Restart #4 #Var: 665 LB: -2097151 @ 94.287 95.09 c Restart #5 #Var: 665 LB: -2097151 @ 95.057 96.34 c Restart #6 #Var: 665 LB: -2097151 @ 96.304 97.37 c Restart #7 #Var: 665 LB: -2097151 @ 97.337 99.04 c Restart #8 #Var: 665 LB: -2097151 @ 99.009 100.50 c Restart #9 #Var: 665 LB: -2097151 @ 100.47 102.30 c Restart #10 #Var: 665 LB: -2097151 @ 102.27 104.29 c Restart #11 #Var: 665 LB: -2097151 @ 104.26 106.22 c Restart #12 #Var: 665 LB: -2097151 @ 106.18 109.00 c Restart #13 #Var: 665 LB: -2097151 @ 108.96 111.77 c Restart #14 #Var: 665 LB: -2097151 @ 111.73 114.92 c Restart #15 #Var: 665 LB: -2097151 @ 114.88 118.07 c Restart #16 #Var: 665 LB: -2097151 @ 118.03 120.80 c Restart #17 #Var: 665 LB: -2097151 @ 120.76 124.12 c Restart #18 #Var: 665 LB: -2097151 @ 124.08 126.69 c Restart #19 #Var: 664 LB: -2097151 @ 126.65 130.99 c Restart #20 #Var: 664 LB: -2097151 @ 130.94 134.88 c Restart #21 #Var: 664 LB: -2097151 @ 134.84 138.64 c Restart #22 #Var: 664 LB: -2097151 @ 138.59 146.29 c Restart #23 #Var: 664 LB: -2097151 @ 146.25 151.58 c Restart #24 #Var: 664 LB: -2097151 @ 151.53 155.19 c Restart #25 #Var: 664 LB: -2097151 @ 155.14 160.25 c Restart #26 #Var: 664 LB: -2097151 @ 160.2 164.53 c Restart #27 #Var: 664 LB: -2097151 @ 164.48 169.18 c Restart #28 #Var: 664 LB: -2097151 @ 169.13 176.21 c Restart #29 #Var: 664 LB: -2097151 @ 176.16 182.02 c Restart #30 #Var: 664 LB: -2097151 @ 181.96 187.16 c Restart #31 #Var: 664 LB: -2097151 @ 187.11 192.68 c Restart #32 #Var: 664 LB: -2097151 @ 192.62 198.30 c Restart #33 #Var: 664 LB: -2097151 @ 198.25 203.72 c Restart #34 #Var: 664 LB: -2097151 @ 203.66 210.09 c Restart #35 #Var: 663 LB: -2097151 @ 210.03 217.66 c Restart #36 #Var: 663 LB: -2097151 @ 217.59 223.25 c Restart #37 #Var: 663 LB: -2097151 @ 223.19 232.31 c Restart #38 #Var: 663 LB: -2097151 @ 232.25 240.47 c Restart #39 #Var: 663 LB: -2097151 @ 240.4 248.85 c Restart #40 #Var: 663 LB: -2097151 @ 248.78 259.42 c Restart #41 #Var: 663 LB: -2097151 @ 259.35 269.50 c Restart #42 #Var: 663 LB: -2097151 @ 269.43 276.73 c Restart #43 #Var: 663 LB: -2097151 @ 276.66 285.56 c Restart #44 #Var: 663 LB: -2097151 @ 285.48 296.32 c Restart #45 #Var: 663 LB: -2097151 @ 296.24 304.53 c Restart #46 #Var: 663 LB: -2097151 @ 304.44 315.83 c Restart #47 #Var: 663 LB: -2097151 @ 315.74 323.92 c Restart #48 #Var: 663 LB: -2097151 @ 323.83 332.02 c Restart #49 #Var: 663 LB: -2097151 @ 331.93 342.61 c Restart #50 #Var: 663 LB: -2097151 @ 342.52 353.49 c Restart #51 #Var: 663 LB: -2097151 @ 353.39 364.78 c Restart #52 #Var: 663 LB: -2097151 @ 364.68 375.10 c Restart #53 #Var: 663 LB: -2097151 @ 375 386.25 c Restart #54 #Var: 663 LB: -2097151 @ 386.14 396.96 c Restart #55 #Var: 663 LB: -2097151 @ 396.86 411.45 c Restart #56 #Var: 663 LB: -2097151 @ 411.34 423.88 c Restart #57 #Var: 663 LB: -2097151 @ 423.77 435.07 c Restart #58 #Var: 663 LB: -2097151 @ 434.96 447.69 c Restart #59 #Var: 663 LB: -2097151 @ 447.57 460.97 c Restart #60 #Var: 663 LB: -2097151 @ 460.85 474.12 c Restart #61 #Var: 663 LB: -2097151 @ 473.99 491.13 c Restart #62 #Var: 663 LB: -2097151 @ 491 506.10 c Restart #63 #Var: 663 LB: -2097151 @ 505.97 519.55 c Restart #64 #Var: 663 LB: -2097151 @ 519.41 534.86 c Restart #65 #Var: 663 LB: -2097151 @ 534.72 549.58 c Restart #66 #Var: 663 LB: -2097151 @ 549.43 566.99 c Restart #67 #Var: 663 LB: -2097151 @ 566.84 579.99 c Restart #68 #Var: 663 LB: -2097151 @ 579.84 595.87 c Restart #69 #Var: 663 LB: -2097151 @ 595.72 611.77 c Restart #70 #Var: 663 LB: -2097151 @ 611.61 623.17 c Restart #71 #Var: 663 LB: -2097151 @ 623.01 641.87 c Restart #72 #Var: 663 LB: -2097151 @ 641.7 662.32 c Restart #73 #Var: 663 LB: -2097151 @ 662.15 678.66 c Restart #74 #Var: 663 LB: -2097151 @ 678.48 695.12 c Restart #75 #Var: 663 LB: -2097151 @ 694.94 712.30 c Restart #76 #Var: 663 LB: -2097151 @ 712.12 728.76 c Restart #77 #Var: 663 LB: -2097151 @ 728.57 745.91 c Restart #78 #Var: 663 LB: -2097151 @ 745.71 762.53 c Restart #79 #Var: 663 LB: -2097151 @ 762.34 782.74 c Restart #80 #Var: 660 LB: -2097151 @ 782.54 806.86 c Restart #81 #Var: 660 LB: -2097151 @ 806.65 824.92 c Restart #82 #Var: 660 LB: -2097151 @ 824.71 845.40 c Restart #83 #Var: 660 LB: -2097151 @ 845.18 864.87 c Restart #84 #Var: 660 LB: -2097151 @ 864.65 886.77 c Restart #85 #Var: 660 LB: -2097151 @ 886.55 903.08 c Restart #86 #Var: 660 LB: -2097151 @ 902.85 923.08 c Restart #87 #Var: 660 LB: -2097151 @ 922.85 943.14 c Restart #88 #Var: 660 LB: -2097151 @ 942.9 966.29 c Restart #89 #Var: 660 LB: -2097151 @ 966.05 976.55 c Sol. found (all assignments made)... 976.55 o -337 976.55 c NEW SOLUTION FOUND: -337 @ 976.3 996.96 c Sol. found (all assignments made)... 996.96 o -18535 996.96 c NEW SOLUTION FOUND: -18535 @ 996.71 1015.85 c Restart #90 #Var: 659 LB: -2097151 @ 1015.6 1042.07 c Restart #91 #Var: 632 LB: -2097151 @ 1041.8 1061.95 c Restart #92 #Var: 632 LB: -2097151 @ 1061.7 1084.89 c Restart #93 #Var: 632 LB: -2097151 @ 1084.6 1110.01 c Restart #94 #Var: 629 LB: -2097151 @ 1109.7 1137.68 c Restart #95 #Var: 629 LB: -2097151 @ 1137.4 1155.86 c Restart #96 #Var: 629 LB: -2097151 @ 1155.6 1178.71 c Restart #97 #Var: 629 LB: -2097151 @ 1178.4 1199.85 c Restart #98 #Var: 628 LB: -2097151 @ 1199.5 1228.34 c Restart #99 #Var: 628 LB: -2097151 @ 1228 1260.59 c Restart #100 #Var: 628 LB: -2097151 @ 1260.3 1289.71 c Restart #101 #Var: 628 LB: -2097151 @ 1289.4 1313.20 c Restart #102 #Var: 628 LB: -2097151 @ 1312.9 1332.59 c Restart #103 #Var: 628 LB: -2097151 @ 1332.3 1359.03 c Restart #104 #Var: 618 LB: -2097151 @ 1358.7 1381.25 c Restart #105 #Var: 618 LB: -2097151 @ 1380.9 1407.77 c Restart #106 #Var: 618 LB: -2097151 @ 1407.4 1434.77 c Restart #107 #Var: 618 LB: -2097151 @ 1434.4 1459.16 c Restart #108 #Var: 618 LB: -2097151 @ 1458.8 1483.53 c Restart #109 #Var: 607 LB: -2097151 @ 1483.2 1519.47 c Restart #110 #Var: 607 LB: -2097151 @ 1519.1 1540.18 c Restart #111 #Var: 607 LB: -2097151 @ 1539.8 1569.54 c Restart #112 #Var: 607 LB: -2097151 @ 1569.1 1605.12 c Restart #113 #Var: 607 LB: -2097151 @ 1604.7 1631.59 c Restart #114 #Var: 607 LB: -2097151 @ 1631.2 1660.11 c Restart #115 #Var: 607 LB: -2097151 @ 1659.7 1690.02 c Restart #116 #Var: 607 LB: -2097151 @ 1689.6 1720.64 c Restart #117 #Var: 607 LB: -2097151 @ 1720.2 1750.77 c Restart #118 #Var: 607 LB: -2097151 @ 1750.3 1779.13 c Restart #119 #Var: 607 LB: -2097151 @ 1778.7 1800.45 s SATISFIABLE 1800.45 c Cost: -18535 1800.45 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 x67 1800.45 v 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 -x81 -x41 -x82 1800.45 v -x42 -x83 -x43 x84 x44 -x85 -x45 -x86 -x46 x87 x47 -x88 -x48 -x89 -x49 -x90 -x50 -x91 -x51 -x92 -x52 -x93 -x53 -x94 -x54 -x95 -x55 1800.45 v -x96 -x56 -x97 -x57 -x98 -x58 -x99 -x59 -x100 -x60 -x101 -x61 x502 -x503 x504 x505 x506 x507 -x508 x509 x510 x511 x512 x513 x514 1800.45 v -x515 -x516 x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.45 v -x536 -x537 -x538 -x539 -x540 -x541 x582 -x583 x584 x585 x586 x587 -x588 x589 x590 x591 x592 x593 x594 -x595 -x596 x597 -x598 1800.45 v -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.45 v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1800.45 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1800.45 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1800.45 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 1800.45 v x704 x705 x706 x707 -x708 x709 x710 x711 x712 x713 x714 -x715 -x716 x717 -x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 1800.45 v x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 x744 x745 x746 x747 -x748 1800.45 v x749 x750 x751 x752 x753 x754 -x755 -x756 x757 -x758 -x759 x760 -x761 -x762 -x763 x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 1800.45 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1800.45 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1800.45 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1800.45 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.45 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.45 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.45 v -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.45 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1800.45 v -x140 -x141 x142 -x143 x144 x145 x146 x147 -x148 x149 x150 x151 x152 x153 x154 -x155 -x156 x157 -x158 -x159 x160 -x161 -x162 1800.45 v -x163 x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1800.45 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1800.45 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1800.45 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1800.45 v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 x264 x265 x266 x267 -x268 1800.45 v x269 x270 x271 x272 x273 x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 1800.45 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.45 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1800.45 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 1800.45 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 1800.45 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 1800.45 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.45 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 1800.45 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.45 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1800.45 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.45 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1800.45 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1800.45 c Exit Code: 10 1800.45 c Total time: 1800 s
OK -18535
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/node39/watcher-50412-1154120753 -o ROOT/results/node39/solver-50412-1154120753 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/50412-1154120753/instance-50412-1154120753.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 27567 /proc/meminfo: memFree=1406560/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=4928 CPUtime=0 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 345 0 0 0 0 0 0 0 19 0 1 0 158946518 5046272 308 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11558615 0 0 4096 16384 0 0 0 17 0 0 0 /proc/27567/statm: 1232 321 218 55 0 124 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1403696/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=7344 CPUtime=9.99 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1104 0 0 0 998 1 0 0 25 0 1 0 158946518 7520256 1018 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 1836 1018 297 55 0 728 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7344 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1401328/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=9584 CPUtime=19.99 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1687 0 0 0 1998 1 0 0 25 0 1 0 158946518 9814016 1587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134547502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 2396 1587 297 55 0 1288 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9584 [startup+30.014 s] /proc/loadavg: 0.95 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1401392/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=9584 CPUtime=29.99 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1687 0 0 0 2998 1 0 0 25 0 1 0 158946518 9814016 1587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 2396 1587 297 55 0 1288 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 9584 [startup+40.0199 s] /proc/loadavg: 0.96 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1400752/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=10448 CPUtime=39.99 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 1875 0 0 0 3998 1 0 0 25 0 1 0 158946518 10698752 1775 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 2612 1775 297 55 0 1504 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 10448 [startup+50.0268 s] /proc/loadavg: 0.96 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1397424/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=13796 CPUtime=50 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 2728 0 0 0 4998 2 0 0 25 0 1 0 158946518 14127104 2628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 3449 2628 297 55 0 2341 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 13796 [startup+60.0318 s] /proc/loadavg: 0.97 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1396080/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=15208 CPUtime=60 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 3078 0 0 0 5998 2 0 0 25 0 1 0 158946518 15572992 2970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 3802 2970 297 55 0 2694 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 15208 [startup+70.0377 s] /proc/loadavg: 0.97 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1394480/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=16700 CPUtime=70.01 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 3471 0 0 0 6998 3 0 0 25 0 1 0 158946518 17100800 3363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 4175 3363 298 55 0 3067 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 16700 [startup+80.0436 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1393200/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=18124 CPUtime=80.01 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 3808 0 0 0 7997 4 0 0 25 0 1 0 158946518 18558976 3700 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 4531 3700 298 55 0 3423 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 18124 [startup+90.0495 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1390768/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=20544 CPUtime=90 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 4411 0 0 0 8996 4 0 0 25 0 1 0 158946518 21037056 4303 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 5136 4303 298 55 0 4028 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 20544 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1389680/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=21540 CPUtime=100.01 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 4682 0 0 0 9996 5 0 0 25 0 1 0 158946518 22056960 4574 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 5385 4574 298 55 0 4277 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 21540 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1387056/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=24068 CPUtime=110.02 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 5328 0 0 0 10996 6 0 0 25 0 1 0 158946518 24645632 5209 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 6017 5209 298 55 0 4909 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 24068 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1385520/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=25760 CPUtime=120.02 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 5727 0 0 0 11995 7 0 0 25 0 1 0 158946518 26378240 5604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 6440 5604 298 55 0 5332 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 25760 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1383152/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=28028 CPUtime=130.02 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 6311 0 0 0 12994 8 0 0 25 0 1 0 158946518 28700672 6188 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 7007 6188 298 55 0 5899 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 28028 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1381872/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=29396 CPUtime=140.02 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 6636 0 0 0 13994 8 0 0 25 0 1 0 158946518 30101504 6513 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 7349 6513 298 55 0 6241 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 29396 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1381040/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=30092 CPUtime=150.03 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 7013 0 0 0 14995 8 0 0 25 0 1 0 158946518 30814208 6714 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 7523 6714 298 55 0 6415 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 30092 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1378416/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=32788 CPUtime=160.04 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 7679 0 0 0 15994 10 0 0 25 0 1 0 158946518 33574912 7380 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 8197 7380 298 55 0 7089 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 32788 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1375920/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=35328 CPUtime=170.04 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 8295 0 0 0 16993 11 0 0 25 0 1 0 158946518 36175872 7996 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 8832 7996 298 55 0 7724 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 35328 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1374896/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=36360 CPUtime=180.05 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 8558 0 0 0 17993 12 0 0 25 0 1 0 158946518 37232640 8254 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 9090 8254 298 55 0 7982 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 36360 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1373360/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=37896 CPUtime=190.04 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 8993 0 0 0 18992 12 0 0 25 0 1 0 158946518 38805504 8642 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 9474 8642 298 55 0 8366 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 37896 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1372464/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=38776 CPUtime=200.05 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 9209 0 0 0 19992 13 0 0 25 0 1 0 158946518 39706624 8858 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 9694 8858 298 55 0 8586 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 38776 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 249312 [startup+1771.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1159792/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=250848 CPUtime=1770.59 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 64718 0 0 0 176940 119 0 0 25 0 1 0 158946518 256868352 61897 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 62712 61897 298 55 0 61604 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 250848 [startup+1781.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1156976/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=253692 CPUtime=1780.6 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65406 0 0 0 177940 120 0 0 25 0 1 0 158946518 259780608 62585 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63423 62585 298 55 0 62315 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 253692 [startup+1782.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1156976/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=253692 CPUtime=1781.6 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65406 0 0 0 178040 120 0 0 25 0 1 0 158946518 259780608 62585 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63423 62585 298 55 0 62315 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 253692 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1156720/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=253912 CPUtime=1782.61 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65480 0 0 0 178141 120 0 0 25 0 1 0 158946518 260005888 62659 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63478 62659 298 55 0 62370 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 253912 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1156592/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=254044 CPUtime=1783.61 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65505 0 0 0 178241 120 0 0 25 0 1 0 158946518 260141056 62684 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63511 62684 298 55 0 62403 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 254044 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1155696/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=254956 CPUtime=1784.61 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65725 0 0 0 178341 120 0 0 25 0 1 0 158946518 261074944 62904 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63739 62904 298 55 0 62631 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 254956 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1155696/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=254956 CPUtime=1785.62 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65725 0 0 0 178442 120 0 0 25 0 1 0 158946518 261074944 62904 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11533986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63739 62904 298 55 0 62631 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 254956 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1155696/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=254956 CPUtime=1786.62 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65725 0 0 0 178542 120 0 0 25 0 1 0 158946518 261074944 62904 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63739 62904 298 55 0 62631 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 254956 [startup+1788.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1155504/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=255088 CPUtime=1787.63 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65778 0 0 0 178643 120 0 0 25 0 1 0 158946518 261210112 62957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63772 62957 298 55 0 62664 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 255088 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1155504/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=255088 CPUtime=1788.63 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65778 0 0 0 178743 120 0 0 25 0 1 0 158946518 261210112 62957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63772 62957 298 55 0 62664 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 255088 [startup+1790.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1155312/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=255348 CPUtime=1789.64 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65817 0 0 0 178844 120 0 0 25 0 1 0 158946518 261476352 62996 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63837 62996 298 55 0 62729 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 255348 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1154992/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=255612 CPUtime=1790.64 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 65906 0 0 0 178944 120 0 0 25 0 1 0 158946518 261746688 63085 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134606482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 63903 63085 298 55 0 62795 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 255612 [startup+1792.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1154480/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=256136 CPUtime=1791.65 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66025 0 0 0 179044 121 0 0 25 0 1 0 158946518 262283264 63204 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64034 63204 298 55 0 62926 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 256136 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153904/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=256636 CPUtime=1792.66 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66168 0 0 0 179145 121 0 0 25 0 1 0 158946518 262795264 63347 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64159 63347 298 55 0 63051 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 256636 [startup+1794.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153904/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=256636 CPUtime=1793.66 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66168 0 0 0 179245 121 0 0 25 0 1 0 158946518 262795264 63347 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64159 63347 298 55 0 63051 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 256636 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153904/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=256744 CPUtime=1794.67 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66180 0 0 0 179346 121 0 0 25 0 1 0 158946518 262905856 63359 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64186 63359 298 55 0 63078 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 256744 [startup+1796.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153776/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=256876 CPUtime=1795.67 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66206 0 0 0 179446 121 0 0 25 0 1 0 158946518 263041024 63385 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64219 63385 298 55 0 63111 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 256876 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153712/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=256876 CPUtime=1796.67 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66220 0 0 0 179546 121 0 0 25 0 1 0 158946518 263041024 63399 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64219 63399 298 55 0 63111 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 256876 [startup+1798.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153520/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=257000 CPUtime=1797.68 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66260 0 0 0 179647 121 0 0 25 0 1 0 158946518 263168000 63439 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64250 63439 298 55 0 63142 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 257000 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1153072/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=257528 CPUtime=1798.68 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66384 0 0 0 179747 121 0 0 25 0 1 0 158946518 263708672 63563 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64382 63563 298 55 0 63274 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 257528 [startup+1800.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27567 /proc/meminfo: memFree=1152944/2055920 swapFree=4183200/4192956 [pid=27567] ppid=27565 vsize=257660 CPUtime=1799.69 /proc/27567/stat : 27567 (bsolo) R 27565 27567 27518 0 -1 0 66408 0 0 0 179848 121 0 0 25 0 1 0 158946518 263843840 63587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27567/statm: 64415 63587 298 55 0 63307 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 257660 Child status: 10 Real time (s): 1800.5 CPU time (s): 1800.05 CPU user time (s): 1798.79 CPU system time (s): 1.25981 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (Kb): 257660 The end
Begin job on node39 on Fri Jul 28 21:05:53 UTC 2006 FILE ID= 50412-1154120753 PBS_JOBID= 886962 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/50412-1154120753/instance-50412-1154120753.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-50412-1154120753 -o ROOT/results/node39/solver-50412-1154120753 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/50412-1154120753/instance-50412-1154120753.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b RANDOM SEED= 243977456 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.214 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.214 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: 1406704 kB Buffers: 31668 kB Cached: 557508 kB SwapCached: 3648 kB Active: 62296 kB Inactive: 535632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1406704 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14724 kB Slab: 37284 kB Committed_AS: 724852 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Fri Jul 28 21:35:54 UTC 2006