Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -19 | 1800.21 | 1800.78 |
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.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/455325-1178041191/instance-455325-1178041191.opb 0.00/0.00 c File size is 193104 bytes. 0.06/0.08 c Highest Coefficient sum: 1000 0.06/0.08 c Parsing was ok!! 0.06/0.08 c Total parsing time: 0.078 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.88/6.93 c Pre-processing Time: 6.924 s 6.88/6.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.93 c 0 13656 26814 91592 3 77938 133325 0 0 6.92 6.88/6.93 c Switching off LPR mode. 6.88/6.96 o -1 6.955 6.88/6.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.99 c 0 13656 26815 92092 3 77941 133658 1 0 6.96 6.88/6.99 o -2 6.986 6.98/7.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.02 c 0 13656 26816 92592 3 77945 134158 2 0 6.99 6.98/7.02 o -3 7.016 6.98/7.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.05 c 0 13656 26817 93092 3 77950 134825 3 0 7.02 6.98/7.05 o -4 7.046 6.98/7.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.08 c 0 13656 26818 93592 3 77956 135658 4 0 7.05 6.98/7.08 o -5 7.076 7.08/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.11 c 0 13656 26819 94092 3 77963 136658 5 0 7.08 7.08/7.11 o -6 7.106 7.08/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.14 c 0 13656 26820 94592 3 77971 137658 6 0 7.11 7.08/7.14 o -7 7.136 7.08/7.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.17 c 0 13656 26821 95092 3 77980 138658 7 0 7.14 7.08/7.17 o -8 7.165 7.18/7.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.20 c 0 13656 26822 95592 3 77990 139658 8 0 7.17 7.18/7.20 o -9 7.195 7.18/7.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.23 c 0 13656 26823 96092 3 78001 140658 9 0 7.20 7.18/7.23 o -10 7.225 7.18/7.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.26 c 0 13656 26824 96592 3 78013 141658 10 0 7.23 7.18/7.26 o -11 7.255 7.18/7.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.29 c 0 13656 26825 97092 3 78026 142658 11 0 7.26 7.18/7.29 o -12 7.284 7.28/7.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.32 c 0 13656 26826 97592 3 78040 143658 12 0 7.29 7.28/7.32 o -13 7.314 7.28/7.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.35 c 0 13656 26827 98092 3 78055 144658 13 0 7.32 7.28/7.35 o -14 7.343 7.28/7.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.38 c 0 13656 26828 98592 3 78071 145658 14 0 7.35 7.28/7.38 o -15 7.373 7.38/7.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.41 c 0 13656 26829 99092 3 78088 146658 15 0 7.38 7.38/7.41 o -16 7.402 7.38/7.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.46 c 0 13656 26830 99592 3 78106 147658 16 0 7.41 7.38/7.46 o -17 7.456 15.88/15.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.88/15.94 c 3 13656 26834 101711 3 78131 147658 20 0 7.46 15.88/15.94 c 103 13656 26934 157425 5 78331 162424 120 12 8.26 15.88/15.94 c 353 13656 27184 302167 11 78831 178667 370 35 10.01 15.88/15.94 c 828 13656 27659 599872 21 79781 196534 845 68 12.17 15.88/15.94 c 1641 13656 28472 1204699 42 81407 216188 1658 108 15.18 15.88/15.94 o -18 15.933 1012.93/1013.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1012.93/1013.23 c 2207 13656 29039 1688330 58 82559 147658 2225 138 15.94 1012.93/1013.23 c 2307 13656 29139 1742003 59 82759 162424 2325 133 17.27 1012.93/1013.23 c 2557 13656 29389 1918335 65 83259 178667 2575 132 19.37 1012.93/1013.23 c 3032 13656 29864 2205936 73 84209 196534 3050 147 20.59 1012.93/1013.23 c 3845 13656 30677 2735134 89 85835 216188 3863 138 27.71 1012.93/1013.23 c 5165 13656 31997 3676896 114 88475 237807 5183 135 38.17 1012.93/1013.23 c 7246 13656 34078 5148491 151 92637 261588 7264 126 57.18 1012.93/1013.23 c 10469 13656 37301 7444203 199 99083 287747 10487 120 86.98 1012.93/1013.23 c 15405 13656 42237 10901289 258 108955 316522 15423 119 128.64 1012.93/1013.23 c 22911 13656 49743 16441365 330 123967 348175 22929 125 182.03 1012.93/1013.23 c 34272 13656 61104 24572451 402 146689 382993 34290 130 262.49 1012.93/1013.23 c 51416 13656 78248 37294527 476 180977 421293 51434 130 393.16 1012.93/1013.23 c 77235 13656 104067 57158009 549 232615 463423 77253 133 579.78 1012.93/1013.23 c 116067 13656 142899 88082756 616 310279 509766 116085 144 805.65 1012.93/1013.23 o -19 1012.97 1799.93/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.56 c 151360 13656 178193 105930186 594 380886 147658 151379 149 1012.98 1799.93/1800.56 c 151460 13656 39788 6781756 170 103905 162424 12974 114 1321.61 1799.93/1800.56 c 151710 13656 40038 6956409 173 104405 178667 13224 114 1323.43 1799.93/1800.56 c 152185 13656 40513 7295519 180 105355 196534 13699 114 1326.68 1799.93/1800.56 c 152998 13656 41326 7869109 190 106981 216188 14512 114 1332.39 1799.93/1800.56 c 154318 13656 42646 8714656 204 109621 237807 15832 115 1338.79 1799.93/1800.56 c 156399 13656 44727 10184131 227 113783 261588 17913 115 1353.57 1799.93/1800.56 c 159622 13656 47950 12385821 258 120229 287747 21136 116 1372.72 1799.93/1800.56 c 164558 13656 52886 15838123 299 130101 316522 26072 117 1404.78 1799.93/1800.56 c 172064 13656 60392 21161000 350 145113 348175 33578 118 1457.91 1799.93/1800.56 c 183425 13656 71753 29420286 410 167835 382993 44939 119 1538.91 1799.93/1800.56 c 200569 13656 88897 42102432 473 202123 421293 62083 120 1659.87 1799.93/1800.56 c Resources Exceeded 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1799.93/1800.56 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1799.93/1800.56 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1799.93/1800.56 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1799.93/1800.56 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1799.93/1800.56 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1799.93/1800.56 v -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1799.93/1800.56 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1799.93/1800.56 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1799.93/1800.56 v -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1799.93/1800.56 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1799.93/1800.56 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1799.93/1800.56 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1799.93/1800.56 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1799.93/1800.56 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1799.93/1800.56 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1799.93/1800.56 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1799.93/1800.56 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1799.93/1800.56 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999 -x865 1799.93/1800.56 v -x778 -x746 -x628 -x548 -x724 -x808 -x830 -x846 -x910 -x927 -x501 x843 x680 x650 x594 x538 x550 x655 x774 x868 x731 x529 x603 1799.93/1800.56 v x611 -x625 x667 -x670 x712 -x716 -x761 -x929 -x502 -x573 -x570 -x816 -x768 -x892 -x711 -x631 -x797 -x564 -x514 -x566 -x657 1799.93/1800.56 v -x762 -x899 -x503 -x587 -x783 -x803 -x662 -x697 -x653 -x878 -x974 -x898 -x858 -x639 -x812 -x932 -x504 -x668 -x507 -x966 -x557 1799.93/1800.56 v -x915 -x591 -x776 -x645 -x552 -x584 -x605 -x705 -x787 -x935 -x993 -x505 -x946 -x700 -x567 -x967 -x810 -x824 -x949 -x606 -x887 1799.93/1800.56 v -x513 -x531 -x624 -x826 -x902 -x506 -x963 -x544 -x522 -x617 -x718 -x769 -x691 -x604 -x630 -x717 -x726 -x518 -x644 x971 -x763 1799.93/1800.56 v -x558 -x738 -x660 -x689 -x709 -x714 -x922 -x508 -x686 -x734 -x885 -x800 -x704 -x961 -x938 -x652 -x526 -x845 -x509 -x918 -x582 1799.93/1800.56 v -x870 -x766 -x702 -x656 -x515 -x516 -x536 -x608 -x864 -x917 -x986 -x510 -x809 -x719 -x799 -x519 -x989 -x710 -x578 -x533 -x590 1799.93/1800.56 v -x703 -x728 -x739 -x968 -x511 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x520 -x781 -x881 -x965 -x512 -x693 x907 -x589 -x875 1799.93/1800.56 v -x673 -x642 -x882 -x874 -x833 -x861 -x532 -x851 -x876 -x831 -x698 -x988 -x638 -x580 -x823 -x973 -x542 -x921 -x817 -x545 -x663 1799.93/1800.56 v -x755 -x872 -x886 -x807 -x699 -x517 -x706 -x867 -x646 -x741 -x596 -x615 -x721 -x745 -x871 -x622 -x632 -x982 -x727 -x835 -x521 1799.93/1800.56 v -x556 -x524 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x588 -x729 -x811 -x665 -x785 -x972 -x600 -x840 -x537 -x547 -x575 1799.93/1800.56 v -x802 -x752 -x914 -x941 -x725 -x897 -x939 -x527 -x563 -x572 -x585 -x618 -x640 -x654 -x744 -x730 -x754 -x748 -x620 -x569 -x733 1799.93/1800.56 v -x804 -x909 -x601 -x736 -x666 -x742 -x687 -x735 -x834 -x758 -x677 -x708 -x911 -x857 -x634 -x523 -x586 x658 -x649 -x749 -x869 1799.93/1800.56 v -x841 -x955 -x772 -x827 -x904 -x674 -x525 -x844 -x923 -x561 -x599 -x672 -x713 -x767 -x619 -x960 -x788 -x694 -x764 -x643 -x942 1799.93/1800.56 v -x950 -x775 -x661 -x701 -x756 -x528 -x565 -x863 -x990 -x890 -x786 -x994 -x560 -x676 -x947 -x952 -x853 -x985 -x978 -x796 -x765 1799.93/1800.56 v -x592 -x530 -x722 -x856 x581 -x610 -x825 -x937 -x679 -x651 -x626 -x896 -x777 -x597 -x818 -x888 -x976 -x934 -x675 -x849 -x784 1799.93/1800.56 v -x842 -x534 -x981 -x555 -x682 -x773 -x595 -x692 -x850 -x613 -x743 -x815 -x836 -x987 -x793 -x852 -x647 -x847 -x633 -x681 -x980 1799.93/1800.56 v -x903 -x737 -x641 -x664 -x822 -x905 -x948 -x636 -x671 -x688 -x889 -x900 -x539 -x669 -x616 -x759 -x806 -x957 -x979 -x627 -x543 1799.93/1800.56 v -x873 -x574 -x541 -x609 -x607 -x637 -x970 -x956 -x780 -x593 -x602 -x848 -x919 -x621 -x683 -x553 -x944 -x931 -x958 -x996 -x577 1799.93/1800.56 v -x877 -x546 -x814 -x954 -x962 -x795 -x771 -x798 -x549 -x936 -x862 -x953 -x855 -x883 -x551 -x866 -x695 -x659 -x612 -x554 -x975 1799.93/1800.56 v -x998 -x901 -x753 -x648 -x794 -x779 -x913 -x995 -x760 -x819 -x614 -x678 -x805 -x943 -x559 -x751 -x908 -x860 -x740 -x991 -x837 1799.93/1800.56 v -x629 -x684 -x838 -x977 -x839 -x933 -x813 -x820 -x930 -x801 -x916 -x828 -x770 -x854 -x859 -x928 -x832 -x945 -x879 -x894 -x1000 1799.93/1800.56 v -x925 -x696 -x891 -x821 -x685 -x969 -x829 -x583 -x707 -x790 -x906 -x926 -x782 -x940 -x895 -x992 -x715 -x757 -x884 -x623 -x750 1799.93/1800.56 v -x920 -x997 -x959 -x635 -x964 -x951 -x880 -x912 1799.93/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.56 c 47 222004 447 448483 110332 58329142 83518 123 1800.00 1799.93/1800.56 c Objective: -19 1799.93/1800.56 s SATISFIABLE 1799.93/1800.56 c Total time: 1800 s
OK -19
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-455325-1178041191 -o ROOT/results/node72/solver-455325-1178041191 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455325-1178041191/instance-455325-1178041191.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.99 1.04 1.10 3/77 30733 /proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=11928 CPUtime=0 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 280157583 12214272 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2982 336 281 324 0 2003 0 [startup+0.071626 s] /proc/loadavg: 0.99 1.04 1.10 3/77 30733 /proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=7812 CPUtime=0.06 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 1315 0 0 0 6 0 0 0 18 0 1 0 280157583 7999488 1284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 1953 1284 329 324 0 974 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7812 [startup+0.101628 s] /proc/loadavg: 0.99 1.04 1.10 3/77 30733 /proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=10832 CPUtime=0.09 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2116 0 0 0 9 0 0 0 18 0 1 0 280157583 11091968 2037 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2708 2039 302 324 0 1777 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10832 [startup+0.301646 s] /proc/loadavg: 0.99 1.04 1.10 3/77 30733 /proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=11112 CPUtime=0.29 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2175 0 0 0 29 0 0 0 19 0 1 0 280157583 11378688 2096 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2778 2096 306 324 0 1847 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11112 [startup+0.701683 s] /proc/loadavg: 0.99 1.04 1.10 3/77 30733 /proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=11112 CPUtime=0.69 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 68 1 0 0 23 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2778 2097 306 324 0 1847 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11112 [startup+1.50176 s] /proc/loadavg: 0.99 1.04 1.10 2/78 30734 /proc/meminfo: memFree=1710552/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=11112 CPUtime=1.49 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 148 1 0 0 25 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2778 2097 306 324 0 1847 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11112 [startup+3.1019 s] /proc/loadavg: 0.99 1.04 1.10 2/78 30734 /proc/meminfo: memFree=1710424/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=11112 CPUtime=3.09 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 308 1 0 0 25 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2778 2097 306 324 0 1847 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11112 [startup+6.30119 s] /proc/loadavg: 0.99 1.04 1.10 2/78 30734 /proc/meminfo: memFree=1710104/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=11112 CPUtime=6.28 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 626 2 0 0 25 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 2778 2097 306 324 0 1847 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11112 [startup+12.7018 s] /proc/loadavg: 0.99 1.04 1.10 2/78 30734 /proc/meminfo: memFree=1703536/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=19032 CPUtime=12.68 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 4633 0 0 0 1250 18 0 0 25 0 1 0 280157583 19488768 4125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 4758 4125 312 324 0 3827 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19032 [startup+25.5019 s] /proc/loadavg: 0.99 1.04 1.10 2/78 30734 /proc/meminfo: memFree=1677360/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=44092 CPUtime=25.47 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 10894 0 0 0 2525 22 0 0 25 0 1 0 280157583 45150208 10386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 11023 10386 312 324 0 10092 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 44092 [startup+51.1013 s] /proc/loadavg: 0.99 1.03 1.09 2/78 30734 /proc/meminfo: memFree=1650928/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=70712 CPUtime=51.06 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 17550 0 0 0 5079 27 0 0 25 0 1 0 280157583 72409088 17042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 17678 17042 312 324 0 16747 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 70712 [startup+102.306 s] /proc/loadavg: 0.99 1.03 1.09 2/78 30734 /proc/meminfo: memFree=1599920/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=121372 CPUtime=102.26 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 30213 0 0 0 10190 36 0 0 25 0 1 0 280157583 124284928 29705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 30343 29705 312 324 0 29412 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 121372 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.08 2/78 30734 /proc/meminfo: memFree=1526704/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=196124 CPUtime=162.24 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 48904 0 0 0 16175 49 0 0 25 0 1 0 280157583 200830976 48396 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 49031 48396 312 324 0 48100 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 196124 [startup+222.302 s] /proc/loadavg: 0.99 1.01 1.08 2/78 30734 /proc/meminfo: memFree=1445232/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=275828 CPUtime=222.23 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 68830 0 0 0 22161 62 0 0 25 0 1 0 280157583 282447872 68322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 68957 68322 312 324 0 68026 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 275828 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.07 2/78 30734 /proc/meminfo: memFree=1373616/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=349936 CPUtime=282.21 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 87343 0 0 0 28148 73 0 0 25 0 1 0 280157583 358334464 86835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 87484 86835 312 324 0 86553 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 349936 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.06 2/78 30734 /proc/meminfo: memFree=1301616/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=419400 CPUtime=342.19 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 104724 0 0 0 34134 85 0 0 25 0 1 0 280157583 429465600 104216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 104850 104216 312 324 0 103919 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 419400 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.06 2/78 30734 /proc/meminfo: memFree=1218608/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=502452 CPUtime=402.18 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 125473 0 0 0 40120 98 0 0 25 0 1 0 280157583 514510848 124965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 125613 124965 312 324 0 124682 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 502452 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.05 2/78 30734 /proc/meminfo: memFree=1143408/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=577144 CPUtime=462.17 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 144156 0 0 0 46103 114 0 0 25 0 1 0 280157583 590995456 143648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 144286 143648 312 324 0 143355 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 577144 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.05 2/78 30734 /proc/meminfo: memFree=1062960/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=657908 CPUtime=522.15 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 164353 0 0 0 52086 129 0 0 25 0 1 0 280157583 673697792 163845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 164477 163845 312 324 0 163546 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 657908 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.04 2/78 30734 /proc/meminfo: memFree=972784/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=747992 CPUtime=582.14 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 186855 0 0 0 58070 144 0 0 25 0 1 0 280157583 765943808 186347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 186998 186347 312 324 0 186067 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 747992 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.03 2/78 30734 /proc/meminfo: memFree=879280/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=840580 CPUtime=642.12 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 210002 0 0 0 64055 157 0 0 25 0 1 0 280157583 860753920 209494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 210145 209494 312 324 0 209214 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 840580 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.01 2/78 30734 /proc/meminfo: memFree=490928/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1228636 CPUtime=882.06 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 307033 0 0 0 87982 224 0 0 25 0 1 0 280157583 1258123264 306525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 307159 306525 312 324 0 306228 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1228636 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.01 2/78 30734 /proc/meminfo: memFree=423664/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1295584 CPUtime=942.05 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 323774 0 0 0 93963 242 0 0 25 0 1 0 280157583 1326678016 323266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 323896 323266 312 324 0 322965 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1295584 [startup+1002.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 30734 /proc/meminfo: memFree=354672/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1364788 CPUtime=1002.03 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 341070 0 0 0 99948 255 0 0 25 0 1 0 280157583 1397542912 340562 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 341197 340562 312 324 0 340266 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1364788 [startup+1062.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 30734 /proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1062.02 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 105944 258 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1372268 [startup+1122.3 s] /proc/loadavg: 1.17 1.05 1.01 2/78 30734 /proc/meminfo: memFree=346352/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1122 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 111942 258 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1372268 [startup+1182.3 s] /proc/loadavg: 1.11 1.06 1.01 2/78 30734 /proc/meminfo: memFree=346416/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1181.99 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 117941 258 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1372268 [startup+1242.3 s] /proc/loadavg: 1.04 1.04 1.00 2/78 30734 /proc/meminfo: memFree=346416/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1241.98 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 123939 259 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134560215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1372268 [startup+1302.3 s] /proc/loadavg: 1.01 1.03 1.00 2/84 30898 /proc/meminfo: memFree=345064/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1301.88 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 129929 259 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1372268 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 30936 /proc/meminfo: memFree=346096/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1361.84 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 135922 262 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1372268 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/78 30936 /proc/meminfo: memFree=346096/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1421.83 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 141919 264 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1372268 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30936 /proc/meminfo: memFree=346096/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1481.81 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 147914 267 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1372268 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30936 /proc/meminfo: memFree=346160/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1541.79 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 153910 269 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1372268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30936 /proc/meminfo: memFree=346160/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1601.78 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 159906 272 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1372268 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30936 /proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1661.76 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 165902 274 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2965656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1372268 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30936 /proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1721.75 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 171899 276 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1372268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30936 /proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=1372268 CPUtime=1781.73 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 177894 279 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 343067 342416 312 324 0 342136 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1372268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30936 /proc/meminfo: memFree=600560/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=0 CPUtime=1800.04 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194308 343073 0 0 0 179719 285 0 0 17 0 1 0 280157583 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30936 /proc/meminfo: memFree=600560/2055920 swapFree=4157100/4192956 [pid=30733] ppid=30731 vsize=0 CPUtime=1800.14 /proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194308 343073 0 0 0 179719 295 0 0 18 0 1 0 280157583 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30733/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.21 CPU user time (s): 1797.2 CPU system time (s): 3.01454 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 1372860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.2 system time used= 3.01454 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= 14 involuntary context switches= 38327 runsolver used 1.37079 second user time and 4.02939 second system time The end
Begin job on node72 on Tue May 1 17:39:51 UTC 2007 IDJOB= 455325 IDBENCH= 48256 IDSOLVER= 163 FILE ID= node72/455325-1178041191 PBS_JOBID= 4728446 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_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455325-1178041191/instance-455325-1178041191.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-455325-1178041191 -o ROOT/results/node72/solver-455325-1178041191 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455325-1178041191/instance-455325-1178041191.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED= 304624837 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1718200 kB Buffers: 107628 kB Cached: 137252 kB SwapCached: 17124 kB Active: 151976 kB Inactive: 120416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1718200 kB SwapTotal: 4192956 kB SwapFree: 4157100 kB Dirty: 6952 kB Writeback: 0 kB Mapped: 33676 kB Slab: 50836 kB Committed_AS: 6383300 kB PageTables: 1804 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 node72 on Tue May 1 18:09:54 UTC 2007