Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -22 | 1800.36 | 1800.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -139 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455511-1178044714/instance-455511-1178044714.opb 0.00/0.00 c File size is 191690 bytes. 0.04/0.08 c Highest Coefficient sum: 1000 0.04/0.08 c Parsing was ok!! 0.04/0.08 c Total parsing time: 0.08 s 0.09/0.10 c Var: 13540 Constr: 26582 13040/1002/12540 Lit: 90780 Watch. Lit: 77242 0.09/0.10 c Obj. Vars: 500 (3.69276 % of total variables) 6.79/6.81 c Pre-processing Time: 6.813 s 6.79/6.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.82 c 0 13540 26582 90780 3 77242 131637 0 0 6.81 6.79/6.82 c Switching off LPR mode. 6.79/6.83 o -1 6.834 6.79/6.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.86 c 0 13540 26583 91280 3 77245 131970 1 0 6.84 6.79/6.86 o -2 6.854 6.79/6.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.88 c 0 13540 26584 91780 3 77249 132470 2 0 6.86 6.79/6.88 o -3 6.874 6.79/6.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.90 c 0 13540 26585 92280 3 77254 133137 3 0 6.88 6.79/6.90 o -4 6.895 6.89/6.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.92 c 0 13540 26586 92780 3 77260 133970 4 0 6.90 6.89/6.92 o -5 6.915 6.89/6.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.94 c 0 13540 26587 93280 3 77267 134970 5 0 6.92 6.89/6.94 o -6 6.935 6.89/6.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.96 c 0 13540 26588 93780 3 77275 135970 6 0 6.94 6.89/6.96 o -7 6.956 6.89/6.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.98 c 0 13540 26589 94280 3 77284 136970 7 0 6.96 6.89/6.98 o -8 6.976 6.99/7.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.00 c 0 13540 26590 94780 3 77294 137970 8 0 6.98 6.99/7.00 o -9 6.997 6.99/7.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.02 c 0 13540 26591 95280 3 77305 138970 9 0 7.00 6.99/7.02 o -10 7.018 6.99/7.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.04 c 0 13540 26592 95780 3 77317 139970 10 0 7.02 6.99/7.04 o -11 7.038 6.99/7.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.06 c 0 13540 26593 96280 3 77330 140970 11 0 7.04 6.99/7.06 o -12 7.059 6.99/7.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.08 c 0 13540 26594 96780 3 77344 141970 12 0 7.07 6.99/7.08 o -13 7.08 7.09/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.10 c 0 13540 26595 97280 3 77359 142970 13 0 7.09 7.09/7.10 o -14 7.1 7.09/7.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.12 c 0 13540 26596 97780 3 77375 143970 14 0 7.11 7.09/7.12 o -15 7.121 7.09/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.14 c 0 13540 26597 98280 3 77392 144970 15 0 7.13 7.09/7.14 o -16 7.142 7.09/7.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.16 c 0 13540 26598 98780 3 77410 145970 16 0 7.15 7.09/7.16 o -17 7.163 7.09/7.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.18 c 0 13540 26599 99280 3 77429 146970 17 0 7.17 7.09/7.18 o -18 7.184 7.19/7.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.21 c 0 13540 26600 99780 3 77449 147970 18 0 7.19 7.19/7.21 o -19 7.205 7.19/7.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.23 c 0 13540 26601 100280 3 77470 148970 19 0 7.21 7.19/7.23 o -20 7.226 7.19/7.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.26 c 0 13540 26602 100780 3 77492 149970 20 0 7.23 7.19/7.26 o -21 7.256 14.49/14.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.49/14.58 c 1 13540 26604 101893 3 77517 149970 22 0 7.26 14.49/14.58 c 101 13540 26704 162209 6 77717 164968 122 12 7.84 14.49/14.58 c 351 13540 26954 308689 11 78217 181465 372 38 9.15 14.49/14.58 c 826 13540 27429 608598 22 79167 199612 847 72 11.47 14.49/14.58 c 1639 13540 28242 1198419 42 80793 219574 1660 117 13.99 14.49/14.58 o -22 14.578 1800.09/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.70 c 2117 13540 28721 1609859 56 81773 149970 2139 145 14.59 1800.09/1800.70 c 2217 13540 28821 1659859 57 81973 164968 2239 151 14.68 1800.09/1800.70 c 2467 13540 29071 1784859 61 82473 181465 2489 166 14.85 1800.09/1800.70 c 2942 13540 29546 2080793 70 83423 199612 2964 159 18.42 1800.09/1800.70 c 3755 13540 30359 2645528 87 85049 219574 3777 151 24.79 1800.09/1800.70 c 5075 13540 31679 3574170 112 87689 241532 5097 146 34.63 1800.09/1800.70 c 7156 13540 33760 5056941 149 91851 265686 7178 143 50.00 1800.09/1800.70 c 10379 13540 36983 7331776 198 98297 292255 10401 134 76.92 1800.09/1800.70 c 15315 13540 41919 10844897 258 108169 321481 15337 125 122.06 1800.09/1800.70 c 22821 13540 49425 16174796 327 123181 353630 22843 118 192.85 1800.09/1800.70 c 34182 13540 60786 24395911 401 145903 388994 34204 126 271.00 1800.09/1800.70 c 51326 13540 77930 36974142 474 180191 427894 51348 131 390.34 1800.09/1800.70 c 77145 13540 103749 56491826 544 231829 470684 77167 137 560.99 1800.09/1800.70 c 115977 13540 142581 85411147 599 309493 517753 115999 128 904.56 1800.09/1800.70 c 174329 13540 200933 128835589 641 426197 569529 174351 99 1750.09 1800.09/1800.70 c Caught signal: 15 1800.09/1800.71 v x1 -x2 x3 x4 x5 -x6 x7 x8 x9 x10 x11 x12 -x13 -x14 x15 x16 x17 x18 x19 x20 x21 x22 -x23 x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 1800.09/1800.71 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 1800.09/1800.71 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 1800.09/1800.71 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.09/1800.71 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.09/1800.71 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.09/1800.71 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.09/1800.71 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.09/1800.71 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.09/1800.71 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.09/1800.71 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.09/1800.71 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.09/1800.71 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.09/1800.71 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.09/1800.71 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.09/1800.71 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.09/1800.71 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.09/1800.71 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.09/1800.71 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.09/1800.71 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.09/1800.71 v -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.09/1800.71 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.09/1800.71 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921 1800.09/1800.71 v -x650 -x574 -x882 -x546 -x706 -x741 -x787 -x801 -x501 -x527 x849 x861 x699 x911 -x521 x727 x829 x987 x915 -x510 -x595 x634 1800.09/1800.71 v -x692 x723 x785 x790 x878 x881 x922 -x968 -x502 -x506 -x680 -x874 -x832 -x961 -x884 -x553 -x847 -x728 -x540 -x554 -x561 -x690 1800.09/1800.71 v -x503 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x512 -x526 -x586 -x603 -x612 -x644 -x669 -x786 -x825 -x933 1800.09/1800.71 v -x504 -x714 -x666 -x736 -x624 -x608 -x702 -x594 -x616 -x705 -x763 -x850 -x505 -x774 -x989 x724 x928 -x990 -x543 -x535 -x578 1800.09/1800.71 v x582 x663 x811 -x717 -x628 -x934 -x869 -x940 -x851 -x591 -x541 -x648 -x859 -x913 -x507 -x745 -x888 -x804 -x762 -x975 -x779 1800.09/1800.71 v -x799 -x980 -x664 -x597 -x681 -x837 -x957 -x508 -x528 -x887 -x653 -x935 -x792 -x590 -x659 -x719 -x579 -x524 -x641 -x761 -x824 1800.09/1800.71 v -x977 -x509 -x844 -x647 -x515 -x520 -x807 -x871 -x721 -x988 -x592 -x551 -x610 -x747 -x813 -x937 -x525 -x963 -x870 -x518 -x580 1800.09/1800.71 v -x661 -x994 -x979 -x897 -x598 -x901 -x533 -x581 -x657 -x698 -x782 -x904 -x931 -x568 -x715 -x627 -x646 -x552 -x947 -x513 -x868 1800.09/1800.71 v -x996 -x938 -x978 -x742 -x602 -x619 -x564 -x618 -x655 -x756 -x789 -x846 -x872 -x895 -x514 -x635 -x622 -x542 -x758 -x636 -x956 1800.09/1800.71 v -x549 -x566 -x654 -x686 -x773 -x853 -x925 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x639 -x651 -x693 -x927 -x516 -x716 -x867 1800.09/1800.71 v -x764 -x820 -x529 -x783 -x517 -x751 -x899 -x822 -x886 x652 -x519 -x621 -x836 -x852 -x908 -x569 -x991 -x926 -x709 -x558 -x550 1800.09/1800.71 v -x772 -x992 -x857 -x677 -x563 -x614 -x671 -x808 -x912 -x746 -x688 -x919 -x704 -x744 -x839 -x695 -x577 -x649 -x672 -x923 -x556 1800.09/1800.71 v -x534 -x596 -x818 -x855 -x953 -x522 -x806 -x835 -x718 -x981 -x936 -x791 -x523 -x725 -x920 -x959 -x946 -x571 -x703 -x827 -x842 1800.09/1800.71 v -x914 -x609 -x970 -x607 -x917 -x778 -x883 -x604 -x623 -x860 -x740 -x615 -x696 -x760 -x969 -x589 -x958 -x854 -x768 -x949 -x536 1800.09/1800.71 v -x891 -x960 -x984 -x864 -x733 -x734 -x560 -x584 -x805 -x720 -x555 -x840 -x967 -x530 -x599 -x665 -x713 -x679 -x753 -x531 -x965 1800.09/1800.71 v -x802 -x638 -x838 -x532 -x803 -x682 -x876 -x982 -x731 -x797 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x637 -x903 -x955 -x759 1800.09/1800.71 v -x694 -x810 -x966 -x640 -x687 -x985 -x729 -x642 -x833 -x738 -x708 -x962 -x748 -x660 -x539 -x798 -x769 -x924 -x889 -x562 -x675 1800.09/1800.71 v -x722 -x668 -x707 -x875 -x701 -x821 -x948 -x700 -x795 -x600 -x620 -x645 -x749 -x863 -x739 -x750 -x737 -x544 -x834 -x930 -x843 1800.09/1800.71 v -x976 -x547 -x588 -x950 -x951 -x796 -x999 -x856 -x916 -x732 -x576 -x776 -x548 -x877 -x613 -x900 -x605 -x662 -x683 -x784 -x794 1800.09/1800.71 v -x823 -x712 -x767 -x775 -x910 -x710 -x735 -x780 -x845 -x880 -x942 -x557 -x670 -x689 -x743 -x995 -x583 -x559 -x754 -x656 -x907 1800.09/1800.71 v -x896 -x964 -x678 -x697 -x788 -x575 -x905 -x643 -x565 -x667 -x630 -x601 -x632 -x567 -x892 -x830 -x879 -x890 -x909 -x673 -x730 1800.09/1800.71 v -x831 -x674 -x755 -x593 -x971 -x711 -x629 -x691 -x1000 x587 -x929 -x841 -x781 -x918 -x943 -x858 -x617 -x973 -x894 -x814 -x625 1800.09/1800.71 v -x757 -x817 -x685 -x752 -x816 -x885 -x893 -x945 -x997 -x848 -x793 -x658 -x812 -x972 -x993 -x606 -x828 -x898 -x902 -x770 -x631 1800.09/1800.71 v -x952 -x873 -x974 -x986 -x684 -x819 -x906 -x726 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 40 179304 397 442215 205908 132782106 179326 99 1800.09 1800.09/1800.71 c Objective: -22 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 c Total time: 1800.09 s
OK -22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-455511-1178044714 -o ROOT/results/node45/solver-455511-1178044714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455511-1178044714/instance-455511-1178044714.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17972 /proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=11924 CPUtime=0 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 159317036 12210176 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2981 335 279 324 0 2004 0 [startup+0.0584601 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17972 /proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=7028 CPUtime=0.04 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 1130 0 0 0 4 0 0 0 18 0 1 0 159317036 7196672 1100 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 1757 1100 319 324 0 780 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7028 [startup+0.101465 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17972 /proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=10392 CPUtime=0.09 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2029 0 0 0 8 1 0 0 18 0 1 0 159317036 10641408 1952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2598 1953 300 324 0 1668 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10392 [startup+0.301485 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17972 /proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=11068 CPUtime=0.29 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2155 0 0 0 28 1 0 0 19 0 1 0 159317036 11333632 2078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2767 2078 304 324 0 1837 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11068 [startup+0.701525 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17972 /proc/meminfo: memFree=1789224/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=11068 CPUtime=0.69 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 68 1 0 0 22 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2767 2079 304 324 0 1837 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11068 [startup+1.50161 s] /proc/loadavg: 0.86 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1782112/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=11068 CPUtime=1.49 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 148 1 0 0 25 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2767 2079 304 324 0 1837 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11068 [startup+3.10177 s] /proc/loadavg: 0.86 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1781920/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=11068 CPUtime=3.09 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 307 2 0 0 25 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2767 2079 304 324 0 1837 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11068 [startup+6.30109 s] /proc/loadavg: 0.87 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1781792/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=11068 CPUtime=6.29 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 2156 0 0 0 627 2 0 0 25 0 1 0 159317036 11333632 2079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 2767 2079 304 324 0 1837 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11068 [startup+12.7017 s] /proc/loadavg: 0.88 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1773872/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=20244 CPUtime=12.69 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 4918 0 0 0 1264 5 0 0 25 0 1 0 159317036 20729856 4417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 5061 4417 311 324 0 4131 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20244 [startup+25.501 s] /proc/loadavg: 0.90 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1747632/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=46444 CPUtime=25.49 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 11455 0 0 0 2541 8 0 0 25 0 1 0 159317036 47558656 10954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 11611 10954 311 324 0 10681 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46444 [startup+51.1016 s] /proc/loadavg: 0.94 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1717168/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=75808 CPUtime=51.08 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 18825 0 0 0 5096 12 0 0 25 0 1 0 159317036 77627392 18324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 18952 18324 311 324 0 18022 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 75808 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1662576/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=130072 CPUtime=102.26 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 32386 0 0 0 10205 21 0 0 25 0 1 0 159317036 133193728 31885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 32518 31885 311 324 0 31588 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 130072 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1604720/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=188456 CPUtime=162.24 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 46983 0 0 0 16195 29 0 0 25 0 1 0 159317036 192978944 46482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 47114 46482 311 324 0 46184 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 188456 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1534064/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=258424 CPUtime=222.23 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 64457 0 0 0 22184 39 0 0 25 0 1 0 159317036 264626176 63956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 64606 63956 311 324 0 63676 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 258424 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1454960/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=338248 CPUtime=282.21 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 84416 0 0 0 28171 50 0 0 25 0 1 0 159317036 346365952 83915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 84562 83915 311 324 0 83632 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 338248 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1377336/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=414764 CPUtime=342.2 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 103547 0 0 0 34157 63 0 0 25 0 1 0 159317036 424718336 103046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 103691 103046 311 324 0 102761 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 414764 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1291192/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=501156 CPUtime=402.18 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 125151 0 0 0 40143 75 0 0 25 0 1 0 159317036 513183744 124650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5157016 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 125289 124650 311 324 0 124359 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 501156 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1201144/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=591380 CPUtime=462.16 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 147707 0 0 0 46126 90 0 0 25 0 1 0 159317036 605573120 147206 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 147845 147206 311 324 0 146915 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 591380 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1118456/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=674664 CPUtime=522.14 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 168517 0 0 0 52112 102 0 0 25 0 1 0 159317036 690855936 168016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 168666 168016 311 324 0 167736 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 674664 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=1025976/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=765928 CPUtime=582.12 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 191333 0 0 0 58095 117 0 0 25 0 1 0 159317036 784310272 190832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 191482 190832 311 324 0 190552 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 765928 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=908344/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=882624 CPUtime=642.12 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 220520 0 0 0 64078 134 0 0 25 0 1 0 159317036 903806976 220019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 220656 220019 311 324 0 219726 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 882624 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=661240/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1129788 CPUtime=942.02 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 282321 0 0 0 94032 170 0 0 25 0 1 0 159317036 1156902912 281820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 282447 281820 311 324 0 281517 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1129788 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=622648/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1168020 CPUtime=1002.01 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 291849 0 0 0 100025 176 0 0 25 0 1 0 159317036 1196052480 291348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 292005 291348 311 324 0 291075 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1168020 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=593528/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1197260 CPUtime=1061.99 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 299162 0 0 0 106019 180 0 0 25 0 1 0 159317036 1225994240 298661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5160801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 299315 298661 311 324 0 298385 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1197260 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=559224/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1231264 CPUtime=1121.98 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 307672 0 0 0 112010 188 0 0 25 0 1 0 159317036 1260814336 307171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 307816 307171 311 324 0 306886 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1231264 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=536248/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1254412 CPUtime=1181.96 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 313474 0 0 0 118004 192 0 0 25 0 1 0 159317036 1284517888 312973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 313603 312973 311 324 0 312673 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1254412 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=511544/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1278812 CPUtime=1241.94 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 319564 0 0 0 123998 196 0 0 25 0 1 0 159317036 1309503488 319063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 319703 319063 311 324 0 318773 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1278812 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17973 /proc/meminfo: memFree=481592/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1308600 CPUtime=1301.93 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 327012 0 0 0 129991 202 0 0 25 0 1 0 159317036 1340006400 326511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 327150 326511 311 324 0 326220 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1308600 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 18055 /proc/meminfo: memFree=433536/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1355572 CPUtime=1361.86 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 338753 0 0 0 135977 209 0 0 25 0 1 0 159317036 1388105728 338252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 338893 338252 311 324 0 337963 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1355572 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=398968/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1391200 CPUtime=1421.79 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 347647 0 0 0 141964 215 0 0 25 0 1 0 159317036 1424588800 347146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 347800 347146 311 324 0 346870 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1391200 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=349752/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1441124 CPUtime=1481.77 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 360151 0 0 0 147954 223 0 0 25 0 1 0 159317036 1475710976 359650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 360281 359650 311 324 0 359351 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1441124 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=301560/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1488488 CPUtime=1541.75 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 371985 0 0 0 153946 229 0 0 25 0 1 0 159317036 1524211712 371484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 372122 371484 311 324 0 371192 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1488488 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=251768/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1539028 CPUtime=1601.73 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 384624 0 0 0 159937 236 0 0 25 0 1 0 159317036 1575964672 384123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 384757 384123 311 324 0 383827 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1539028 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=206328/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1583448 CPUtime=1661.71 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 395730 0 0 0 165930 241 0 0 25 0 1 0 159317036 1621450752 395229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 395862 395229 311 324 0 394932 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1583448 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=150712/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1639960 CPUtime=1721.7 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 409835 0 0 0 171918 252 0 0 25 0 1 0 159317036 1679319040 409334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 409990 409334 311 324 0 409060 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1639960 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=93048/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1696772 CPUtime=1781.68 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 424038 0 0 0 177907 261 0 0 25 0 1 0 159317036 1737494528 423537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 424193 423537 311 324 0 423263 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1696772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=73016/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=1716472 CPUtime=1800.09 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194304 428978 0 0 0 179745 264 0 0 25 0 1 0 159317036 1757667328 428477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 429118 428477 311 324 0 428188 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1716472 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=73016/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=0 CPUtime=1800.18 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194308 428982 0 0 0 179745 273 0 0 25 0 1 0 159317036 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18171 /proc/meminfo: memFree=73016/2055920 swapFree=4157776/4192956 [pid=17972] ppid=17970 vsize=0 CPUtime=1800.28 /proc/17972/stat : 17972 (bsolo3.0.17) R 17970 17972 17907 0 -1 4194308 428982 0 0 0 179745 283 0 0 25 0 1 0 159317036 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/17972/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.98 CPU time (s): 1800.36 CPU user time (s): 1797.46 CPU system time (s): 2.90556 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 1716472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.46 system time used= 2.90556 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 428982 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 3000 runsolver used 1.35779 second user time and 4.00839 second system time The end
Begin job on node45 on Tue May 1 18:38:34 UTC 2007 IDJOB= 455511 IDBENCH= 48268 IDSOLVER= 199 FILE ID= node45/455511-1178044714 PBS_JOBID= 4728461 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455511-1178044714/instance-455511-1178044714.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-455511-1178044714 -o ROOT/results/node45/solver-455511-1178044714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455511-1178044714/instance-455511-1178044714.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED= 391562880 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.218 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.218 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: 1789696 kB Buffers: 100136 kB Cached: 81348 kB SwapCached: 14084 kB Active: 128552 kB Inactive: 76876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789696 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 7004 kB Writeback: 0 kB Mapped: 29364 kB Slab: 46376 kB Committed_AS: 3077492 kB PageTables: 1732 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node45 on Tue May 1 19:08:37 UTC 2007