Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb |
MD5SUM | b2547f396d5cd0589545f2e597f6c86a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 507 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1632 |
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 | 1632 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1632 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.06684 |
Number of variables | 1632 |
Total number of constraints | 6924 |
Number of constraints which are clauses | 6924 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-07 12:58:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27611 boxname=wulflinc2 idbench=169 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: b2547f396d5cd0589545f2e597f6c86a /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b3.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b3.opb IDLAUNCH: 27611 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 263764 kB Buffers: 34496 kB Cached: 712612 kB SwapCached: 1164 kB Active: 59660 kB Inactive: 689984 kB HighTotal: 131008 kB HighFree: 10360 kB LowTotal: 903652 kB LowFree: 253404 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5068 kB Slab: 15704 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 13:18:24 (client local time) WITH STATUS 10 IN 1176.01 SECONDS stats: 27611 0 1176.01 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1632 variables and 6924 constraints. c After prepocess the problem consists of 1632 variables and 8264 constraints. c preprocess terminated 68.488 s c Initial Lower Bound: 456 c Lower Bound Elapsed time: 9.86 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 814 @ 108.158 c NEW SOLUTION FOUND: 813 @ 108.162 c NEW SOLUTION FOUND: 812 @ 108.182 c NEW SOLUTION FOUND: 811 @ 108.199 c NEW SOLUTION FOUND: 810 @ 108.218 c NEW SOLUTION FOUND: 809 @ 108.236 c NEW SOLUTION FOUND: 808 @ 108.254 c NEW SOLUTION FOUND: 807 @ 108.273 c NEW SOLUTION FOUND: 806 @ 108.292 c NEW SOLUTION FOUND: 805 @ 108.311 c NEW SOLUTION FOUND: 804 @ 108.33 c NEW SOLUTION FOUND: 803 @ 108.35 c NEW SOLUTION FOUND: 802 @ 108.37 c NEW SOLUTION FOUND: 801 @ 108.39 c NEW SOLUTION FOUND: 800 @ 108.411 c NEW SOLUTION FOUND: 799 @ 108.432 c NEW SOLUTION FOUND: 798 @ 108.453 c NEW SOLUTION FOUND: 797 @ 108.474 c NEW SOLUTION FOUND: 796 @ 108.495 c NEW SOLUTION FOUND: 795 @ 108.516 c NEW SOLUTION FOUND: 794 @ 108.537 c NEW SOLUTION FOUND: 793 @ 108.56 c NEW SOLUTION FOUND: 792 @ 108.582 c NEW SOLUTION FOUND: 791 @ 108.604 c NEW SOLUTION FOUND: 790 @ 108.628 c NEW SOLUTION FOUND: 789 @ 108.65 c NEW SOLUTION FOUND: 788 @ 108.674 c NEW SOLUTION FOUND: 787 @ 108.697 c NEW SOLUTION FOUND: 786 @ 108.745 c NEW SOLUTION FOUND: 785 @ 108.77 c NEW SOLUTION FOUND: 784 @ 108.795 c NEW SOLUTION FOUND: 783 @ 108.82 c NEW SOLUTION FOUND: 782 @ 108.845 c NEW SOLUTION FOUND: 781 @ 108.871 c NEW SOLUTION FOUND: 780 @ 108.897 c NEW SOLUTION FOUND: 779 @ 108.923 c NEW SOLUTION FOUND: 778 @ 108.95 c NEW SOLUTION FOUND: 777 @ 108.977 c NEW SOLUTION FOUND: 776 @ 109.004 c NEW SOLUTION FOUND: 775 @ 109.031 c NEW SOLUTION FOUND: 774 @ 109.058 c NEW SOLUTION FOUND: 773 @ 109.086 c NEW SOLUTION FOUND: 772 @ 109.114 c NEW SOLUTION FOUND: 771 @ 109.141 c NEW SOLUTION FOUND: 770 @ 109.17 c NEW SOLUTION FOUND: 769 @ 109.199 c NEW SOLUTION FOUND: 768 @ 109.227 c NEW SOLUTION FOUND: 767 @ 109.256 c NEW SOLUTION FOUND: 766 @ 109.285 c NEW SOLUTION FOUND: 765 @ 109.313 c NEW SOLUTION FOUND: 764 @ 109.342 c NEW SOLUTION FOUND: 763 @ 109.371 c NEW SOLUTION FOUND: 762 @ 109.4 c NEW SOLUTION FOUND: 761 @ 109.43 c NEW SOLUTION FOUND: 760 @ 109.459 c NEW SOLUTION FOUND: 759 @ 109.489 c NEW SOLUTION FOUND: 758 @ 109.549 c NEW SOLUTION FOUND: 757 @ 109.579 c NEW SOLUTION FOUND: 756 @ 109.612 c NEW SOLUTION FOUND: 755 @ 109.644 c NEW SOLUTION FOUND: 754 @ 109.676 c NEW SOLUTION FOUND: 753 @ 109.71 c NEW SOLUTION FOUND: 752 @ 109.744 c NEW SOLUTION FOUND: 751 @ 109.777 c NEW SOLUTION FOUND: 750 @ 109.812 c NEW SOLUTION FOUND: 749 @ 109.881 c NEW SOLUTION FOUND: 748 @ 109.916 c NEW SOLUTION FOUND: 747 @ 109.95 c NEW SOLUTION FOUND: 746 @ 110.021 c NEW SOLUTION FOUND: 745 @ 110.059 c NEW SOLUTION FOUND: 744 @ 110.135 c NEW SOLUTION FOUND: 743 @ 110.174 c NEW SOLUTION FOUND: 742 @ 110.214 c NEW SOLUTION FOUND: 741 @ 110.255 c NEW SOLUTION FOUND: 740 @ 110.296 c NEW SOLUTION FOUND: 739 @ 110.337 c NEW SOLUTION FOUND: 738 @ 110.379 c NEW SOLUTION FOUND: 737 @ 110.421 c NEW SOLUTION FOUND: 736 @ 110.463 c NEW SOLUTION FOUND: 735 @ 110.506 c NEW SOLUTION FOUND: 734 @ 110.551 c NEW SOLUTION FOUND: 733 @ 110.594 c NEW SOLUTION FOUND: 732 @ 110.641 c NEW SOLUTION FOUND: 731 @ 110.686 c NEW SOLUTION FOUND: 730 @ 110.731 c NEW SOLUTION FOUND: 729 @ 110.775 c NEW SOLUTION FOUND: 728 @ 110.865 c NEW SOLUTION FOUND: 727 @ 110.912 c NEW SOLUTION FOUND: 726 @ 111.004 c NEW SOLUTION FOUND: 725 @ 111.052 c NEW SOLUTION FOUND: 724 @ 111.147 c NEW SOLUTION FOUND: 723 @ 111.196 c NEW SOLUTION FOUND: 722 @ 111.246 c NEW SOLUTION FOUND: 721 @ 111.297 c NEW SOLUTION FOUND: 720 @ 111.348 c NEW SOLUTION FOUND: 719 @ 111.399 c NEW SOLUTION FOUND: 718 @ 111.451 c NEW SOLUTION FOUND: 717 @ 111.504 c NEW SOLUTION FOUND: 716 @ 111.556 c NEW SOLUTION FOUND: 715 @ 111.661 c NEW SOLUTION FOUND: 714 @ 111.766 c NEW SOLUTION FOUND: 713 @ 111.82 c NEW SOLUTION FOUND: 712 @ 111.875 c NEW SOLUTION FOUND: 711 @ 111.928 c NEW SOLUTION FOUND: 710 @ 111.984 c NEW SOLUTION FOUND: 709 @ 112.041 c NEW SOLUTION FOUND: 708 @ 112.152 c NEW SOLUTION FOUND: 707 @ 112.209 c NEW SOLUTION FOUND: 706 @ 112.267 c NEW SOLUTION FOUND: 705 @ 112.325 c NEW SOLUTION FOUND: 704 @ 112.38 c NEW SOLUTION FOUND: 703 @ 112.44 c NEW SOLUTION FOUND: 702 @ 112.5 c NEW SOLUTION FOUND: 701 @ 112.559 c NEW SOLUTION FOUND: 700 @ 112.619 c NEW SOLUTION FOUND: 699 @ 112.679 c NEW SOLUTION FOUND: 698 @ 112.742 c NEW SOLUTION FOUND: 697 @ 112.803 c NEW SOLUTION FOUND: 696 @ 112.864 c NEW SOLUTION FOUND: 695 @ 112.926 c NEW SOLUTION FOUND: 694 @ 112.989 c NEW SOLUTION FOUND: 693 @ 113.053 c NEW SOLUTION FOUND: 692 @ 113.117 c NEW SOLUTION FOUND: 691 @ 113.181 c NEW SOLUTION FOUND: 690 @ 113.245 c NEW SOLUTION FOUND: 689 @ 113.312 c NEW SOLUTION FOUND: 688 @ 113.378 c NEW SOLUTION FOUND: 687 @ 113.444 c NEW SOLUTION FOUND: 686 @ 113.511 c NEW SOLUTION FOUND: 685 @ 113.575 c NEW SOLUTION FOUND: 684 @ 113.643 c NEW SOLUTION FOUND: 683 @ 113.777 c NEW SOLUTION FOUND: 682 @ 113.845 c NEW SOLUTION FOUND: 681 @ 113.913 c NEW SOLUTION FOUND: 680 @ 113.98 c NEW SOLUTION FOUND: 679 @ 114.049 c NEW SOLUTION FOUND: 678 @ 114.118 c NEW SOLUTION FOUND: 677 @ 114.188 c NEW SOLUTION FOUND: 676 @ 114.256 c NEW SOLUTION FOUND: 675 @ 114.398 c NEW SOLUTION FOUND: 674 @ 114.474 c NEW SOLUTION FOUND: 673 @ 114.551 c NEW SOLUTION FOUND: 672 @ 114.629 c NEW SOLUTION FOUND: 671 @ 114.772 c NEW SOLUTION FOUND: 670 @ 114.843 c NEW SOLUTION FOUND: 669 @ 114.922 c NEW SOLUTION FOUND: 668 @ 115.159 c NEW SOLUTION FOUND: 667 @ 115.239 c NEW SOLUTION FOUND: 666 @ 115.32 c NEW SOLUTION FOUND: 665 @ 115.4 c NEW SOLUTION FOUND: 664 @ 115.563 c NEW SOLUTION FOUND: 663 @ 115.643 c NEW SOLUTION FOUND: 662 @ 115.725 c NEW SOLUTION FOUND: 661 @ 115.888 c NEW SOLUTION FOUND: 660 @ 116.054 c NEW SOLUTION FOUND: 659 @ 116.139 c NEW SOLUTION FOUND: 658 @ 116.314 c NEW SOLUTION FOUND: 657 @ 116.402 c NEW SOLUTION FOUND: 656 @ 116.49 c NEW SOLUTION FOUND: 655 @ 116.581 c NEW SOLUTION FOUND: 654 @ 116.67 c NEW SOLUTION FOUND: 653 @ 116.759 c NEW SOLUTION FOUND: 652 @ 116.933 c NEW SOLUTION FOUND: 651 @ 117.02 c NEW SOLUTION FOUND: 650 @ 117.108 c NEW SOLUTION FOUND: 649 @ 117.199 c NEW SOLUTION FOUND: 648 @ 117.289 c NEW SOLUTION FOUND: 647 @ 117.379 c NEW SOLUTION FOUND: 646 @ 117.471 c NEW SOLUTION FOUND: 645 @ 117.649 c NEW SOLUTION FOUND: 644 @ 117.741 c NEW SOLUTION FOUND: 643 @ 117.833 c NEW SOLUTION FOUND: 642 @ 118.106 c NEW SOLUTION FOUND: 641 @ 118.198 c NEW SOLUTION FOUND: 640 @ 118.29 c NEW SOLUTION FOUND: 639 @ 118.383 c NEW SOLUTION FOUND: 638 @ 118.475 c NEW SOLUTION FOUND: 637 @ 118.569 c NEW SOLUTION FOUND: 636 @ 118.662 c NEW SOLUTION FOUND: 635 @ 118.94 c NEW SOLUTION FOUND: 634 @ 119.033 c NEW SOLUTION FOUND: 633 @ 119.127 c NEW SOLUTION FOUND: 556 @ 120.933 c NEW SOLUTION FOUND: 554 @ 126.803 c NEW SOLUTION FOUND: 551 @ 146.298 c NEW SOLUTION FOUND: 549 @ 146.721 c NEW SOLUTION FOUND: 547 @ 147.461 c NEW SOLUTION FOUND: 546 @ 187.945 c NEW SOLUTION FOUND: 543 @ 239.039 c NEW SOLUTION FOUND: 541 @ 240.525 c NEW SOLUTION FOUND: 539 @ 266.225 c NEW SOLUTION FOUND: 538 @ 302.182 s SATISFIABLE v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -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 -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 x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 x158 x159 -x160 x161 -x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 -x193 x194 -x195 -x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 x244 -x245 x246 x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 -x272 -x273 x274 x275 -x276 x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 x326 x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 x460 -x461 x462 x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 x484 -x485 x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548 -x549 -x550 -x551 x552 x553 -x554 -x555 x556 -x557 x558 -x559 -x560 -x561 x562 -x563 -x564 x565 -x566 -x567 x568 -x569 x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 -x585 -x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 x607 -x608 -x609 x610 -x611 -x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 x628 -x629 x630 -x631 -x632 -x633 x634 x635 -x636 -x637 -x638 -x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 x654 -x655 x656 x657 -x658 -x659 x660 -x661 x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 x671 -x672 x673 -x674 -x675 x676 -x677 x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 x686 x687 -x688 -x689 x690 -x691 x692 -x693 -x694 -x695 x696 -x697 x698 x699 -x700 -x701 x702 -x703 x704 -x705 -x706 -x707 x708 -x709 x710 -x711 -x712 -x713 x714 -x715 x716 x717 -x718 -x719 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 x736 -x737 x738 -x739 -x740 -x741 x742 x743 -x744 -x745 x746 -x747 x748 x749 -x750 -x751 x752 -x753 x754 -x755 x756 -x757 -x758 -x759 x760 -x761 x762 x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 -x777 x778 x779 -x780 -x781 -x782 x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 -x796 -x797 x798 -x799 x800 -x801 x802 -x803 x804 -x805 x806 x807 -x808 -x809 x810 -x811 x812 -x813 -x814 -x815 x816 -x817 x818 -x819 -x820 -x821 x822 -x823 x824 x825 -x826 -x827 x828 -x829 x830 -x831 -x832 -x833 x834 -x835 x836 x837 -x838 -x839 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 -x849 -x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 x868 -x869 x870 x871 -x872 -x873 x874 -x875 -x876 x877 -x878 -x879 x880 -x881 x882 -x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 x913 -x914 x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 -x971 x972 -x973 x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 x984 -x985 x986 -x987 -x988 -x989 x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 -x1079 x1080 -x1081 x1082 x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 x1108 -x1109 x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 x1130 -x1131 x1132 -x1133 x1134 x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 x1146 -x1147 x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 x1156 -x1157 x1158 -x1159 -x1160 -x1161 x1162 x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 x1224 -x1225 x1226 x1227 -x1228 -x1229 x1230 -x1231 x1232 -x1233 -x1234 -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 -x1361 x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 x1370 x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 x1410 -x1411 x1412 x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 x1442 x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 x1490 x1491 -x1492 -x1493 x1494 -x1495 x1496 -x1497 -x1498 -x1499 x1500 -x1501 x1502 x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 x1539 -x1540 -x1541 x1542 -x1543 x1544 -x1545 -x1546 -x1547 x1548 -x1549 x1550 x1551 -x1552 -x1553 x1554 -x1555 x1556 -x1557 -x1558 -x1559 x1560 x1561 -x1562 -x1563 x1564 -x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 -x1612 -x1613 x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 c Exit Code: 10 c Total time: 1175.99 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.96 0.91 2/54 25132 Raw data (stat): 25132 (runsolver) R 25131 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893180058 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99974 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 987 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3763 1111 63 0 4537 0 vsize: 18400 [startup+20.0008 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 1988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3763 1111 63 0 4537 0 vsize: 18400 [startup+30.0015 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 2988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3763 1111 63 0 4537 0 vsize: 18400 [startup+40.0008 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 3988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223252 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3763 1111 63 0 4537 0 vsize: 18400 [startup+50.0019 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 4988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3763 1111 63 0 4537 0 vsize: 18400 [startup+60.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 5988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3763 1111 63 0 4537 0 vsize: 18400 [startup+70.0019 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25132 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3904 0 0 0 6987 11 0 0 25 0 1 0 893180058 19021824 3818 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4644 3818 1111 63 0 4581 0 vsize: 18576 [startup+80.003 s] Raw data (loadavg): 1.06 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 5127 0 0 0 7985 13 0 0 25 0 1 0 893180058 25202688 4839 4294967295 134512640 134716908 3221224592 3221220540 1074873347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6153 4839 1111 63 0 6090 0 vsize: 24612 [startup+90.0027 s] Raw data (loadavg): 1.05 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 5142 0 0 0 8985 13 0 0 25 0 1 0 893180058 25202688 4854 4294967295 134512640 134716908 3221224592 3221220716 1075116767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6153 4854 1111 63 0 6090 0 vsize: 24612 [startup+100.003 s] Raw data (loadavg): 1.04 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 5388 0 0 0 9984 14 0 0 25 0 1 0 893180058 24354816 4852 4294967295 134512640 134716908 3221224592 3221221088 1074885453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5946 4852 1111 63 0 5883 0 vsize: 23784 [startup+110.003 s] Raw data (loadavg): 1.03 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 12012 0 0 0 10968 31 0 0 25 0 1 0 893180058 19116032 3982 4294967295 134512640 134716908 3221224592 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4667 3982 1111 63 0 4604 0 vsize: 18668 [startup+120.004 s] Raw data (loadavg): 1.03 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 20303 0 0 0 11945 53 0 0 25 0 1 0 893180058 19120128 3983 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4668 3983 1111 63 0 4605 0 vsize: 18672 [startup+130.004 s] Raw data (loadavg): 1.02 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 22317 0 0 0 12938 60 0 0 25 0 1 0 893180058 23224320 4002 4294967295 134512640 134716908 3221224592 3221220928 1075113493 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5670 4002 1111 63 0 5607 0 vsize: 22680 [startup+140.004 s] Raw data (loadavg): 1.02 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 24306 0 0 0 13932 65 0 0 25 0 1 0 893180058 22917120 4433 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5595 4433 1111 63 0 5532 0 vsize: 22380 [startup+150.005 s] Raw data (loadavg): 1.02 0.98 0.91 2/54 25185 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 26064 0 0 0 14926 70 0 0 25 0 1 0 893180058 19120128 3991 4294967295 134512640 134716908 3221224592 3221223008 1074117093 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4668 3991 1111 63 0 4605 0 vsize: 18672 [startup+160.004 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 27720 0 0 0 15922 75 0 0 25 0 1 0 893180058 19116032 3990 4294967295 134512640 134716908 3221224592 3221222732 1077404762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4667 3990 1111 63 0 4604 0 vsize: 18668 [startup+170.005 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 29647 0 0 0 16916 81 0 0 25 0 1 0 893180058 19128320 3993 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4670 3993 1111 63 0 4607 0 vsize: 18680 [startup+180.006 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 31586 0 0 0 17911 86 0 0 25 0 1 0 893180058 19132416 3994 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4671 3994 1111 63 0 4608 0 vsize: 18684 [startup+190.005 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 33645 0 0 0 18905 92 0 0 25 0 1 0 893180058 24449024 4376 4294967295 134512640 134716908 3221224592 3221220864 1074961183 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5969 4376 1111 63 0 5906 0 vsize: 23876 [startup+200.005 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 35280 0 0 0 19900 97 0 0 25 0 1 0 893180058 19177472 4005 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4682 4005 1111 63 0 4619 0 vsize: 18728 [startup+210.006 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 36953 0 0 0 20896 101 0 0 25 0 1 0 893180058 19185664 4007 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4684 4007 1111 63 0 4621 0 vsize: 18736 [startup+220.006 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 38809 0 0 0 21891 106 0 0 25 0 1 0 893180058 24653824 4422 4294967295 134512640 134716908 3221224592 3221220656 1075084536 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6019 4422 1111 63 0 5956 0 vsize: 24076 [startup+230.006 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 40228 0 0 0 22888 109 0 0 25 0 1 0 893180058 24461312 4401 4294967295 134512640 134716908 3221224592 3221220740 1075964437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5972 4401 1111 63 0 5909 0 vsize: 23888 [startup+240.007 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 41495 0 0 0 23886 113 0 0 25 0 1 0 893180058 19218432 4015 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4692 4015 1111 63 0 4629 0 vsize: 18768 [startup+250.008 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 42917 0 0 0 24883 116 0 0 25 0 1 0 893180058 24469504 4405 4294967295 134512640 134716908 3221224592 3221220812 1075116831 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5974 4405 1111 63 0 5911 0 vsize: 23896 [startup+260.008 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 44103 0 0 0 25880 118 0 0 25 0 1 0 893180058 19222528 4016 4294967295 134512640 134716908 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4693 4016 1111 63 0 4630 0 vsize: 18772 [startup+270.008 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 46073 0 0 0 26874 124 0 0 25 0 1 0 893180058 25231360 4539 4294967295 134512640 134716908 3221224592 3221220812 1075116584 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6160 4539 1111 63 0 6097 0 vsize: 24640 [startup+280.009 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 47149 0 0 0 27872 126 0 0 25 0 1 0 893180058 25214976 4589 4294967295 134512640 134716908 3221224592 3221221136 1075088563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6156 4589 1111 63 0 6093 0 vsize: 24624 [startup+290.009 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 47654 0 0 0 28871 128 0 0 25 0 1 0 893180058 19361792 4050 4294967295 134512640 134716908 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4727 4050 1111 63 0 4664 0 vsize: 18908 [startup+300.01 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 49249 0 0 0 29866 133 0 0 25 0 1 0 893180058 19333120 4043 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 4043 1111 63 0 4657 0 vsize: 18880 [startup+310.01 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 50815 0 0 0 30863 136 0 0 25 0 1 0 893180058 19316736 4039 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 4039 1111 63 0 4653 0 vsize: 18864 [startup+320.011 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 52526 0 0 0 31858 141 0 0 25 0 1 0 893180058 19324928 4041 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4718 4041 1111 63 0 4655 0 vsize: 18872 [startup+330.012 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 54079 0 0 0 32855 144 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4723 4046 1111 63 0 4660 0 vsize: 18892 [startup+340.011 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 55771 0 0 0 33851 149 0 0 25 0 1 0 893180058 24662016 4417 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6021 4417 1111 63 0 5958 0 vsize: 24084 [startup+350.011 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 57255 0 0 0 34848 151 0 0 25 0 1 0 893180058 19353600 4048 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4725 4048 1111 63 0 4662 0 vsize: 18900 [startup+360.011 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 59016 0 0 0 35844 156 0 0 25 0 1 0 893180058 19329024 4042 4294967295 134512640 134716908 3221224592 3221223264 134652564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4719 4042 1111 63 0 4656 0 vsize: 18876 [startup+370.012 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 60696 0 0 0 36840 161 0 0 25 0 1 0 893180058 19333120 4043 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 4043 1111 63 0 4657 0 vsize: 18880 [startup+380.012 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 62506 0 0 0 37835 165 0 0 25 0 1 0 893180058 24498176 4413 4294967295 134512640 134716908 3221224592 3221221360 1076083574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5981 4413 1111 63 0 5918 0 vsize: 23924 [startup+390.012 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25187 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 64137 0 0 0 38832 169 0 0 25 0 1 0 893180058 19341312 4045 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4722 4045 1111 63 0 4659 0 vsize: 18888 [startup+400.012 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 65918 0 0 0 39828 173 0 0 25 0 1 0 893180058 24621056 4408 4294967295 134512640 134716908 3221224592 3221220812 1075116513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6011 4408 1111 63 0 5948 0 vsize: 24044 [startup+410.012 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 67434 0 0 0 40824 177 0 0 25 0 1 0 893180058 24276992 4170 4294967295 134512640 134716908 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5927 4174 1111 63 0 5864 0 vsize: 23708 [startup+420.013 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 69102 0 0 0 41820 181 0 0 25 0 1 0 893180058 20488192 4265 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4875 4168 1111 63 0 4812 0 vsize: 20008 [startup+430.013 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 71121 0 0 0 42815 186 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4721 4044 1111 63 0 4658 0 vsize: 18884 [startup+440.013 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 72906 0 0 0 43811 191 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4721 4044 1111 63 0 4658 0 vsize: 18884 [startup+450.014 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 74714 0 0 0 44806 195 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4723 4046 1111 63 0 4660 0 vsize: 18892 [startup+460.013 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 76744 0 0 0 45801 201 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4723 4046 1111 63 0 4660 0 vsize: 18892 [startup+470.014 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 78469 0 0 0 46797 205 0 0 25 0 1 0 893180058 24649728 4415 4294967295 134512640 134716908 3221224592 3221221656 1075066464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6018 4415 1111 63 0 5955 0 vsize: 24072 [startup+480.015 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 80443 0 0 0 47792 210 0 0 25 0 1 0 893180058 24190976 4290 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5906 4290 1111 63 0 5843 0 vsize: 23624 [startup+490.015 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 82304 0 0 0 48788 215 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4721 4044 1111 63 0 4658 0 vsize: 18884 [startup+500.015 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 84371 0 0 0 49783 220 0 0 25 0 1 0 893180058 24461312 4395 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5972 4395 1111 63 0 5909 0 vsize: 23888 [startup+510.016 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 86203 0 0 0 50779 224 0 0 25 0 1 0 893180058 24502272 4346 4294967295 134512640 134716908 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5982 4346 1111 63 0 5919 0 vsize: 23928 [startup+520.016 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 87856 0 0 0 51774 229 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4723 4046 1111 63 0 4660 0 vsize: 18892 [startup+530.017 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 89939 0 0 0 52769 234 0 0 25 0 1 0 893180058 24465408 4335 4294967295 134512640 134716908 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5973 4335 1111 63 0 5910 0 vsize: 23892 [startup+540.018 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 91699 0 0 0 53765 239 0 0 25 0 1 0 893180058 19333120 4043 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4720 4043 1111 63 0 4657 0 vsize: 18880 [startup+550.018 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 93480 0 0 0 54761 243 0 0 25 0 1 0 893180058 24522752 4386 4294967295 134512640 134716908 3221224592 3221220864 1074961143 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5987 4386 1111 63 0 5924 0 vsize: 23948 [startup+560.018 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 95289 0 0 0 55757 248 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222616 1077380225 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4723 4046 1111 63 0 4660 0 vsize: 18892 [startup+570.018 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 97582 0 0 0 56751 253 0 0 25 0 1 0 893180058 24309760 4321 4294967295 134512640 134716908 3221224592 3221221836 1075278149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5935 4321 1111 63 0 5872 0 vsize: 23740 [startup+580.019 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 99618 0 0 0 57746 259 0 0 25 0 1 0 893180058 19316736 4039 4294967295 134512640 134716908 3221224592 3221222864 1074205872 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4716 4039 1111 63 0 4653 0 vsize: 18864 [startup+590.019 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 101394 0 0 0 58741 263 0 0 25 0 1 0 893180058 24408064 4321 4294967295 134512640 134716908 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5959 4321 1111 63 0 5896 0 vsize: 23836 [startup+600.02 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 103273 0 0 0 59737 268 0 0 25 0 1 0 893180058 24473600 4381 4294967295 134512640 134716908 3221224592 3221220812 1075116564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5975 4381 1111 63 0 5912 0 vsize: 23900 [startup+610.02 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 105141 0 0 0 60734 271 0 0 25 0 1 0 893180058 19329024 4042 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4719 4042 1111 63 0 4656 0 vsize: 18876 [startup+620.021 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 107305 0 0 0 61729 277 0 0 25 0 1 0 893180058 19320832 4040 4294967295 134512640 134716908 3221224592 3221223264 134652567 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4717 4040 1111 63 0 4654 0 vsize: 18868 [startup+630.022 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 109305 0 0 0 62722 283 0 0 25 0 1 0 893180058 24604672 4387 4294967295 134512640 134716908 3221224592 3221220624 1075965260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6007 4387 1111 63 0 5944 0 vsize: 24028 [startup+640.021 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 111432 0 0 0 63718 288 0 0 25 0 1 0 893180058 24580096 4393 4294967295 134512640 134716908 3221224592 3221221248 1075968404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6001 4393 1111 63 0 5938 0 vsize: 24004 [startup+650.022 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 113510 0 0 0 64713 294 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4721 4044 1111 63 0 4658 0 vsize: 18884 [startup+660.022 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 115289 0 0 0 65708 298 0 0 25 0 1 0 893180058 19353600 4048 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4725 4048 1111 63 0 4662 0 vsize: 18900 [startup+670.022 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 117515 0 0 0 66703 303 0 0 25 0 1 0 893180058 24649728 4400 4294967295 134512640 134716908 3221224592 3221220552 1074789718 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6018 4400 1111 63 0 5955 0 vsize: 24072 [startup+680.023 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 119554 0 0 0 67698 308 0 0 25 0 1 0 893180058 19365888 4051 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4728 4051 1111 63 0 4665 0 vsize: 18912 [startup+690.023 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 121689 0 0 0 68692 315 0 0 25 0 1 0 893180058 23990272 4251 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5857 4251 1111 63 0 5794 0 vsize: 23428 [startup+700.023 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 123859 0 0 0 69687 320 0 0 25 0 1 0 893180058 24141824 4262 4294967295 134512640 134716908 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5894 4262 1111 63 0 5831 0 vsize: 23576 [startup+710.023 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 126243 0 0 0 70682 325 0 0 25 0 1 0 893180058 24117248 4275 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5888 4275 1111 63 0 5825 0 vsize: 23552 [startup+720.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 129097 0 0 0 71674 334 0 0 25 0 1 0 893180058 19353600 4048 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4725 4048 1111 63 0 4662 0 vsize: 18900 [startup+730.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 131972 0 0 0 72667 341 0 0 25 0 1 0 893180058 24375296 4322 4294967295 134512640 134716908 3221224592 3221220636 1074873560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5951 4322 1111 63 0 5888 0 vsize: 23804 [startup+740.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 134642 0 0 0 73660 348 0 0 25 0 1 0 893180058 24166400 4266 4294967295 134512640 134716908 3221224592 3221220624 1075965248 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5900 4266 1111 63 0 5837 0 vsize: 23600 [startup+750.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 136705 0 0 0 74654 354 0 0 25 0 1 0 893180058 19533824 4092 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4769 4092 1111 63 0 4706 0 vsize: 19076 [startup+760.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 138844 0 0 0 75649 359 0 0 25 0 1 0 893180058 19554304 4097 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4774 4097 1111 63 0 4711 0 vsize: 19096 [startup+770.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 141455 0 0 0 76644 365 0 0 25 0 1 0 893180058 19537920 4093 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4770 4093 1111 63 0 4707 0 vsize: 19080 [startup+780.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 144233 0 0 0 77636 373 0 0 25 0 1 0 893180058 24461312 4333 4294967295 134512640 134716908 3221224592 3221221248 1075967916 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5972 4333 1111 63 0 5909 0 vsize: 23888 [startup+790.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 146055 0 0 0 78630 379 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+800.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 147399 0 0 0 79627 382 0 0 25 0 1 0 893180058 19636224 4117 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4794 4117 1111 63 0 4731 0 vsize: 19176 [startup+810.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 148977 0 0 0 80623 386 0 0 25 0 1 0 893180058 19939328 4139 4294967295 134512640 134716908 3221224592 3221222336 1075640393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4868 4139 1111 63 0 4805 0 vsize: 19472 [startup+820.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 150407 0 0 0 81619 390 0 0 25 0 1 0 893180058 23732224 4156 4294967295 134512640 134716908 3221224592 3221220588 1074860977 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5794 4156 1111 63 0 5731 0 vsize: 23176 [startup+830.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 151820 0 0 0 82615 395 0 0 25 0 1 0 893180058 19636224 4117 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4794 4117 1111 63 0 4731 0 vsize: 19176 [startup+840.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 153376 0 0 0 83610 399 0 0 25 0 1 0 893180058 24031232 4267 4294967295 134512640 134716908 3221224592 3221220864 1074961149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5867 4267 1111 63 0 5804 0 vsize: 23468 [startup+850.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 155179 0 0 0 84606 404 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+860.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 157247 0 0 0 85601 409 0 0 25 0 1 0 893180058 24162304 4275 4294967295 134512640 134716908 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5899 4275 1111 63 0 5836 0 vsize: 23596 [startup+870.024 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 159752 0 0 0 86595 416 0 0 25 0 1 0 893180058 24338432 4764 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5942 4764 1111 63 0 5879 0 vsize: 23768 [startup+880.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 161204 0 0 0 87592 419 0 0 25 0 1 0 893180058 19632128 4116 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4793 4116 1111 63 0 4730 0 vsize: 19172 [startup+890.025 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 163027 0 0 0 88588 423 0 0 25 0 1 0 893180058 24305664 4307 4294967295 134512640 134716908 3221224592 3221221248 1075967910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5934 4307 1111 63 0 5871 0 vsize: 23736 [startup+900.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 164876 0 0 0 89582 429 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+910.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 166534 0 0 0 90577 434 0 0 25 0 1 0 893180058 24211456 4264 4294967295 134512640 134716908 3221224592 3221220864 1074961393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5911 4264 1111 63 0 5848 0 vsize: 23644 [startup+920.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 168293 0 0 0 91574 437 0 0 25 0 1 0 893180058 19628032 4115 4294967295 134512640 134716908 3221224592 3221222240 1075818098 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4792 4115 1111 63 0 4729 0 vsize: 19168 [startup+930.027 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 170246 0 0 0 92570 441 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222592 1074919266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4791 4114 1111 63 0 4728 0 vsize: 19164 [startup+940.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 172414 0 0 0 93565 447 0 0 25 0 1 0 893180058 25001984 4455 4294967295 134512640 134716908 3221224592 3221220736 1074970240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6104 4455 1111 63 0 6041 0 vsize: 24416 [startup+950.027 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 173244 0 0 0 94563 449 0 0 25 0 1 0 893180058 19648512 4120 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4797 4120 1111 63 0 4734 0 vsize: 19188 [startup+960.027 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 175271 0 0 0 95558 454 0 0 25 0 1 0 893180058 23629824 4614 4294967295 134512640 134716908 3221224592 3221220584 1075964733 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5769 4614 1111 63 0 5706 0 vsize: 23076 [startup+970.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 176571 0 0 0 96555 458 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+980.026 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 178000 0 0 0 97551 461 0 0 25 0 1 0 893180058 23732224 4177 4294967295 134512640 134716908 3221224592 3221221248 1075967892 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5794 4177 1111 63 0 5731 0 vsize: 23176 [startup+990.027 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 179588 0 0 0 98548 465 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221221712 1074865117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4791 4114 1111 63 0 4728 0 vsize: 19164 [startup+1000.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 181182 0 0 0 99544 469 0 0 25 0 1 0 893180058 24743936 4443 4294967295 134512640 134716908 3221224592 3221220752 1074883672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6041 4443 1111 63 0 5978 0 vsize: 24164 [startup+1010.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 182676 0 0 0 100540 473 0 0 25 0 1 0 893180058 19619840 4113 4294967295 134512640 134716908 3221224592 3221223200 134652538 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4790 4113 1111 63 0 4727 0 vsize: 19160 [startup+1020.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 184154 0 0 0 101536 477 0 0 25 0 1 0 893180058 23736320 4182 4294967295 134512640 134716908 3221224592 3221221584 1075110388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5795 4182 1111 63 0 5732 0 vsize: 23180 [startup+1030.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 185669 0 0 0 102532 481 0 0 25 0 1 0 893180058 24682496 4411 4294967295 134512640 134716908 3221224592 3221220736 1074970218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6026 4411 1111 63 0 5963 0 vsize: 24104 [startup+1040.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 187083 0 0 0 103530 484 0 0 25 0 1 0 893180058 19632128 4116 4294967295 134512640 134716908 3221224592 3221222320 1075828803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4793 4116 1111 63 0 4730 0 vsize: 19172 [startup+1050.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 188442 0 0 0 104527 487 0 0 25 0 1 0 893180058 24678400 4436 4294967295 134512640 134716908 3221224592 3221220812 1075116549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6025 4436 1111 63 0 5962 0 vsize: 24100 [startup+1060.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 190068 0 0 0 105523 491 0 0 25 0 1 0 893180058 19632128 4116 4294967295 134512640 134716908 3221224592 3221222928 1075552823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4793 4116 1111 63 0 4730 0 vsize: 19172 [startup+1070.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 191953 0 0 0 106518 496 0 0 25 0 1 0 893180058 23736320 4160 4294967295 134512640 134716908 3221224592 3221221596 1074621120 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5795 4160 1111 63 0 5732 0 vsize: 23180 [startup+1080.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 193548 0 0 0 107514 501 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222772 1077378674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+1090.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 195188 0 0 0 108510 504 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+1100.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 196857 0 0 0 109507 508 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222928 1073986868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+1110.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 198403 0 0 0 110503 512 0 0 25 0 1 0 893180058 23736320 4129 4294967295 134512640 134716908 3221224592 3221221744 1075969885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5795 4136 1111 63 0 5732 0 vsize: 23180 [startup+1120.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 200087 0 0 0 111499 516 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+1130.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 201645 0 0 0 112495 520 0 0 25 0 1 0 893180058 19636224 4117 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4794 4117 1111 63 0 4731 0 vsize: 19176 [startup+1140.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 203370 0 0 0 113490 525 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4791 4114 1111 63 0 4728 0 vsize: 19164 [startup+1150.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 205082 0 0 0 114485 530 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+1160.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 206915 0 0 0 115479 536 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4789 4112 1111 63 0 4726 0 vsize: 19156 [startup+1170.03 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 208896 0 0 0 116475 540 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4791 4114 1111 63 0 4728 0 vsize: 19164 [startup+1175.87 s] Raw data (loadavg): 1.00 0.98 0.91 1/53 25189 Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 208896 0 0 0 116475 540 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4791 4114 1111 63 0 4728 0 vsize: 0 Child status: 10 Real time (s): 1175.87 CPU time (s): 1176.01 CPU user time (s): 1170.56 CPU system time (s): 5.45117 CPU usage (%): 100.012 Max. virtual memory (Kb): 24640 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 538 #### END VERIFIER DATA ####