Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -22 | 1800.27 | 1800.91 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455505-1178044656/instance-455505-1178044656.opb 0.00/0.00 c File size is 191690 bytes. 0.01/0.08 c Highest Coefficient sum: 1000 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.081 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.806 s 6.79/6.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.81 c 0 13540 26582 90780 3 77242 131637 0 0 6.81 6.79/6.81 c Switching off LPR mode. 6.79/6.84 o -1 6.837 6.79/6.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.87 c 0 13540 26583 91280 3 77245 131970 1 0 6.84 6.79/6.87 o -2 6.867 6.89/6.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.90 c 0 13540 26584 91780 3 77249 132470 2 0 6.87 6.89/6.90 o -3 6.896 6.89/6.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.93 c 0 13540 26585 92280 3 77254 133137 3 0 6.90 6.89/6.93 o -4 6.926 6.89/6.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.96 c 0 13540 26586 92780 3 77260 133970 4 0 6.93 6.89/6.96 o -5 6.955 6.89/6.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.99 c 0 13540 26587 93280 3 77267 134970 5 0 6.96 6.89/6.99 o -6 6.985 6.99/7.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.02 c 0 13540 26588 93780 3 77275 135970 6 0 6.99 6.99/7.02 o -7 7.014 6.99/7.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.05 c 0 13540 26589 94280 3 77284 136970 7 0 7.02 6.99/7.05 o -8 7.043 6.99/7.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.08 c 0 13540 26590 94780 3 77294 137970 8 0 7.05 6.99/7.08 o -9 7.073 7.08/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.11 c 0 13540 26591 95280 3 77305 138970 9 0 7.08 7.08/7.11 o -10 7.102 7.08/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.14 c 0 13540 26592 95780 3 77317 139970 10 0 7.11 7.08/7.14 o -11 7.131 7.08/7.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.17 c 0 13540 26593 96280 3 77330 140970 11 0 7.14 7.08/7.17 o -12 7.16 7.08/7.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.19 c 0 13540 26594 96780 3 77344 141970 12 0 7.17 7.08/7.19 o -13 7.189 7.18/7.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.22 c 0 13540 26595 97280 3 77359 142970 13 0 7.20 7.18/7.22 o -14 7.218 7.18/7.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.25 c 0 13540 26596 97780 3 77375 143970 14 0 7.22 7.18/7.25 o -15 7.247 7.18/7.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.28 c 0 13540 26597 98280 3 77392 144970 15 0 7.25 7.18/7.28 o -16 7.276 7.28/7.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.31 c 0 13540 26598 98780 3 77410 145970 16 0 7.28 7.28/7.31 o -17 7.305 7.28/7.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.34 c 0 13540 26599 99280 3 77429 146970 17 0 7.31 7.28/7.34 o -18 7.333 7.28/7.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.37 c 0 13540 26600 99780 3 77449 147970 18 0 7.34 7.28/7.37 o -19 7.362 7.28/7.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.40 c 0 13540 26601 100280 3 77470 148970 19 0 7.37 7.28/7.40 o -20 7.391 7.38/7.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.43 c 0 13540 26602 100780 3 77492 149970 20 0 7.40 7.38/7.43 o -21 7.429 14.78/14.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.80 c 1 13540 26604 101893 3 77517 149970 22 0 7.44 14.78/14.80 c 101 13540 26704 162209 6 77717 164968 122 12 8.02 14.78/14.80 c 351 13540 26954 308689 11 78217 181465 372 37 9.33 14.78/14.80 c 826 13540 27429 608598 22 79167 199612 847 70 11.64 14.78/14.80 c 1639 13540 28242 1198419 42 80793 219574 1660 115 14.20 14.78/14.80 o -22 14.795 1799.96/1800.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.63 c 2117 13540 28721 1609859 56 81773 149970 2139 143 14.80 1799.96/1800.63 c 2217 13540 28821 1659859 57 81973 164968 2239 148 14.90 1799.96/1800.63 c 2467 13540 29071 1784859 61 82473 181465 2489 163 15.07 1799.96/1800.63 c 2942 13540 29546 2080793 70 83423 199612 2964 157 18.64 1799.96/1800.63 c 3755 13540 30359 2645528 87 85049 219574 3777 150 24.95 1799.96/1800.63 c 5075 13540 31679 3574170 112 87689 241532 5097 145 34.76 1799.96/1800.63 c 7156 13540 33760 5056941 149 91851 265686 7178 143 50.01 1799.96/1800.63 c 10379 13540 36983 7331776 198 98297 292255 10401 135 76.83 1799.96/1800.63 c 15315 13540 41919 10844897 258 108169 321481 15337 125 121.69 1799.96/1800.63 c 22821 13540 49425 16174796 327 123181 353630 22843 118 192.22 1799.96/1800.63 c 34182 13540 60786 24395911 401 145903 388994 34204 126 270.13 1799.96/1800.63 c 51326 13540 77930 36974142 474 180191 427894 51348 131 389.34 1799.96/1800.63 c 77145 13540 103749 56491826 544 231829 470684 77167 137 559.95 1799.96/1800.64 c 115977 13540 142581 85411147 599 309493 517753 115999 128 903.74 1799.96/1800.64 c 174329 13540 200933 128835589 641 426197 569529 174351 99 1748.69 1799.96/1800.64 c Resources Exceeded 1799.96/1800.64 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 1799.96/1800.64 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 1799.96/1800.64 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 1799.96/1800.64 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1799.96/1800.64 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1799.96/1800.64 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1799.96/1800.64 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1799.96/1800.64 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1799.96/1800.64 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1799.96/1800.64 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1799.96/1800.64 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1799.96/1800.64 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1799.96/1800.64 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1799.96/1800.64 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1799.96/1800.64 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1799.96/1800.64 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1799.96/1800.64 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1799.96/1800.64 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1799.96/1800.64 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1799.96/1800.64 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1799.96/1800.64 v -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1799.96/1800.64 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1799.96/1800.64 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921 1799.96/1800.64 v -x650 -x574 -x882 -x546 -x706 -x741 -x787 -x801 -x501 -x527 x849 x861 x699 x911 -x521 x727 x829 x987 x915 -x510 -x595 x634 1799.96/1800.64 v -x692 x723 x785 x790 x878 x881 x922 -x968 -x502 -x506 -x680 -x874 -x832 -x961 -x884 -x553 -x847 -x728 -x540 -x554 -x561 -x690 1799.96/1800.64 v -x503 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x512 -x526 -x586 -x603 -x612 -x644 -x669 -x786 -x825 -x933 1799.96/1800.64 v -x504 -x714 -x666 -x736 -x624 -x608 -x702 -x594 -x616 -x705 -x763 -x850 -x505 -x774 -x989 x724 x928 -x990 -x543 -x535 -x578 1799.96/1800.64 v x582 x663 x811 -x717 -x628 -x934 -x869 -x940 -x851 -x591 -x541 -x648 -x859 -x913 -x507 -x745 -x888 -x804 -x762 -x975 -x779 1799.96/1800.64 v -x799 -x980 -x664 -x597 -x681 -x837 -x957 -x508 -x528 -x887 -x653 -x935 -x792 -x590 -x659 -x719 -x579 -x524 -x641 -x761 -x824 1799.96/1800.64 v -x977 -x509 -x844 -x647 -x515 -x520 -x807 -x871 -x721 -x988 -x592 -x551 -x610 -x747 -x813 -x937 -x525 -x963 -x870 -x518 -x580 1799.96/1800.64 v -x661 -x994 -x979 -x897 -x598 -x901 -x533 -x581 -x657 -x698 -x782 -x904 -x931 -x568 -x715 -x627 -x646 -x552 -x947 -x513 -x868 1799.96/1800.64 v -x996 -x938 -x978 -x742 -x602 -x619 -x564 -x618 -x655 -x756 -x789 -x846 -x872 -x895 -x514 -x635 -x622 -x542 -x758 -x636 -x956 1799.96/1800.64 v -x549 -x566 -x654 -x686 -x773 -x853 -x925 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x639 -x651 -x693 -x927 -x516 -x716 -x867 1799.96/1800.64 v -x764 -x820 -x529 -x783 -x517 -x751 -x899 -x822 -x886 x652 -x519 -x621 -x836 -x852 -x908 -x569 -x991 -x926 -x709 -x558 -x550 1799.96/1800.64 v -x772 -x992 -x857 -x677 -x563 -x614 -x671 -x808 -x912 -x746 -x688 -x919 -x704 -x744 -x839 -x695 -x577 -x649 -x672 -x923 -x556 1799.96/1800.64 v -x534 -x596 -x818 -x855 -x953 -x522 -x806 -x835 -x718 -x981 -x936 -x791 -x523 -x725 -x920 -x959 -x946 -x571 -x703 -x827 -x842 1799.96/1800.64 v -x914 -x609 -x970 -x607 -x917 -x778 -x883 -x604 -x623 -x860 -x740 -x615 -x696 -x760 -x969 -x589 -x958 -x854 -x768 -x949 -x536 1799.96/1800.64 v -x891 -x960 -x984 -x864 -x733 -x734 -x560 -x584 -x805 -x720 -x555 -x840 -x967 -x530 -x599 -x665 -x713 -x679 -x753 -x531 -x965 1799.96/1800.64 v -x802 -x638 -x838 -x532 -x803 -x682 -x876 -x982 -x731 -x797 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x637 -x903 -x955 -x759 1799.96/1800.64 v -x694 -x810 -x966 -x640 -x687 -x985 -x729 -x642 -x833 -x738 -x708 -x962 -x748 -x660 -x539 -x798 -x769 -x924 -x889 -x562 -x675 1799.96/1800.64 v -x722 -x668 -x707 -x875 -x701 -x821 -x948 -x700 -x795 -x600 -x620 -x645 -x749 -x863 -x739 -x750 -x737 -x544 -x834 -x930 -x843 1799.96/1800.64 v -x976 -x547 -x588 -x950 -x951 -x796 -x999 -x856 -x916 -x732 -x576 -x776 -x548 -x877 -x613 -x900 -x605 -x662 -x683 -x784 -x794 1799.96/1800.64 v -x823 -x712 -x767 -x775 -x910 -x710 -x735 -x780 -x845 -x880 -x942 -x557 -x670 -x689 -x743 -x995 -x583 -x559 -x754 -x656 -x907 1799.96/1800.64 v -x896 -x964 -x678 -x697 -x788 -x575 -x905 -x643 -x565 -x667 -x630 -x601 -x632 -x567 -x892 -x830 -x879 -x890 -x909 -x673 -x730 1799.96/1800.64 v -x831 -x674 -x755 -x593 -x971 -x711 -x629 -x691 -x1000 x587 -x929 -x841 -x781 -x918 -x943 -x858 -x617 -x973 -x894 -x814 -x625 1799.96/1800.64 v -x757 -x817 -x685 -x752 -x816 -x885 -x893 -x945 -x997 -x848 -x793 -x658 -x812 -x972 -x993 -x606 -x828 -x898 -x902 -x770 -x631 1799.96/1800.64 v -x952 -x873 -x974 -x986 -x684 -x819 -x906 -x726 1799.96/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.64 c 40 179444 397 442354 206048 132902705 179466 99 1800.01 1799.96/1800.64 c Objective: -22 1799.96/1800.64 s SATISFIABLE 1799.96/1800.64 c Total time: 1800.01 s
OK -22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-455505-1178044656 -o ROOT/results/node54/solver-455505-1178044656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455505-1178044656/instance-455505-1178044656.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.78 0.95 0.98 3/66 22687 /proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=11924 CPUtime=0 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 251840072 12210176 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2981 336 281 324 0 2003 0 [startup+0.0218591 s] /proc/loadavg: 0.78 0.95 0.98 3/66 22687 /proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=5072 CPUtime=0.01 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 607 0 0 0 1 0 0 0 18 0 1 0 251840072 5193728 576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 1268 576 300 324 0 290 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5072 [startup+0.10187 s] /proc/loadavg: 0.78 0.95 0.98 3/66 22687 /proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=10260 CPUtime=0.09 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 1992 0 0 0 8 1 0 0 18 0 1 0 251840072 10506240 1914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2565 1916 302 324 0 1634 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10260 [startup+0.301895 s] /proc/loadavg: 0.78 0.95 0.98 3/66 22687 /proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=11068 CPUtime=0.29 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2157 0 0 0 28 1 0 0 19 0 1 0 251840072 11333632 2079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2767 2079 306 324 0 1836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11068 [startup+0.701946 s] /proc/loadavg: 0.78 0.95 0.98 3/66 22687 /proc/meminfo: memFree=1727288/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=11068 CPUtime=0.69 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 68 1 0 0 23 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2767 2080 306 324 0 1836 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11068 [startup+1.50105 s] /proc/loadavg: 0.80 0.95 0.98 2/67 22688 /proc/meminfo: memFree=1720176/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=11068 CPUtime=1.49 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 148 1 0 0 25 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2767 2080 306 324 0 1836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11068 [startup+3.10125 s] /proc/loadavg: 0.80 0.95 0.98 2/67 22688 /proc/meminfo: memFree=1720048/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=11068 CPUtime=3.08 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 307 1 0 0 25 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2767 2080 306 324 0 1836 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11068 [startup+6.30266 s] /proc/loadavg: 0.81 0.95 0.98 2/67 22688 /proc/meminfo: memFree=1719856/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=11068 CPUtime=6.29 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 2158 0 0 0 627 2 0 0 25 0 1 0 251840072 11333632 2080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 2767 2080 306 324 0 1836 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11068 [startup+12.7015 s] /proc/loadavg: 0.83 0.95 0.98 2/67 22688 /proc/meminfo: memFree=1712240/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=19860 CPUtime=12.68 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 4814 0 0 0 1249 19 0 0 25 0 1 0 251840072 20336640 4312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 4965 4312 312 324 0 4034 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19860 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.98 2/67 22688 /proc/meminfo: memFree=1686256/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=45452 CPUtime=25.48 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 11232 0 0 0 2525 23 0 0 25 0 1 0 251840072 46542848 10730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 11363 10730 312 324 0 10432 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45452 [startup+51.1013 s] /proc/loadavg: 0.91 0.96 0.98 2/67 22688 /proc/meminfo: memFree=1655344/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=75808 CPUtime=51.07 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 18826 0 0 0 5079 28 0 0 25 0 1 0 251840072 77627392 18324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 18952 18324 312 324 0 18021 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75808 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/67 22688 /proc/meminfo: memFree=1600560/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=130448 CPUtime=102.25 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 32467 0 0 0 10186 39 0 0 25 0 1 0 251840072 133578752 31965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 32612 31965 312 324 0 31681 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 130448 [startup+162.301 s] /proc/loadavg: 1.11 1.00 0.99 2/67 22688 /proc/meminfo: memFree=1542256/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=188708 CPUtime=162.23 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 47036 0 0 0 16175 48 0 0 25 0 1 0 251840072 193236992 46534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 47177 46534 312 324 0 46246 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 188708 [startup+222.301 s] /proc/loadavg: 1.16 1.03 1.01 2/67 22688 /proc/meminfo: memFree=1471472/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=259436 CPUtime=222.21 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 64729 0 0 0 22160 61 0 0 25 0 1 0 251840072 265662464 64227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 64859 64227 312 324 0 63928 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 259436 [startup+282.302 s] /proc/loadavg: 1.09 1.03 1.00 2/67 22688 /proc/meminfo: memFree=1392048/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=338872 CPUtime=282.2 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 84572 0 0 0 28145 75 0 0 25 0 1 0 251840072 347004928 84070 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 84718 84070 312 324 0 83787 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 338872 [startup+342.301 s] /proc/loadavg: 1.07 1.04 1.00 2/67 22688 /proc/meminfo: memFree=1315056/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=415524 CPUtime=342.18 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 103744 0 0 0 34129 89 0 0 25 0 1 0 251840072 425496576 103242 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 103881 103242 312 324 0 102950 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 415524 [startup+402.302 s] /proc/loadavg: 1.14 1.06 1.01 2/67 22688 /proc/meminfo: memFree=1228912/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=502284 CPUtime=402.16 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 125417 0 0 0 40113 103 0 0 25 0 1 0 251840072 514338816 124915 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 125571 124915 312 324 0 124640 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 502284 [startup+462.302 s] /proc/loadavg: 1.12 1.06 1.01 2/67 22688 /proc/meminfo: memFree=1138224/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=592152 CPUtime=462.14 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 147894 0 0 0 46096 118 0 0 25 0 1 0 251840072 606363648 147392 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2252641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 148038 147392 312 324 0 147107 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 592152 [startup+522.301 s] /proc/loadavg: 1.11 1.07 1.01 2/67 22688 /proc/meminfo: memFree=1055088/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=676036 CPUtime=522.12 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 168883 0 0 0 52082 130 0 0 25 0 1 0 251840072 692260864 168381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 169009 168381 312 324 0 168078 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 676036 [startup+582.302 s] /proc/loadavg: 1.04 1.05 1.00 2/67 22688 /proc/meminfo: memFree=962736/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=767528 CPUtime=582.11 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 191749 0 0 0 58067 144 0 0 25 0 1 0 251840072 785948672 191247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 191882 191247 312 324 0 190951 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 767528 [startup+642.301 s] /proc/loadavg: 1.08 1.06 1.00 2/67 22688 /proc/meminfo: memFree=844848/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=884532 CPUtime=642.1 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 220981 0 0 0 64047 163 0 0 25 0 1 0 251840072 905760768 220479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 221133 220479 312 324 0 220202 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 884532 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.00 2/67 22688 /proc/meminfo: memFree=599024/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1130668 CPUtime=941.99 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 282521 0 0 0 93991 208 0 0 25 0 1 0 251840072 1157804032 282019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 282667 282019 312 324 0 281736 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1130668 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 22688 /proc/meminfo: memFree=560688/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1168148 CPUtime=1001.98 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 291911 0 0 0 99983 215 0 0 25 0 1 0 251840072 1196183552 291409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 292037 291409 312 324 0 291106 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1168148 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22688 /proc/meminfo: memFree=531504/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1197640 CPUtime=1061.96 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 299271 0 0 0 105977 219 0 0 25 0 1 0 251840072 1226383360 298769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 299410 298769 312 324 0 298479 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1197640 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22688 /proc/meminfo: memFree=497200/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1231640 CPUtime=1121.94 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 307758 0 0 0 111969 225 0 0 25 0 1 0 251840072 1261199360 307256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 307910 307256 312 324 0 306979 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1231640 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22688 /proc/meminfo: memFree=474096/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1255280 CPUtime=1181.93 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 313677 0 0 0 117963 230 0 0 25 0 1 0 251840072 1285406720 313175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 313820 313175 312 324 0 312889 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1255280 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22688 /proc/meminfo: memFree=449584/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1279064 CPUtime=1241.9 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 319632 0 0 0 123956 234 0 0 25 0 1 0 251840072 1309761536 319130 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 319766 319130 312 324 0 318835 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1279064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22688 /proc/meminfo: memFree=418608/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1309856 CPUtime=1301.89 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 327324 0 0 0 129949 240 0 0 25 0 1 0 251840072 1341292544 326822 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 327464 326822 312 324 0 326533 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1309856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22688 /proc/meminfo: memFree=372528/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1356204 CPUtime=1361.87 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 338899 0 0 0 135939 248 0 0 25 0 1 0 251840072 1388752896 338397 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 339051 338397 312 324 0 338120 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1356204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/73 22796 /proc/meminfo: memFree=334720/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1392460 CPUtime=1421.82 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 347987 0 0 0 141927 255 0 0 25 0 1 0 251840072 1425879040 347485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 348115 347485 312 324 0 347184 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1392460 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=286000/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1442364 CPUtime=1481.75 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 360449 0 0 0 147910 265 0 0 25 0 1 0 251840072 1476980736 359947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 360591 359947 312 324 0 359660 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1442364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=238640/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1489372 CPUtime=1541.74 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 372201 0 0 0 153901 273 0 0 25 0 1 0 251840072 1525116928 371699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 372343 371699 312 324 0 371412 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1489372 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=188400/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1539788 CPUtime=1601.71 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 384810 0 0 0 159890 281 0 0 25 0 1 0 251840072 1576742912 384308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 384947 384308 312 324 0 384016 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1539788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=143920/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1584200 CPUtime=1661.7 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 395895 0 0 0 165881 289 0 0 25 0 1 0 251840072 1622220800 395393 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 396050 395393 312 324 0 395119 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1584200 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=87664/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1640728 CPUtime=1721.68 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 410039 0 0 0 171868 300 0 0 25 0 1 0 251840072 1680105472 409537 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 410182 409537 312 324 0 409251 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1640728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=29936/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=1698276 CPUtime=1781.66 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194304 424435 0 0 0 177857 309 0 0 25 0 1 0 251840072 1739034624 423933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 424569 423933 312 324 0 423638 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1698276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=444080/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=0 CPUtime=1800.06 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194308 429367 0 0 0 179687 319 0 0 17 0 1 0 251840072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 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: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=444080/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=0 CPUtime=1800.16 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194308 429367 0 0 0 179687 329 0 0 18 0 1 0 251840072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/67 22886 /proc/meminfo: memFree=444080/2055920 swapFree=4182172/4192956 [pid=22687] ppid=22685 vsize=0 CPUtime=1800.25 /proc/22687/stat : 22687 (bsolo3.0.16) R 22685 22687 22578 0 -1 4194308 429367 0 0 0 179687 338 0 0 18 0 1 0 251840072 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22687/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.27 CPU user time (s): 1796.88 CPU system time (s): 3.39148 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 1717972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.88 system time used= 3.39148 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 429367 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= 14 involuntary context switches= 3642 runsolver used 1.69974 second user time and 4.86126 second system time The end
Begin job on node54 on Tue May 1 18:37:36 UTC 2007 IDJOB= 455505 IDBENCH= 48268 IDSOLVER= 163 FILE ID= node54/455505-1178044656 PBS_JOBID= 4728459 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455505-1178044656/instance-455505-1178044656.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-455505-1178044656 -o ROOT/results/node54/solver-455505-1178044656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455505-1178044656/instance-455505-1178044656.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED= 112278946 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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.234 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.234 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: 1727760 kB Buffers: 83104 kB Cached: 178432 kB SwapCached: 3936 kB Active: 124192 kB Inactive: 150080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1727760 kB SwapTotal: 4192956 kB SwapFree: 4182172 kB Dirty: 6976 kB Writeback: 0 kB Mapped: 15728 kB Slab: 39820 kB Committed_AS: 4498720 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 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 node54 on Tue May 1 19:07:39 UTC 2007