Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -22 | 1560.27 | 1560.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_5.opb |
MD5SUM | dfd3914a8aa1cc34e3abdf0a14d8373d |
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 | -82 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -82 |
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) | 31412 |
Sum of products size (including duplicates) | 62824 |
Number of different products | 15706 |
Sum of products size | 31412 |
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/455346-1178041782/instance-455346-1178041782.opb 0.00/0.00 c File size is 432083 bytes. 0.09/0.19 c Highest Coefficient sum: 1000 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.194 s 0.19/0.25 c Var: 32412 Constr: 64326 31912/1002/31412 Lit: 222884 Watch. Lit: 190474 0.19/0.25 c Obj. Vars: 500 (1.54264 % of total variables) 179.24/179.31 c Pre-processing Time: 179.257 s 179.24/179.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.24/179.31 c 0 32412 64326 222884 3 190474 528158 0 0 179.26 179.24/179.31 c Switching off LPR mode. 179.24/179.35 o -1 179.298 179.34/179.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.34/179.41 c 0 32412 64327 223384 3 190477 528492 1 0 179.31 179.34/179.41 o -2 179.357 179.34/179.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.34/179.47 c 0 32412 64328 223884 3 190481 528992 2 0 179.37 179.34/179.47 o -3 179.417 179.44/179.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.44/179.53 c 0 32412 64329 224384 3 190486 529658 3 0 179.43 179.44/179.53 o -4 179.478 179.44/179.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.44/179.59 c 0 32412 64330 224884 3 190492 530492 4 0 179.49 179.44/179.59 o -5 179.54 179.54/179.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.54/179.65 c 0 32412 64331 225384 3 190499 531492 5 0 179.56 179.54/179.65 o -6 179.602 179.64/179.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.64/179.71 c 0 32412 64332 225884 3 190507 532492 6 0 179.62 179.64/179.71 o -7 179.664 179.64/179.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.64/179.78 c 0 32412 64333 226384 3 190516 533492 7 0 179.68 179.64/179.78 o -8 179.727 179.74/179.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.74/179.84 c 0 32412 64334 226884 3 190526 534492 8 0 179.74 179.74/179.84 o -9 179.79 179.84/179.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.90 c 0 32412 64335 227384 3 190537 535492 9 0 179.81 179.84/179.90 o -10 179.853 179.84/179.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.96 c 0 32412 64336 227884 3 190549 536492 10 0 179.87 179.84/179.96 o -11 179.916 179.94/180.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.94/180.03 c 0 32412 64337 228384 3 190562 537492 11 0 179.93 179.94/180.03 o -12 179.98 179.94/180.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.94/180.09 c 0 32412 64338 228884 3 190576 538492 12 0 180.00 179.94/180.09 o -13 180.043 180.04/180.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.04/180.16 c 0 32412 64339 229384 3 190591 539492 13 0 180.06 180.04/180.16 o -14 180.107 180.14/180.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.14/180.22 c 0 32412 64340 229884 3 190607 540492 14 0 180.12 180.14/180.22 o -15 180.171 180.14/180.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.14/180.28 c 0 32412 64341 230384 3 190624 541492 15 0 180.19 180.14/180.28 o -16 180.235 180.24/180.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.24/180.35 c 0 32412 64342 230884 3 190642 542492 16 0 180.25 180.24/180.35 o -17 180.299 180.34/180.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.34/180.41 c 0 32412 64343 231384 3 190661 543492 17 0 180.32 180.34/180.41 o -18 180.363 180.34/180.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.34/180.48 c 0 32412 64344 231884 3 190681 544492 18 0 180.38 180.34/180.48 o -19 180.428 180.44/180.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.44/180.54 c 0 32412 64345 232384 3 190702 545492 19 0 180.44 180.44/180.54 o -20 180.492 180.54/180.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.54/180.66 c 0 32412 64346 232884 3 190724 546492 20 0 180.51 180.54/180.66 o -21 180.615 191.44/191.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.44/191.56 c 18 32412 64365 242811 3 190783 546492 39 0 180.63 191.44/191.56 c 118 32412 64465 296716 4 190983 601142 139 0 181.42 191.44/191.56 c 368 32412 64715 451965 6 191483 661257 389 2 183.55 191.44/191.56 c 843 32412 65190 756277 11 192433 727383 864 4 186.56 191.44/191.56 c 1656 32412 66003 1336908 20 194059 800122 1677 8 190.52 191.44/191.56 o -22 191.504 1559.97/1560.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1559.97/1560.60 c 2062 32412 66410 1672856 25 194895 546492 2084 10 191.53 1559.97/1560.60 c 2162 32412 66510 1730628 26 195095 601142 2184 11 192.82 1559.97/1560.60 c 2412 32412 66760 1902636 28 195595 661257 2434 12 194.39 1559.97/1560.60 c 2887 32412 67235 2167378 32 196545 727383 2909 14 196.61 1559.97/1560.60 c 3700 32412 68048 2637923 38 198171 800122 3722 18 200.98 1559.97/1560.60 c 5020 32412 69368 3479129 50 200811 880135 5042 23 209.87 1559.97/1560.60 c 7101 32412 71449 4764640 66 204973 968149 7123 31 225.14 1559.97/1560.60 c 10324 32412 74672 6795209 91 211419 500000 10346 40 253.52 1559.97/1560.60 c 15260 32412 79608 9932815 124 221291 550001 15282 52 289.26 1559.97/1560.60 c 22766 32412 87114 14359428 164 236303 605002 22788 68 333.87 1559.97/1560.60 c 34127 32412 98475 21113885 214 259025 665503 34149 85 397.65 1559.97/1560.60 c 51271 32412 115619 31384788 271 293313 732054 51293 105 486.11 1559.97/1560.60 c 77090 32412 141438 47202746 333 344951 805260 77112 127 603.31 1559.97/1560.60 c 115922 32412 180270 71012976 393 422615 885787 115944 144 801.88 1559.97/1560.60 c 174274 32412 238622 106969961 448 539319 974366 174296 148 1170.80 1559.97/1560.60 c Caught signal: 15 1559.97/1560.60 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 1559.97/1560.60 v x32 -x33 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 1559.97/1560.60 v -x59 -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 1559.97/1560.60 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1559.97/1560.60 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 1559.97/1560.60 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1559.97/1560.60 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1559.97/1560.60 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 1559.97/1560.60 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1559.97/1560.60 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1559.97/1560.60 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1559.97/1560.60 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1559.97/1560.60 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1559.97/1560.60 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1559.97/1560.60 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1559.97/1560.60 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1559.97/1560.60 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1559.97/1560.60 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1559.97/1560.60 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1559.97/1560.60 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1559.97/1560.60 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1559.97/1560.60 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1559.97/1560.60 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 -x633 -x921 1559.97/1560.60 v -x650 -x574 -x882 -x527 -x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 -x915 -x506 -x680 -x874 -x832 -x961 -x517 -x572 -x581 1559.97/1560.60 v -x595 -x598 -x649 -x681 -x731 -x739 -x867 -x878 -x501 x884 x553 x968 -x847 x728 x585 x809 -x800 x862 -x941 -x511 x866 x954 1559.97/1560.60 v -x538 -x714 x666 x736 -x624 -x608 -x702 -x594 x616 -x723 -x504 -x535 -x548 x567 x577 -x596 -x617 -x625 x635 -x653 -x660 -x720 1559.97/1560.60 v x776 -x785 x813 -x827 -x843 x902 -x992 -x502 -x774 -x989 -x554 -x586 -x724 -x928 -x990 -x543 -x717 -x628 -x934 -x869 -x940 1559.97/1560.60 v -x851 -x591 -x745 -x888 -x804 -x762 -x975 -x779 -x799 -x980 -x664 -x515 -x520 -x523 -x566 -x672 -x735 -x746 -x769 -x944 -x503 1559.97/1560.60 v -x528 -x887 -x935 -x792 -x590 -x659 -x719 x579 -x844 -x647 -x807 x871 -x592 -x551 -x610 -x747 -x505 -x510 -x532 x541 -x559 1559.97/1560.60 v -x605 -x629 -x662 -x667 -x688 -x705 -x711 -x789 -x823 -x908 -x937 -x525 -x963 -x870 -x979 -x897 -x901 -x533 -x508 -x568 -x922 1559.97/1560.60 v -x715 -x627 -x646 -x552 -x571 -x587 -x654 -x663 -x679 -x722 -x730 -x740 -x761 -x794 -x859 -x868 -x996 -x938 -x978 -x742 -x602 1559.97/1560.60 v -x619 -x564 -x622 -x542 -x758 -x636 -x956 -x626 -x998 -x545 -x765 -x514 -x529 -x530 -x558 -x601 -x613 -x640 -x669 -x692 -x704 1559.97/1560.60 v -x793 -x795 -x889 -x570 -x815 -x716 -x578 -x764 -x820 -x516 -x751 -x899 x822 -x886 -x652 -x612 -x684 -x694 -x738 -x781 -x898 1559.97/1560.60 v -x974 -x507 -x569 -x518 -x991 -x926 -x709 -x639 -x561 -x857 -x756 -x677 -x912 -x651 -x919 -x536 -x563 -x634 -x710 -x743 -x744 1559.97/1560.60 v -x837 -x875 -x879 -x945 -x964 -x966 -x787 -x695 -x923 -x556 -x534 -x811 -x806 -x835 -x718 -x981 -x936 -x725 -x931 -x920 -x550 1559.97/1560.60 v -x637 -x685 -x768 -x812 -x821 -x828 -x833 -x850 -x876 -x988 -x509 -x959 -x946 -x914 -x609 -x970 -x607 -x917 -x895 -x540 -x881 1559.97/1560.60 v -x883 -x953 -x836 -x576 -x648 -x665 -x775 -x810 -x830 -x863 -x890 -x615 -x589 -x958 -x854 -x839 -x949 -x960 -x984 -x864 -x557 1559.97/1560.60 v -x641 -x797 -x892 -x903 -x733 -x734 -x801 -x555 -x778 -x840 -x790 -x696 -x599 -x713 -x965 -x802 -x593 -x657 -x757 -x782 -x824 1559.97/1560.60 v -x904 -x947 -x971 -x512 -x638 -x753 -x853 -x838 -x803 -x580 -x932 -x939 -x826 -x537 -x771 -x865 -x983 -x604 -x631 -x721 -x732 1559.97/1560.60 v -x798 -x910 -x950 -x957 -x513 -x759 -x786 -x698 -x546 -x729 -x539 -x620 -x683 -x689 -x770 -x860 -x933 -x642 -x597 -x708 -x969 1559.97/1560.60 v -x955 -x962 -x748 -x924 -x519 -x565 -x655 -x855 -x805 -x760 -x872 -x977 -x701 -x948 -x700 -x549 -x767 -x825 -x927 -x952 -x600 1559.97/1560.60 v -x750 -x737 -x834 -x930 -x749 -x976 -x796 -x656 -x671 -x816 -x687 -x856 -x916 -x818 -x763 -x544 -x741 -x909 -x522 -x877 -x900 1559.97/1560.60 v -x560 -x967 -x682 -x773 -x788 -x842 -x623 -x524 -x678 -x913 -x668 -x845 -x582 -x880 -x780 -x942 -x583 -x584 -x691 -x693 -x670 1559.97/1560.60 v -x562 -x995 -x603 -x754 -x907 -x791 -x575 -x985 -x905 -x606 -x630 -x951 -x783 -x644 -x674 -x906 -x526 -x831 -x547 -x755 -x808 1559.97/1560.60 v -x1000 -x673 -x841 -x918 -x531 -x645 -x885 -x994 -x943 -x858 -x614 -x784 -x894 -x814 -x973 -x706 -x752 -x675 -x661 -x891 1559.97/1560.60 v -x588 -x621 -x848 -x697 -x707 -x925 -x658 -x643 -x686 -x712 -x632 -x993 -x999 -x972 -x893 -x982 -x929 -x690 -x986 -x852 -x873 1559.97/1560.60 v -x846 -x896 -x997 -x819 -x772 -x817 -x618 -x703 -x726 1559.97/1560.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1559.97/1560.60 c 40 231436 616 830160 295784 141625287 231458 148 1559.98 1559.97/1560.60 c Objective: -22 1559.97/1560.60 s SATISFIABLE 1559.97/1560.60 c Total time: 1559.98 s
OK -22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-455346-1178041782 -o ROOT/results/node18/solver-455346-1178041782 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455346-1178041782/instance-455346-1178041782.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.92 0.98 0.99 2/77 6289 /proc/meminfo: memFree=1760960/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=12160 CPUtime=0 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 252095554 12451840 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 3040 332 279 324 0 2004 0 [startup+0.0494641 s] /proc/loadavg: 0.92 0.98 0.99 2/77 6289 /proc/meminfo: memFree=1760960/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=6688 CPUtime=0.04 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 987 0 0 0 4 0 0 0 18 0 1 0 252095554 6848512 957 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 1672 958 313 324 0 636 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6688 [startup+0.101468 s] /proc/loadavg: 0.92 0.98 0.99 2/77 6289 /proc/meminfo: memFree=1760960/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=9520 CPUtime=0.09 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 1701 0 0 0 9 0 0 0 18 0 1 0 252095554 9748480 1671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 2380 1671 342 324 0 1344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9520 [startup+0.301487 s] /proc/loadavg: 0.92 0.98 0.99 2/77 6289 /proc/meminfo: memFree=1760960/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21188 CPUtime=0.29 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4707 0 0 0 27 2 0 0 20 0 1 0 252095554 21696512 4531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5297 4531 305 324 0 4367 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21188 [startup+0.701525 s] /proc/loadavg: 0.92 0.98 0.99 2/77 6289 /proc/meminfo: memFree=1760960/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21188 CPUtime=0.69 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4741 0 0 0 67 2 0 0 24 0 1 0 252095554 21696512 4565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5297 4565 305 324 0 4367 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21188 [startup+1.50168 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743736/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=1.49 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4745 0 0 0 147 2 0 0 25 0 1 0 252095554 21831680 4569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8295065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4569 305 324 0 4400 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21320 [startup+3.10176 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743608/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=3.09 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 307 2 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21320 [startup+6.30207 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743416/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=6.29 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 627 2 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21320 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743488/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=12.69 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 1267 2 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21320 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743624/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=25.49 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 2546 3 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21320 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743624/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=51.07 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 5103 4 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21320 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743624/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=102.26 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 10220 6 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21320 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1743560/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=21320 CPUtime=162.24 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 4746 0 0 0 16215 9 0 0 25 0 1 0 252095554 21831680 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 5330 4570 305 324 0 4400 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21320 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1686728/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=77996 CPUtime=222.23 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 19069 0 0 0 22204 19 0 0 25 0 1 0 252095554 79867904 18829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 19499 18829 311 324 0 18569 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 77996 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1627784/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=137908 CPUtime=282.21 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 34054 0 0 0 28193 28 0 0 25 0 1 0 252095554 141217792 33814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 34477 33814 311 324 0 33547 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 137908 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1548680/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=216036 CPUtime=342.2 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 53557 0 0 0 34181 39 0 0 25 0 1 0 252095554 221220864 53317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 54009 53317 311 324 0 53079 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 216036 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1466120/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=299744 CPUtime=402.18 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 74504 0 0 0 40166 52 0 0 25 0 1 0 252095554 306937856 74264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 74936 74264 311 324 0 74006 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 299744 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1378568/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=385640 CPUtime=462.16 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 95987 0 0 0 46148 68 0 0 25 0 1 0 252095554 394895360 95747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 96410 95747 311 324 0 95480 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 385640 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1280584/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=484072 CPUtime=522.15 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 120569 0 0 0 52132 83 0 0 25 0 1 0 252095554 495689728 120329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 121018 120329 311 324 0 120088 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 484072 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1175432/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=588756 CPUtime=582.13 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 146763 0 0 0 58114 99 0 0 25 0 1 0 252095554 602886144 146523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 147189 146523 311 324 0 146259 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 588756 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6290 /proc/meminfo: memFree=1062280/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=701120 CPUtime=642.12 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 174847 0 0 0 64096 116 0 0 25 0 1 0 252095554 717946880 174607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 175280 174607 311 324 0 174350 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 701120 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 6412 /proc/meminfo: memFree=920656/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=841320 CPUtime=702.05 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 209892 0 0 0 70069 136 0 0 25 0 1 0 252095554 861511680 209652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 210330 209652 311 324 0 209400 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 841320 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=869640/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=893268 CPUtime=762 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 222868 0 0 0 76054 146 0 0 25 0 1 0 252095554 914706432 222628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 223317 222628 311 324 0 222387 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 893268 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=808328/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=954752 CPUtime=821.98 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 238252 0 0 0 82042 156 0 0 25 0 1 0 252095554 977666048 238012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 238688 238012 311 324 0 237758 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 954752 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=746824/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1015868 CPUtime=881.97 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 253528 0 0 0 88030 167 0 0 25 0 1 0 252095554 1040248832 253288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 253967 253288 311 324 0 253037 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1015868 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=678536/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1084252 CPUtime=941.94 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 270625 0 0 0 94018 176 0 0 25 0 1 0 252095554 1110274048 270385 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 271063 270385 311 324 0 270133 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 1084252 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=601800/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1161136 CPUtime=1001.93 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 289833 0 0 0 100005 188 0 0 25 0 1 0 252095554 1189003264 289593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 290284 289593 311 324 0 289354 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1161136 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=519944/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1244072 CPUtime=1061.91 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 310574 0 0 0 105990 201 0 0 25 0 1 0 252095554 1273929728 310334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 311018 310334 311 324 0 310088 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1244072 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=438216/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1324324 CPUtime=1121.89 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 330636 0 0 0 111974 215 0 0 25 0 1 0 252095554 1356107776 330396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 331081 330396 311 324 0 330151 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1324324 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=347848/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1415348 CPUtime=1181.88 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 353398 0 0 0 117959 229 0 0 25 0 1 0 252095554 1449316352 353158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 353837 353158 311 324 0 352907 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1415348 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=248328/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1514228 CPUtime=1241.86 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 378122 0 0 0 123941 245 0 0 25 0 1 0 252095554 1550569472 377882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 378557 377882 311 324 0 377627 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1514228 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=127048/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1634316 CPUtime=1301.85 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 408150 0 0 0 129920 265 0 0 25 0 1 0 252095554 1673539584 407910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 408579 407910 311 324 0 407649 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1634316 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=84040/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1678312 CPUtime=1361.83 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 419136 0 0 0 135911 272 0 0 25 0 1 0 252095554 1718591488 418896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 419578 418896 311 324 0 418648 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1678312 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=37576/2055920 swapFree=4147196/4192956 [pid=6289] ppid=6287 vsize=1723752 CPUtime=1421.82 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 430503 0 0 0 141904 278 0 0 25 0 1 0 252095554 1765122048 430263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 430938 430263 311 324 0 430008 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1723752 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=14984/2055920 swapFree=4147156/4192956 [pid=6289] ppid=6287 vsize=1770372 CPUtime=1481.79 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 442152 0 0 0 147894 285 0 0 25 0 1 0 252095554 1812860928 441912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 442593 441912 311 324 0 441663 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1770372 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=15240/2055920 swapFree=4147156/4192956 [pid=6289] ppid=6287 vsize=1828300 CPUtime=1541.74 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 456628 0 0 0 153878 296 0 0 25 0 1 0 252095554 1872179200 456388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 457075 456388 311 324 0 456145 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1828300 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1560.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6488 /proc/meminfo: memFree=15624/2055920 swapFree=4147156/4192956 [pid=6289] ppid=6287 vsize=1843320 CPUtime=1559.97 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194304 460391 0 0 0 155699 298 0 0 25 0 1 0 252095554 1887559680 460151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 460830 460151 311 324 0 459900 0 Current children cumulated CPU time (s) 1559.97 Current children cumulated vsize (KiB) 1843320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1560.8 s] /proc/loadavg: 0.99 0.98 0.99 2/79 6489 /proc/meminfo: memFree=1258816/2055920 swapFree=4147156/4192956 [pid=6289] ppid=6287 vsize=0 CPUtime=1560.17 /proc/6289/stat : 6289 (bsolo3.0.17) R 6287 6289 5361 0 -1 4194308 460395 0 0 0 155699 318 0 0 25 0 1 0 252095554 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/6289/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1560.17 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1560.9 CPU time (s): 1560.27 CPU user time (s): 1557 CPU system time (s): 3.2715 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 1843320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1557 system time used= 3.2715 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460395 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= 32336 runsolver used 1.3118 second user time and 3.34749 second system time The end
Begin job on node18 on Tue May 1 17:49:42 UTC 2007 IDJOB= 455346 IDBENCH= 48257 IDSOLVER= 199 FILE ID= node18/455346-1178041782 PBS_JOBID= 4728423 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_25_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455346-1178041782/instance-455346-1178041782.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-455346-1178041782 -o ROOT/results/node18/solver-455346-1178041782 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455346-1178041782/instance-455346-1178041782.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d RANDOM SEED= 261583135 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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: 1761368 kB Buffers: 82152 kB Cached: 117732 kB SwapCached: 14452 kB Active: 167336 kB Inactive: 59464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1761368 kB SwapTotal: 4192956 kB SwapFree: 4147196 kB Dirty: 7092 kB Writeback: 0 kB Mapped: 32620 kB Slab: 53308 kB Committed_AS: 8302096 kB PageTables: 1780 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 node18 on Tue May 1 18:15:45 UTC 2007