Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -19 | 1800.26 | 1801.02 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb |
MD5SUM | fc8bff78845ab9a14b2d06ab749e4dc4 |
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 | -137 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -137 |
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) | 12656 |
Sum of products size (including duplicates) | 25312 |
Number of different products | 6328 |
Sum of products size | 12656 |
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/455331-1178041388/instance-455331-1178041388.opb 0.00/0.00 c File size is 193104 bytes. 0.07/0.08 c Highest Coefficient sum: 1000 0.07/0.08 c Parsing was ok!! 0.07/0.08 c Total parsing time: 0.079 s 0.09/0.10 c Var: 13656 Constr: 26814 13156/1002/12656 Lit: 91592 Watch. Lit: 77938 0.09/0.10 c Obj. Vars: 500 (3.66139 % of total variables) 6.99/7.00 c Pre-processing Time: 7.001 s 6.99/7.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.00 c 0 13656 26814 91592 3 77938 133325 0 0 7.00 6.99/7.00 c Switching off LPR mode. 6.99/7.02 o -1 7.022 6.99/7.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.04 c 0 13656 26815 92092 3 77941 133658 1 0 7.03 6.99/7.04 o -2 7.042 6.99/7.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.06 c 0 13656 26816 92592 3 77945 134158 2 0 7.05 6.99/7.06 o -3 7.063 6.99/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.09 c 0 13656 26817 93092 3 77950 134825 3 0 7.07 6.99/7.09 o -4 7.083 7.09/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.11 c 0 13656 26818 93592 3 77956 135658 4 0 7.09 7.09/7.11 o -5 7.104 7.09/7.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.13 c 0 13656 26819 94092 3 77963 136658 5 0 7.11 7.09/7.13 o -6 7.125 7.09/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.15 c 0 13656 26820 94592 3 77971 137658 6 0 7.13 7.09/7.15 o -7 7.145 7.09/7.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.17 c 0 13656 26821 95092 3 77980 138658 7 0 7.15 7.09/7.17 o -8 7.166 7.09/7.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.19 c 0 13656 26822 95592 3 77990 139658 8 0 7.17 7.09/7.19 o -9 7.187 7.19/7.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.21 c 0 13656 26823 96092 3 78001 140658 9 0 7.19 7.19/7.21 o -10 7.208 7.19/7.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.23 c 0 13656 26824 96592 3 78013 141658 10 0 7.21 7.19/7.23 o -11 7.229 7.19/7.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.25 c 0 13656 26825 97092 3 78026 142658 11 0 7.24 7.19/7.25 o -12 7.25 7.19/7.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.27 c 0 13656 26826 97592 3 78040 143658 12 0 7.26 7.19/7.27 o -13 7.271 7.19/7.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.29 c 0 13656 26827 98092 3 78055 144658 13 0 7.28 7.19/7.29 o -14 7.292 7.29/7.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.32 c 0 13656 26828 98592 3 78071 145658 14 0 7.30 7.29/7.32 o -15 7.313 7.29/7.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.34 c 0 13656 26829 99092 3 78088 146658 15 0 7.32 7.29/7.34 o -16 7.335 7.29/7.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.38 c 0 13656 26830 99592 3 78106 147658 16 0 7.34 7.29/7.38 o -17 7.38 15.88/15.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.88/15.92 c 3 13656 26834 101711 3 78131 147658 20 0 7.39 15.88/15.92 c 103 13656 26934 157425 5 78331 162424 120 12 8.18 15.88/15.92 c 353 13656 27184 302167 11 78831 178667 370 35 9.94 15.88/15.92 c 828 13656 27659 599872 21 79781 196534 845 68 12.11 15.88/15.92 c 1641 13656 28472 1204699 42 81407 216188 1658 108 15.17 15.88/15.92 o -18 15.917 1009.96/1010.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1009.96/1010.39 c 2207 13656 29039 1688330 58 82559 147658 2225 138 15.93 1009.96/1010.39 c 2307 13656 29139 1742003 59 82759 162424 2325 133 17.25 1009.96/1010.39 c 2557 13656 29389 1918335 65 83259 178667 2575 132 19.35 1009.96/1010.39 c 3032 13656 29864 2205936 73 84209 196534 3050 147 20.57 1009.96/1010.39 c 3845 13656 30677 2735134 89 85835 216188 3863 139 27.65 1009.96/1010.39 c 5165 13656 31997 3676896 114 88475 237807 5183 135 38.17 1009.96/1010.39 c 7246 13656 34078 5148491 151 92637 261588 7264 126 57.17 1009.96/1010.39 c 10469 13656 37301 7444203 199 99083 287747 10487 120 86.95 1009.96/1010.39 c 15405 13656 42237 10901289 258 108955 316522 15423 119 128.58 1009.96/1010.39 c 22911 13656 49743 16441365 330 123967 348175 22929 125 181.94 1009.96/1010.39 c 34272 13656 61104 24572451 402 146689 382993 34290 130 262.18 1009.96/1010.39 c 51416 13656 78248 37294527 476 180977 421293 51434 130 392.57 1009.96/1010.39 c 77235 13656 104067 57158009 549 232615 463423 77253 133 578.63 1009.96/1010.39 c 116067 13656 142899 88082756 616 310279 509766 116085 144 803.46 1009.96/1010.39 o -19 1010.06 1800.04/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.70 c 151360 13656 178193 105930186 594 380886 147658 151379 149 1010.07 1800.04/1800.70 c 151460 13656 39788 6781756 170 103905 162424 12974 114 1318.07 1800.04/1800.70 c 151710 13656 40038 6956409 173 104405 178667 13224 114 1319.88 1800.04/1800.70 c 152185 13656 40513 7295519 180 105355 196534 13699 115 1323.11 1800.04/1800.70 c 152998 13656 41326 7869109 190 106981 216188 14512 115 1328.76 1800.04/1800.70 c 154318 13656 42646 8714656 204 109621 237807 15832 115 1335.19 1800.04/1800.70 c 156399 13656 44727 10184131 227 113783 261588 17913 115 1349.87 1800.04/1800.70 c 159622 13656 47950 12385821 258 120229 287747 21136 116 1368.98 1800.04/1800.70 c 164558 13656 52886 15838123 299 130101 316522 26072 117 1401.05 1800.04/1800.70 c 172064 13656 60392 21161000 350 145113 348175 33578 118 1454.05 1800.04/1800.70 c 183425 13656 71753 29420286 410 167835 382993 44939 119 1534.84 1800.04/1800.70 c 200569 13656 88897 42102432 473 202123 421293 62083 121 1655.47 1800.04/1800.71 c Caught signal: 15 1800.04/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 1800.04/1800.71 v -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 1800.04/1800.71 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 1800.04/1800.71 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 1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.71 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999 -x865 1800.04/1800.71 v -x778 -x746 -x628 -x548 -x724 -x808 -x830 -x846 -x910 -x927 -x501 x843 x680 x650 x594 x538 x550 x655 x774 x868 x731 x529 x603 1800.04/1800.71 v x611 -x625 x667 -x670 x712 -x716 -x761 -x929 -x502 -x573 -x570 -x816 -x768 -x892 -x711 -x631 -x797 -x564 -x514 -x566 -x657 1800.04/1800.71 v -x762 -x899 -x503 -x587 -x783 -x803 -x662 -x697 -x653 -x878 -x974 -x898 -x858 -x639 -x812 -x932 -x504 -x668 -x507 -x966 -x557 1800.04/1800.71 v -x915 -x591 -x776 -x645 -x552 -x584 -x605 -x705 -x787 -x935 -x993 -x505 -x946 -x700 -x567 -x967 -x810 -x824 -x949 -x606 -x887 1800.04/1800.71 v -x513 -x531 -x624 -x826 -x902 -x506 -x963 -x544 -x522 -x617 -x718 -x769 -x691 -x604 -x630 -x717 -x726 -x518 -x644 x971 -x763 1800.04/1800.71 v -x558 -x738 -x660 -x689 -x709 -x714 -x922 -x508 -x686 -x734 -x885 -x800 -x704 -x961 -x938 -x652 -x526 -x845 -x509 -x918 -x582 1800.04/1800.71 v -x870 -x766 -x702 -x656 -x515 -x516 -x536 -x608 -x864 -x917 -x986 -x510 -x809 -x719 -x799 -x519 -x989 -x710 -x578 -x533 -x590 1800.04/1800.71 v -x703 -x728 -x739 -x968 -x511 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x520 -x781 -x881 -x965 -x512 -x693 x907 -x589 -x875 1800.04/1800.71 v -x673 -x642 -x882 -x874 -x833 -x861 -x532 -x851 -x876 -x831 -x698 -x988 -x638 -x580 -x823 -x973 -x542 -x921 -x817 -x545 -x663 1800.04/1800.71 v -x755 -x872 -x886 -x807 -x699 -x517 -x706 -x867 -x646 -x741 -x596 -x615 -x721 -x745 -x871 -x622 -x632 -x982 -x727 -x835 -x521 1800.04/1800.71 v -x556 -x524 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x588 -x729 -x811 -x665 -x785 -x972 -x600 -x840 -x537 -x547 -x575 1800.04/1800.71 v -x802 -x752 -x914 -x941 -x725 -x897 -x939 -x527 -x563 -x572 -x585 -x618 -x640 -x654 -x744 -x730 -x754 -x748 -x620 -x569 -x733 1800.04/1800.71 v -x804 -x909 -x601 -x736 -x666 -x742 -x687 -x735 -x834 -x758 -x677 -x708 -x911 -x857 -x634 -x523 -x586 x658 -x649 -x749 -x869 1800.04/1800.71 v -x841 -x955 -x772 -x827 -x904 -x674 -x525 -x844 -x923 -x561 -x599 -x672 -x713 -x767 -x619 -x960 -x788 -x694 -x764 -x643 -x942 1800.04/1800.71 v -x950 -x775 -x661 -x701 -x756 -x528 -x565 -x863 -x990 -x890 -x786 -x994 -x560 -x676 -x947 -x952 -x853 -x985 -x978 -x796 -x765 1800.04/1800.71 v -x592 -x530 -x722 -x856 x581 -x610 -x825 -x937 -x679 -x651 -x626 -x896 -x777 -x597 -x818 -x888 -x976 -x934 -x675 -x849 -x784 1800.04/1800.71 v -x842 -x534 -x981 -x555 -x682 -x773 -x595 -x692 -x850 -x613 -x743 -x815 -x836 -x987 -x793 -x852 -x647 -x847 -x633 -x681 -x980 1800.04/1800.71 v -x903 -x737 -x641 -x664 -x822 -x905 -x948 -x636 -x671 -x688 -x889 -x900 -x539 -x669 -x616 -x759 -x806 -x957 -x979 -x627 -x543 1800.04/1800.71 v -x873 -x574 -x541 -x609 -x607 -x637 -x970 -x956 -x780 -x593 -x602 -x848 -x919 -x621 -x683 -x553 -x944 -x931 -x958 -x996 -x577 1800.04/1800.71 v -x877 -x546 -x814 -x954 -x962 -x795 -x771 -x798 -x549 -x936 -x862 -x953 -x855 -x883 -x551 -x866 -x695 -x659 -x612 -x554 -x975 1800.04/1800.71 v -x998 -x901 -x753 -x648 -x794 -x779 -x913 -x995 -x760 -x819 -x614 -x678 -x805 -x943 -x559 -x751 -x908 -x860 -x740 -x991 -x837 1800.04/1800.71 v -x629 -x684 -x838 -x977 -x839 -x933 -x813 -x820 -x930 -x801 -x916 -x828 -x770 -x854 -x859 -x928 -x832 -x945 -x879 -x894 -x1000 1800.04/1800.71 v -x925 -x696 -x891 -x821 -x685 -x969 -x829 -x583 -x707 -x790 -x906 -x926 -x782 -x940 -x895 -x992 -x715 -x757 -x884 -x623 -x750 1800.04/1800.71 v -x920 -x997 -x959 -x635 -x964 -x951 -x880 -x912 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 47 222746 447 449226 111074 58927877 84260 123 1800.04 1800.04/1800.71 c Objective: -19 1800.04/1800.71 s SATISFIABLE 1800.04/1800.71 c Total time: 1800.04 s
OK -19
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-455331-1178041388 -o ROOT/results/node71/solver-455331-1178041388 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455331-1178041388/instance-455331-1178041388.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 3/64 23732 /proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=11928 CPUtime=0 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 280128176 12214272 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2982 333 279 324 0 2004 0 [startup+0.0805749 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23732 /proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=8088 CPUtime=0.07 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 1407 0 0 0 7 0 0 0 18 0 1 0 280128176 8282112 1377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2022 1378 332 324 0 1044 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8088 [startup+0.101577 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23732 /proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=10436 CPUtime=0.09 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2043 0 0 0 9 0 0 0 18 0 1 0 280128176 10686464 1965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2609 1966 300 324 0 1679 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10436 [startup+0.301604 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23732 /proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=11112 CPUtime=0.29 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2172 0 0 0 28 1 0 0 19 0 1 0 280128176 11378688 2094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2778 2094 304 324 0 1848 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11112 [startup+0.701659 s] /proc/loadavg: 0.92 0.98 0.99 3/64 23732 /proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=11112 CPUtime=0.69 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 68 1 0 0 23 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2778 2095 304 324 0 1848 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11112 [startup+1.50177 s] /proc/loadavg: 0.92 0.98 0.99 2/65 23733 /proc/meminfo: memFree=1729832/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=11112 CPUtime=1.49 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 148 1 0 0 25 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2778 2095 304 324 0 1848 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11112 [startup+3.10199 s] /proc/loadavg: 0.92 0.98 0.99 2/65 23733 /proc/meminfo: memFree=1729704/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=11112 CPUtime=3.09 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 308 1 0 0 25 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2778 2095 304 324 0 1848 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11112 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 2/65 23733 /proc/meminfo: memFree=1729448/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=11112 CPUtime=6.29 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 628 1 0 0 25 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 2778 2095 304 324 0 1848 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11112 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 23733 /proc/meminfo: memFree=1722800/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=19156 CPUtime=12.69 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 4655 0 0 0 1262 7 0 0 25 0 1 0 280128176 19615744 4148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 4789 4148 310 324 0 3859 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19156 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/65 23733 /proc/meminfo: memFree=1696560/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=44092 CPUtime=25.49 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 10896 0 0 0 2540 9 0 0 25 0 1 0 280128176 45150208 10389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 11023 10389 310 324 0 10093 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44092 [startup+51.1025 s] /proc/loadavg: 0.96 0.98 0.99 2/65 23733 /proc/meminfo: memFree=1670064/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=70712 CPUtime=51.07 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 17553 0 0 0 5095 12 0 0 25 0 1 0 280128176 72409088 17046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 17678 17046 310 324 0 16748 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70712 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1619056/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=121372 CPUtime=102.25 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 30210 0 0 0 10206 19 0 0 25 0 1 0 280128176 124284928 29703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 30343 29703 310 324 0 29413 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 121372 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1545712/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=196124 CPUtime=162.23 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 48908 0 0 0 16193 30 0 0 25 0 1 0 280128176 200830976 48401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 49031 48401 310 324 0 48101 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 196124 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1464240/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=275952 CPUtime=222.22 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 68865 0 0 0 22178 44 0 0 25 0 1 0 280128176 282574848 68358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 68988 68358 310 324 0 68058 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 275952 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1391344/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=350964 CPUtime=282.2 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 87616 0 0 0 28164 56 0 0 25 0 1 0 280128176 359387136 87109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 87741 87109 310 324 0 86811 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 350964 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1319984/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=420644 CPUtime=342.18 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 105015 0 0 0 34154 64 0 0 25 0 1 0 280128176 430739456 104508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 105161 104508 310 324 0 104231 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 420644 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1237424/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=502828 CPUtime=402.16 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 125583 0 0 0 40140 76 0 0 25 0 1 0 280128176 514895872 125076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 125707 125076 310 324 0 124777 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 502828 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1162032/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=577768 CPUtime=462.14 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 144300 0 0 0 46125 89 0 0 25 0 1 0 280128176 591634432 143793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 144442 143793 310 324 0 143512 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 577768 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=1081392/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=659304 CPUtime=522.12 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 164695 0 0 0 52112 100 0 0 25 0 1 0 280128176 675127296 164188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 164826 164188 310 324 0 163896 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 659304 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=989744/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=749628 CPUtime=582.1 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 187284 0 0 0 58096 114 0 0 25 0 1 0 280128176 767619072 186777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 187407 186777 310 324 0 186477 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 749628 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=896624/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=842328 CPUtime=642.09 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 210434 0 0 0 64079 130 0 0 25 0 1 0 280128176 862543872 209927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 210582 209927 310 324 0 209652 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 842328 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=508272/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1230044 CPUtime=882 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 307365 0 0 0 88013 187 0 0 25 0 1 0 280128176 1259565056 306858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 307511 306858 310 324 0 306581 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1230044 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=440112/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1298648 CPUtime=941.99 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 324527 0 0 0 94001 198 0 0 25 0 1 0 280128176 1329815552 324020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 324662 324020 310 324 0 323732 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1298648 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=372400/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1365428 CPUtime=1001.97 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 341232 0 0 0 99987 210 0 0 25 0 1 0 280128176 1398198272 340725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 341357 340725 310 324 0 340427 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1365428 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23735 /proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1061.95 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 105985 210 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1372268 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/71 23911 /proc/meminfo: memFree=364280/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1121.86 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 111973 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 1372268 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1181.82 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 117969 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1372268 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1241.8 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 123967 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1372268 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1301.79 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 129966 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1372268 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1361.76 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 135963 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 1372268 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1421.75 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 141962 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1372268 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1481.72 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 147959 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1372268 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1541.7 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 153957 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1372268 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1601.68 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 159955 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1372268 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1661.68 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 165954 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1372268 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1721.66 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 171952 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1372268 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365552/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1781.64 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 177950 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1372268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365488/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=1372268 CPUtime=1800.04 /proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 179790 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23732/statm: 343067 342414 310 324 0 342137 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1372268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/65 23933 /proc/meminfo: memFree=365488/2055920 swapFree=4184188/4192956 [pid=23732] ppid=23730 vsize=0 CPUtime=1800.25 /proc/23732/stat : 23732 (bsolo3.0.17) D 23730 23732 22905 0 -1 4194308 343073 0 0 0 179790 235 0 0 25 0 1 0 280128176 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/23732/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1801.02 CPU time (s): 1800.26 CPU user time (s): 1797.9 CPU system time (s): 2.35264 CPU usage (%): 99.9577 Max. virtual memory (cumulated for all children) (KiB): 1372860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.9 system time used= 2.35264 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 343073 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= 3304 runsolver used 1.45878 second user time and 3.51647 second system time The end
Begin job on node71 on Tue May 1 17:43:09 UTC 2007 IDJOB= 455331 IDBENCH= 48256 IDSOLVER= 199 FILE ID= node71/455331-1178041388 PBS_JOBID= 4728414 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_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455331-1178041388/instance-455331-1178041388.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-455331-1178041388 -o ROOT/results/node71/solver-455331-1178041388 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455331-1178041388/instance-455331-1178041388.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED= 999813160 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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: 1737480 kB Buffers: 87160 kB Cached: 153044 kB SwapCached: 2692 kB Active: 138420 kB Inactive: 113348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737480 kB SwapTotal: 4192956 kB SwapFree: 4184188 kB Dirty: 6776 kB Writeback: 0 kB Mapped: 15872 kB Slab: 52664 kB Committed_AS: 6259028 kB PageTables: 1448 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 node71 on Tue May 1 18:13:11 UTC 2007