Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -23 | 1435 | 1435.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_3.opb |
MD5SUM | 9fd52bec996ed780d55ecea52b6ce11a |
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 | -85 |
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 | -85 |
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) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
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/455610-1178046408/instance-455610-1178046408.opb 0.00/0.00 c File size is 432411 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.189 s 0.19/0.24 c Var: 32444 Constr: 64390 31944/1002/31444 Lit: 223108 Watch. Lit: 190666 0.19/0.24 c Obj. Vars: 500 (1.54112 % of total variables) 180.23/180.32 c Pre-processing Time: 180.253 s 180.23/180.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.23/180.33 c 0 32444 64390 223108 3 190666 529324 0 0 180.25 180.23/180.33 c Switching off LPR mode. 180.23/180.39 o -1 180.316 180.32/180.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.32/180.47 c 0 32444 64391 223608 3 190669 529657 1 0 180.33 180.32/180.47 o -2 180.398 180.42/180.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.42/180.55 c 0 32444 64392 224108 3 190673 530157 2 0 180.41 180.42/180.55 o -3 180.479 180.52/180.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.52/180.63 c 0 32444 64393 224608 3 190678 530824 3 0 180.49 180.52/180.63 o -4 180.561 180.62/180.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.62/180.71 c 0 32444 64394 225108 3 190684 531657 4 0 180.58 180.62/180.71 o -5 180.642 180.62/180.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.62/180.79 c 0 32444 64395 225608 3 190691 532657 5 0 180.66 180.62/180.79 o -6 180.725 180.72/180.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.72/180.88 c 0 32444 64396 226108 3 190699 533657 6 0 180.74 180.72/180.88 o -7 180.807 180.82/180.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.82/180.96 c 0 32444 64397 226608 3 190708 534657 7 0 180.82 180.82/180.96 o -8 180.889 180.91/181.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.91/181.04 c 0 32444 64398 227108 3 190718 535657 8 0 180.91 180.91/181.04 o -9 180.97 181.02/181.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.02/181.12 c 0 32444 64399 227608 3 190729 536657 9 0 180.99 181.02/181.12 o -10 181.052 181.12/181.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.20 c 0 32444 64400 228108 3 190741 537657 10 0 181.07 181.12/181.20 o -11 181.134 181.12/181.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.28 c 0 32444 64401 228608 3 190754 538657 11 0 181.15 181.12/181.28 o -12 181.215 181.22/181.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.22/181.37 c 0 32444 64402 229108 3 190768 539657 12 0 181.23 181.22/181.37 o -13 181.296 181.32/181.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.32/181.45 c 0 32444 64403 229608 3 190783 540657 13 0 181.31 181.32/181.45 o -14 181.377 181.43/181.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.43/181.53 c 0 32444 64404 230108 3 190799 541657 14 0 181.39 181.43/181.53 o -15 181.458 181.52/181.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.52/181.61 c 0 32444 64405 230608 3 190816 542657 15 0 181.48 181.52/181.61 o -16 181.539 181.52/181.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.52/181.69 c 0 32444 64406 231108 3 190834 543657 16 0 181.56 181.52/181.69 o -17 181.62 181.62/181.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.62/181.77 c 0 32444 64407 231608 3 190853 544657 17 0 181.64 181.62/181.77 o -18 181.701 181.72/181.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.72/181.85 c 0 32444 64408 232108 3 190873 545657 18 0 181.72 181.72/181.85 o -19 181.782 181.82/181.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.82/181.93 c 0 32444 64409 232608 3 190894 546657 19 0 181.80 181.82/181.93 o -20 181.862 181.92/182.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.92/182.05 c 0 32444 64410 233108 3 190916 547657 20 0 181.88 181.92/182.05 o -21 181.984 193.52/193.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 193.52/193.64 c 10 32444 64421 239081 3 190959 547657 31 0 182.00 193.52/193.64 c 110 32444 64521 298236 4 191159 602423 131 0 183.02 193.52/193.64 c 360 32444 64771 441130 6 191659 662666 381 1 184.52 193.52/193.64 c 835 32444 65246 751750 11 192609 728933 856 4 188.08 193.52/193.64 c 1648 32444 66059 1358148 20 194235 801827 1669 8 192.39 193.52/193.64 o -22 193.571 830.01/830.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 830.01/830.30 c 2071 32444 66483 1715953 25 195105 547657 2093 10 193.59 830.01/830.30 c 2171 32444 66583 1765953 26 195305 602423 2193 11 193.86 830.01/830.30 c 2421 32444 66833 1890953 28 195805 662666 2443 12 194.22 830.01/830.30 c 2896 32444 67308 2175244 32 196755 728933 2918 14 198.20 830.01/830.30 c 3709 32444 68121 2686431 39 198381 801827 3731 18 205.27 830.01/830.30 c 5029 32444 69441 3530742 50 201021 882010 5051 23 216.62 830.01/830.30 c 7110 32444 71522 4867108 68 205183 970212 7132 30 234.30 830.01/830.30 c 10333 32444 74745 6943687 92 211629 500000 10355 39 261.49 830.01/830.30 c 15269 32444 79681 9991465 125 221501 550001 15291 52 293.20 830.01/830.30 c 22775 32444 87187 14805068 169 236513 605002 22797 65 350.06 830.01/830.30 c 34136 32444 98548 22176782 225 259235 665503 34158 80 421.55 830.01/830.30 c 51280 32444 115692 32922261 284 293523 732054 51302 100 511.73 830.01/830.30 c 77099 32444 141511 48813856 344 345161 805260 77121 123 624.68 830.01/830.30 c 115931 32444 180343 70675778 391 422825 885787 115953 154 751.61 830.01/830.30 o -23 830.022 1434.70/1435.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1434.70/1435.30 c 139760 32444 204173 82787810 405 470508 547657 139783 168 830.05 1434.70/1435.30 c 139860 32444 204273 82845086 405 470708 602423 139883 168 831.62 1434.70/1435.30 c 140110 32444 204523 83014504 405 471208 662666 140133 167 834.16 1434.70/1435.30 c 140585 32444 204998 83338624 406 472158 728933 140608 167 839.23 1434.70/1435.30 c 141398 32444 205811 83809989 407 473784 801827 141421 167 844.83 1434.70/1435.30 c 142718 32444 207131 84612183 408 476424 882010 142741 167 854.58 1434.70/1435.30 c 144799 32444 209212 85911548 410 480586 970212 144822 166 869.74 1434.70/1435.30 c 148022 32444 212435 87861208 413 487032 500000 148045 166 891.55 1434.70/1435.30 c 152958 32444 217371 90868961 418 496904 550001 152981 165 925.64 1434.70/1435.30 c 160464 32444 224877 95345880 423 511916 605002 160487 165 968.28 1434.70/1435.30 c 171825 32444 236238 102704450 434 534638 665503 171848 163 1050.48 1434.70/1435.30 c 188969 32444 253382 113670087 448 568926 732054 188992 163 1152.61 1434.70/1435.30 c 214788 32444 279201 131232486 470 620564 805260 214811 167 1280.80 1434.70/1435.30 c Caught signal: 15 1434.70/1435.30 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 1434.70/1435.30 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 -x59 1434.70/1435.30 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 1434.70/1435.30 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1434.70/1435.30 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1434.70/1435.30 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1434.70/1435.30 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1434.70/1435.30 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1434.70/1435.30 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1434.70/1435.30 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1434.70/1435.30 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1434.70/1435.30 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1434.70/1435.30 v -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1434.70/1435.30 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1434.70/1435.30 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1434.70/1435.30 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1434.70/1435.30 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1434.70/1435.30 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1434.70/1435.30 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1434.70/1435.30 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1434.70/1435.30 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1434.70/1435.30 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1434.70/1435.30 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 -x877 1434.70/1435.30 v -x802 -x765 -x859 -x925 -x894 -x740 -x603 -x842 -x976 -x702 -x896 -x516 -x643 -x939 -x759 -x774 -x648 -x886 -x512 -x528 -x533 1434.70/1435.30 v -x593 -x604 -x613 -x615 -x624 -x649 -x657 -x727 -x760 -x764 -x795 -x978 -x501 x938 x969 x799 x955 x715 -x637 -x975 -x507 x562 1434.70/1435.30 v -x916 -x579 x791 -x569 x695 -x993 -x588 -x889 -x948 x782 -x653 x923 x983 x900 -x790 -x556 -x676 -x690 x732 x746 -x772 -x839 1434.70/1435.30 v -x866 x943 -x502 -x625 -x838 -x549 -x898 -x837 -x786 -x687 -x805 -x936 -x642 -x872 -x572 -x968 -x878 -x634 -x883 -x809 -x924 1434.70/1435.30 v -x951 -x796 -x591 -x812 -x743 -x816 -x517 -x523 -x555 -x620 -x636 -x654 -x679 -x684 -x710 -x748 -x881 -x503 -x854 x567 -x807 1434.70/1435.30 v -x905 -x707 -x741 x992 -x914 -x927 -x907 x769 -x999 -x874 x646 -x984 -x757 x806 -x559 -x830 x899 -x994 -x551 -x584 -x594 -x600 1434.70/1435.30 v -x635 -x749 -x784 -x890 -x919 -x960 -x504 -x622 -x661 -x817 -x728 -x623 -x804 -x681 -x882 -x724 -x672 -x973 -x950 -x553 -x739 1434.70/1435.30 v -x931 -x535 -x544 -x689 -x945 -x511 -x522 -x527 -x571 -x597 -x608 -x619 -x705 -x770 -x851 -x876 -x505 -x852 -x871 -x602 -x716 1434.70/1435.30 v -x723 -x536 -x704 -x586 -x514 -x785 -x988 -x563 -x607 -x673 -x763 -x835 -x935 -x506 -x771 -x949 -x712 -x811 -x893 -x691 -x869 1434.70/1435.30 v -x789 -x944 -x828 -x844 -x590 -x548 -x985 -x626 -x526 -x545 -x557 -x558 -x696 -x725 -x756 -x767 -x773 -x820 -x887 -x970 -x974 1434.70/1435.30 v -x982 -x1000 -x775 -x714 -x708 -x840 -x667 -x843 -x858 -x800 -x932 -x940 -x543 -x605 -x616 -x652 -x693 -x735 -x736 -x787 1434.70/1435.30 v -x920 -x947 -x954 -x508 -x956 -x660 -x692 -x601 -x564 -x645 -x639 -x745 -x783 -x534 -x989 -x846 -x515 -x538 -x542 -x546 -x609 1434.70/1435.30 v -x644 -x698 -x718 -x875 -x912 -x917 -x934 -x509 -x659 -x823 x833 -x821 -x962 -x808 -x513 -x733 -x928 -x778 -x762 -x967 -x711 1434.70/1435.30 v -x822 -x930 -x510 -x596 -x792 -x981 -x709 -x578 -x998 -x675 -x908 -x566 -x582 -x656 -x761 -x794 -x867 -x901 -x904 -x942 -x863 1434.70/1435.30 v -x815 -x726 -x618 -x521 -x703 -x750 -x958 -x580 -x664 -x700 -x525 -x599 -x610 -x658 -x699 -x738 -x758 -x768 -x781 -x873 -x902 1434.70/1435.30 v -x891 -x633 -x665 -x581 -x921 -x575 -x713 -x963 -x539 -x819 -x531 -x606 -x631 -x666 -x697 -x810 -x829 -x777 -x663 -x720 -x906 1434.70/1435.30 v -x990 -x780 -x532 -x834 -x814 -x754 -x614 -x628 -x650 -x688 -x729 -x798 -x861 -x627 -x730 -x524 -x957 -x855 -x722 -x903 -x831 1434.70/1435.30 v -x621 -x706 -x788 -x801 -x911 -x895 -x832 -x682 -x537 -x574 -x547 -x647 -x734 -x862 -x721 -x825 -x964 -x617 -x694 -x779 -x797 1434.70/1435.30 v -x864 -x674 -x565 -x731 -x529 -x568 -x595 -x630 -x849 -x518 -x922 -x884 -x755 -x560 -x552 -x662 -x519 -x540 -x550 -x857 -x561 1434.70/1435.30 v -x793 -x997 -x655 -x752 -x853 -x520 -x897 -x885 -x946 -x530 -x751 -x670 -x965 -x937 -x915 -x677 -x685 -x641 -x961 -x856 -x611 1434.70/1435.30 v -x909 -x892 -x870 -x592 -x678 -x826 -x612 -x813 -x996 -x583 -x671 -x680 -x744 -x977 -x910 -x719 -x589 -x836 -x541 -x971 -x980 1434.70/1435.30 v -x737 -x865 x818 -x683 -x766 -x987 -x929 -x585 -x640 -x577 -x952 -x554 -x570 -x629 -x668 -x995 -x913 -x953 -x888 -x686 -x879 1434.70/1435.30 v -x651 -x847 -x850 -x933 -x638 -x848 -x598 -x827 -x979 -x742 -x918 -x824 -x803 -x717 -x860 -x972 -x841 -x576 -x959 -x991 -x632 1434.70/1435.30 v -x880 -x753 -x587 -x776 -x845 -x868 -x701 -x966 1434.70/1435.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1434.70/1435.30 c 52 232019 508 833730 296432 141615790 232042 161 1434.71 1434.70/1435.30 c Objective: -23 1434.70/1435.30 s SATISFIABLE 1434.70/1435.30 c Total time: 1434.71 s
OK -23
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-455610-1178046408 -o ROOT/results/node58/solver-455610-1178046408 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455610-1178046408/instance-455610-1178046408.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 0.98 0.99 3/64 15405 /proc/meminfo: memFree=1824776/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=12160 CPUtime=0 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 252550492 12451840 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 3040 335 281 324 0 2003 0 [startup+0.0368831 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15405 /proc/meminfo: memFree=1824776/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=6136 CPUtime=0.03 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 832 0 0 0 3 0 0 0 18 0 1 0 252550492 6283264 801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 1534 801 309 324 0 497 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6136 [startup+0.102893 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15405 /proc/meminfo: memFree=1824776/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=9660 CPUtime=0.09 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 1756 0 0 0 9 0 0 0 18 0 1 0 252550492 9891840 1725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 2415 1726 346 324 0 1378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9660 [startup+0.302926 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15405 /proc/meminfo: memFree=1824776/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21204 CPUtime=0.29 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4714 0 0 0 28 1 0 0 19 0 1 0 252550492 21712896 4537 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5301 4537 307 324 0 4370 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21204 [startup+0.701992 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15405 /proc/meminfo: memFree=1824776/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21204 CPUtime=0.69 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4750 0 0 0 68 1 0 0 22 0 1 0 252550492 21712896 4573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5301 4573 307 324 0 4370 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21204 [startup+1.50113 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807744/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21204 CPUtime=1.48 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4750 0 0 0 147 1 0 0 25 0 1 0 252550492 21712896 4573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5301 4573 307 324 0 4370 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 21204 [startup+3.10139 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807616/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21204 CPUtime=3.08 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4751 0 0 0 307 1 0 0 25 0 1 0 252550492 21712896 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5312160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5301 4574 307 324 0 4370 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21204 [startup+6.30193 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807424/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21336 CPUtime=6.28 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4752 0 0 0 626 2 0 0 25 0 1 0 252550492 21848064 4575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5304161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5334 4575 307 324 0 4403 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21336 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807504/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21336 CPUtime=12.68 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4752 0 0 0 1265 3 0 0 25 0 1 0 252550492 21848064 4575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5334 4575 307 324 0 4403 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21336 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807568/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21336 CPUtime=25.48 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4752 0 0 0 2545 3 0 0 25 0 1 0 252550492 21848064 4575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5334 4575 307 324 0 4403 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21336 [startup+51.1024 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807568/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21336 CPUtime=51.06 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4752 0 0 0 5102 4 0 0 25 0 1 0 252550492 21848064 4575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5334 4575 307 324 0 4403 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21336 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807632/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21336 CPUtime=102.25 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4752 0 0 0 10219 6 0 0 25 0 1 0 252550492 21848064 4575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5334 4575 307 324 0 4403 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 21336 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1807632/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=21336 CPUtime=162.22 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 4752 0 0 0 16214 8 0 0 25 0 1 0 252550492 21848064 4575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5300293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 5334 4575 307 324 0 4403 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 21336 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1758352/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=70244 CPUtime=222.2 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 17138 0 0 0 22174 46 0 0 25 0 1 0 252550492 71929856 16897 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 17561 16897 313 324 0 16630 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 70244 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1693776/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=135984 CPUtime=282.19 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 33563 0 0 0 28160 59 0 0 25 0 1 0 252550492 139247616 33322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 33996 33322 313 324 0 33065 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 135984 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1627216/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=201412 CPUtime=342.17 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 49911 0 0 0 34147 70 0 0 25 0 1 0 252550492 206245888 49670 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 50353 49670 313 324 0 49422 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 201412 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1551760/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=277148 CPUtime=402.15 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 68840 0 0 0 40132 83 0 0 25 0 1 0 252550492 283799552 68599 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 69287 68599 313 324 0 68356 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 277148 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1464464/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=363788 CPUtime=462.13 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 90512 0 0 0 46115 98 0 0 25 0 1 0 252550492 372518912 90271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 90947 90271 313 324 0 90016 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 363788 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1370320/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=458212 CPUtime=522.11 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 114133 0 0 0 52098 113 0 0 25 0 1 0 252550492 469209088 113892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 114553 113892 313 324 0 113622 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 458212 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 3/65 15406 /proc/meminfo: memFree=1257616/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=570352 CPUtime=582.09 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 142164 0 0 0 58078 131 0 0 25 0 1 0 252550492 584040448 141923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 142588 141923 313 324 0 141657 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 570352 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1142736/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=684572 CPUtime=642.07 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 170704 0 0 0 64054 153 0 0 25 0 1 0 252550492 701001728 170463 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 171143 170463 313 324 0 170212 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 684572 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=1013456/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=815112 CPUtime=702.05 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 203335 0 0 0 70026 179 0 0 25 0 1 0 252550492 834674688 203094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 203778 203096 313 324 0 202847 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 815112 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=874512/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=952336 CPUtime=762.03 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 237658 0 0 0 75997 206 0 0 25 0 1 0 252550492 975192064 237417 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 238084 237417 313 324 0 237153 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 952336 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=746832/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1080312 CPUtime=822.01 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 269630 0 0 0 81970 231 0 0 25 0 1 0 252550492 1106239488 269389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 270078 269389 313 324 0 269147 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1080312 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=686032/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1140636 CPUtime=882 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 284719 0 0 0 87957 243 0 0 25 0 1 0 252550492 1168011264 284478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 285159 284478 313 324 0 284228 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1140636 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=618896/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1208072 CPUtime=941.97 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 301577 0 0 0 93942 255 0 0 25 0 1 0 252550492 1237065728 301336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 302018 301336 313 324 0 301087 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1208072 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=540944/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1285484 CPUtime=1001.96 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 320929 0 0 0 99925 271 0 0 25 0 1 0 252550492 1316335616 320688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 321371 320688 313 324 0 320440 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1285484 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=470160/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1356340 CPUtime=1061.94 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 338654 0 0 0 105910 284 0 0 25 0 1 0 252550492 1388892160 338413 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 339085 338413 313 324 0 338154 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1356340 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=387408/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1439144 CPUtime=1121.92 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 359357 0 0 0 111895 297 0 0 25 0 1 0 252550492 1473683456 359116 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 359786 359116 313 324 0 358855 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1439144 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=297296/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1529812 CPUtime=1181.9 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 382029 0 0 0 117874 316 0 0 25 0 1 0 252550492 1566527488 381788 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 382453 381788 313 324 0 381522 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1529812 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=185872/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1640316 CPUtime=1241.88 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 409657 0 0 0 123853 335 0 0 25 0 1 0 252550492 1679683584 409416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 410079 409416 313 324 0 409148 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1640316 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=98832/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1726328 CPUtime=1301.86 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 431157 0 0 0 129834 352 0 0 25 0 1 0 252550492 1767759872 430916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5304152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 431582 430916 313 324 0 430651 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1726328 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=41872/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1783504 CPUtime=1361.84 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 445451 0 0 0 135820 364 0 0 25 0 1 0 252550492 1826308096 445210 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 445876 445210 313 324 0 444945 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1783504 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=16336/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1832652 CPUtime=1421.74 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 457735 0 0 0 141801 373 0 0 25 0 1 0 252550492 1876635648 457494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 458163 457494 313 324 0 457232 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1832652 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1435.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15406 /proc/meminfo: memFree=15248/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=1843272 CPUtime=1434.7 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194304 460383 0 0 0 143095 375 0 0 25 0 1 0 252550492 1887510528 460142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 460818 460142 313 324 0 459887 0 Current children cumulated CPU time (s) 1434.7 Current children cumulated vsize (KiB) 1843272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1435.41 s] /proc/loadavg: 0.99 0.98 0.99 2/66 15407 /proc/meminfo: memFree=634696/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=0 CPUtime=1434.8 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194308 460384 0 0 0 143095 385 0 0 25 0 1 0 252550492 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1434.8 Current children cumulated vsize (KiB) 0 [startup+1435.51 s] /proc/loadavg: 0.99 0.98 0.99 2/66 15407 /proc/meminfo: memFree=634696/2055920 swapFree=4184476/4192956 [pid=15405] ppid=15403 vsize=0 CPUtime=1434.9 /proc/15405/stat : 15405 (bsolo3.0.16) R 15403 15405 14953 0 -1 4194308 460384 0 0 0 143095 395 0 0 25 0 1 0 252550492 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/15405/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1434.9 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1435.59 CPU time (s): 1435 CPU user time (s): 1430.96 CPU system time (s): 4.03839 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (KiB): 1843272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1430.96 system time used= 4.03839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460384 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= 1751 runsolver used 1.01285 second user time and 2.93655 second system time The end
Begin job on node58 on Tue May 1 19:06:48 UTC 2007 IDJOB= 455610 IDBENCH= 48275 IDSOLVER= 163 FILE ID= node58/455610-1178046408 PBS_JOBID= 4728478 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_25_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455610-1178046408/instance-455610-1178046408.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-455610-1178046408 -o ROOT/results/node58/solver-455610-1178046408 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455610-1178046408/instance-455610-1178046408.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a RANDOM SEED= 391186751 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1825376 kB Buffers: 79548 kB Cached: 75964 kB SwapCached: 2180 kB Active: 122696 kB Inactive: 43820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825376 kB SwapTotal: 4192956 kB SwapFree: 4184476 kB Dirty: 7156 kB Writeback: 0 kB Mapped: 16120 kB Slab: 50072 kB Committed_AS: 4462172 kB PageTables: 1380 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 node58 on Tue May 1 19:30:46 UTC 2007