Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb |
MD5SUM | ba509931ad93c2223be235a06a9b3100 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 84 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 14 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-07 13:28:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27622 boxname=wulflinc5 idbench=180 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: ba509931ad93c2223be235a06a9b3100 /oldhome/oroussel/tmp/wulflinc5/normalized-jnh201.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-jnh201.opb IDLAUNCH: 27622 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 343640 kB Buffers: 34656 kB Cached: 632128 kB SwapCached: 568 kB Active: 57928 kB Inactive: 610900 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 343388 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5160 kB Slab: 16588 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 13:48:22 (client local time) WITH STATUS 10 IN 1175.29 SECONDS stats: 27622 0 1175.29 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 200 variables and 900 constraints. c After prepocess the problem consists of 196 variables and 855 constraints. c preprocess terminated 0.53 s c Initial Lower Bound: 68 c Lower Bound Elapsed time: 0.2185 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 100 @ 1.415 c NEW SOLUTION FOUND: 99 @ 1.415 c NEW SOLUTION FOUND: 98 @ 1.419 c NEW SOLUTION FOUND: 97 @ 1.422 c NEW SOLUTION FOUND: 96 @ 1.426 c NEW SOLUTION FOUND: 95 @ 1.43 c NEW SOLUTION FOUND: 94 @ 1.434 c NEW SOLUTION FOUND: 93 @ 1.439 c NEW SOLUTION FOUND: 89 @ 1.463 c NEW SOLUTION FOUND: 88 @ 1.474 c NEW SOLUTION FOUND: 87 @ 214.222 c NEW SOLUTION FOUND: 86 @ 353.769 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 c Exit Code: 10 c Total time: 1175.27 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): 1.07 1.00 0.92 1/54 5371 Raw data (stat): 5371 (runsolver) R 5370 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893356353 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+10.0014 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 3138 0 0 0 990 7 0 0 25 0 1 0 893356353 7929856 1176 4294967295 134512640 134716908 3221224592 3221220728 1077410226 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1936 1176 1111 63 0 1873 0 vsize: 7744 [startup+20.0015 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 5498 0 0 0 1983 14 0 0 25 0 1 0 893356353 7553024 1156 4294967295 134512640 134716908 3221224592 3221222732 1077379823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1844 1156 1111 63 0 1781 0 vsize: 7376 [startup+30.0012 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 8647 0 0 0 2975 22 0 0 25 0 1 0 893356353 7872512 1188 4294967295 134512640 134716908 3221224592 3221220560 1075965301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1922 1188 1111 63 0 1859 0 vsize: 7688 [startup+40.0013 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 12885 0 0 0 3962 35 0 0 25 0 1 0 893356353 7589888 1165 4294967295 134512640 134716908 3221224592 3221223264 134535767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1853 1165 1111 63 0 1790 0 vsize: 7412 [startup+50.0018 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 16778 0 0 0 4953 44 0 0 25 0 1 0 893356353 8093696 1200 4294967295 134512640 134716908 3221224592 3221221572 1075964044 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1976 1200 1111 63 0 1913 0 vsize: 7904 [startup+60.0025 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 21304 0 0 0 5943 55 0 0 25 0 1 0 893356353 8392704 1278 4294967295 134512640 134716908 3221224592 3221221120 1075119984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2049 1279 1111 63 0 1986 0 vsize: 8196 [startup+70.0035 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 25149 0 0 0 6933 65 0 0 25 0 1 0 893356353 8269824 1257 4294967295 134512640 134716908 3221224592 3221220540 1074788968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2019 1257 1111 63 0 1956 0 vsize: 8076 [startup+80.003 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 30717 0 0 0 7918 80 0 0 25 0 1 0 893356353 8138752 1299 4294967295 134512640 134716908 3221224592 3221222576 1074052260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1299 1111 63 0 1924 0 vsize: 7948 [startup+90.0027 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 37456 0 0 0 8901 97 0 0 25 0 1 0 893356353 8761344 1383 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2139 1383 1111 63 0 2076 0 vsize: 8556 [startup+100.003 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 42631 0 0 0 9888 110 0 0 25 0 1 0 893356353 9019392 1455 4294967295 134512640 134716908 3221224592 3221220556 1074788241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2202 1455 1111 63 0 2139 0 vsize: 8808 [startup+110.003 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 48026 0 0 0 10872 126 0 0 25 0 1 0 893356353 8937472 1495 4294967295 134512640 134716908 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2182 1495 1111 63 0 2119 0 vsize: 8728 [startup+120.003 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 52056 0 0 0 11862 137 0 0 25 0 1 0 893356353 9375744 1531 4294967295 134512640 134716908 3221224592 3221221248 1075966495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2289 1531 1111 63 0 2226 0 vsize: 9156 [startup+130.003 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 56688 0 0 0 12850 149 0 0 25 0 1 0 893356353 9576448 1600 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2338 1600 1111 63 0 2275 0 vsize: 9352 [startup+140.003 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 60614 0 0 0 13840 159 0 0 25 0 1 0 893356353 9744384 1629 4294967295 134512640 134716908 3221224592 3221220732 1075093406 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2379 1629 1111 63 0 2316 0 vsize: 9516 [startup+150.003 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 64232 0 0 0 14831 168 0 0 25 0 1 0 893356353 10199040 1712 4294967295 134512640 134716908 3221224592 3221220800 1076111660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2490 1712 1111 63 0 2427 0 vsize: 9960 [startup+160.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 67731 0 0 0 15822 177 0 0 25 0 1 0 893356353 9867264 1667 4294967295 134512640 134716908 3221224592 3221220864 1074961351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2409 1667 1111 63 0 2346 0 vsize: 9636 [startup+170.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 72107 0 0 0 16809 190 0 0 25 0 1 0 893356353 10240000 1727 4294967295 134512640 134716908 3221224592 3221220692 1075964221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2500 1727 1111 63 0 2437 0 vsize: 10000 [startup+180.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 76155 0 0 0 17800 200 0 0 25 0 1 0 893356353 9883648 1726 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2413 1726 1111 63 0 2350 0 vsize: 9652 [startup+190.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 80204 0 0 0 18790 210 0 0 25 0 1 0 893356353 10477568 1812 4294967295 134512640 134716908 3221224592 3221220476 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2558 1812 1111 63 0 2495 0 vsize: 10232 [startup+200.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 84580 0 0 0 19779 221 0 0 25 0 1 0 893356353 10125312 1785 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2472 1785 1111 63 0 2409 0 vsize: 9888 [startup+210.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 90848 0 0 0 20763 238 0 0 25 0 1 0 893356353 10838016 1899 4294967295 134512640 134716908 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2646 1899 1111 63 0 2583 0 vsize: 10584 [startup+220.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 97085 0 0 0 21745 255 0 0 25 0 1 0 893356353 11087872 1958 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2707 1958 1111 63 0 2644 0 vsize: 10828 [startup+230.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 101696 0 0 0 22732 268 0 0 25 0 1 0 893356353 11329536 1966 4294967295 134512640 134716908 3221224592 3221221620 1075964258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2766 1966 1111 63 0 2703 0 vsize: 11064 [startup+240.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 106403 0 0 0 23721 280 0 0 25 0 1 0 893356353 11538432 2070 4294967295 134512640 134716908 3221224592 3221220476 1074788968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2817 2070 1111 63 0 2754 0 vsize: 11268 [startup+250.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 110868 0 0 0 24709 292 0 0 25 0 1 0 893356353 11296768 2073 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2758 2073 1111 63 0 2695 0 vsize: 11032 [startup+260.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 115285 0 0 0 25697 304 0 0 25 0 1 0 893356353 11485184 2119 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2804 2119 1111 63 0 2741 0 vsize: 11216 [startup+270.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 119432 0 0 0 26686 315 0 0 25 0 1 0 893356353 11665408 2163 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2848 2163 1111 63 0 2785 0 vsize: 11392 [startup+280.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 123334 0 0 0 27677 325 0 0 25 0 1 0 893356353 12218368 2240 4294967295 134512640 134716908 3221224592 3221220864 1074960898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2983 2240 1111 63 0 2920 0 vsize: 11932 [startup+290.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 127525 0 0 0 28666 335 0 0 25 0 1 0 893356353 12382208 2288 4294967295 134512640 134716908 3221224592 3221221712 1074834307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3023 2288 1111 63 0 2960 0 vsize: 12092 [startup+300.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 131639 0 0 0 29656 346 0 0 25 0 1 0 893356353 12238848 2303 4294967295 134512640 134716908 3221224592 3221222512 1075799727 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2988 2303 1111 63 0 2925 0 vsize: 11952 [startup+310.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 135672 0 0 0 30646 356 0 0 25 0 1 0 893356353 12947456 2389 4294967295 134512640 134716908 3221224592 3221220524 1074788159 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3161 2389 1111 63 0 3098 0 vsize: 12644 [startup+320.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 139643 0 0 0 31636 366 0 0 25 0 1 0 893356353 12578816 2386 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 2386 1111 63 0 3008 0 vsize: 12284 [startup+330.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 143545 0 0 0 32626 377 0 0 25 0 1 0 893356353 13209600 2470 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3225 2470 1111 63 0 3162 0 vsize: 12900 [startup+340.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 147214 0 0 0 33617 386 0 0 25 0 1 0 893356353 12894208 2463 4294967295 134512640 134716908 3221224592 3221222952 1074207649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3148 2463 1111 63 0 3085 0 vsize: 12592 [startup+350.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 152667 0 0 0 34602 400 0 0 25 0 1 0 893356353 13504512 2532 4294967295 134512640 134716908 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3297 2536 1111 63 0 3234 0 vsize: 13188 [startup+360.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 158150 0 0 0 35588 415 0 0 25 0 1 0 893356353 13467648 2601 4294967295 134512640 134716908 3221224592 3221223188 134543703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3288 2601 1111 63 0 3225 0 vsize: 13152 [startup+370.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 162877 0 0 0 36573 429 0 0 25 0 1 0 893356353 14098432 2697 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3442 2697 1111 63 0 3379 0 vsize: 13768 [startup+380.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 166383 0 0 0 37564 437 0 0 25 0 1 0 893356353 13967360 2724 4294967295 134512640 134716908 3221224592 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3410 2724 1111 63 0 3347 0 vsize: 13640 [startup+390.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 170052 0 0 0 38555 447 0 0 25 0 1 0 893356353 14123008 2763 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3448 2763 1111 63 0 3385 0 vsize: 13792 [startup+400.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 174544 0 0 0 39543 459 0 0 25 0 1 0 893356353 14319616 2809 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3496 2809 1111 63 0 3433 0 vsize: 13984 [startup+410.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 179657 0 0 0 40531 472 0 0 25 0 1 0 893356353 15175680 2932 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3705 2932 1111 63 0 3642 0 vsize: 14820 [startup+420.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 184441 0 0 0 41517 485 0 0 25 0 1 0 893356353 14966784 2962 4294967295 134512640 134716908 3221224592 3221223008 134699762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3654 2962 1111 63 0 3591 0 vsize: 14616 [startup+430.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 190396 0 0 0 42500 503 0 0 25 0 1 0 893356353 15343616 3061 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3746 3061 1111 63 0 3683 0 vsize: 14984 [startup+440.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 196014 0 0 0 43485 518 0 0 25 0 1 0 893356353 15704064 3148 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3834 3148 1111 63 0 3771 0 vsize: 15336 [startup+450.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 200815 0 0 0 44471 532 0 0 25 0 1 0 893356353 16388096 3244 4294967295 134512640 134716908 3221224592 3221220820 1075114969 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4001 3245 1111 63 0 3938 0 vsize: 16004 [startup+460.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 205804 0 0 0 45458 545 0 0 25 0 1 0 893356353 16654336 3321 4294967295 134512640 134716908 3221224592 3221221136 1075088560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4066 3321 1111 63 0 4003 0 vsize: 16264 [startup+470.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 211177 0 0 0 46446 558 0 0 25 0 1 0 893356353 16666624 3383 4294967295 134512640 134716908 3221224592 3221222236 1077377470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4069 3383 1111 63 0 4006 0 vsize: 16276 [startup+480.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 215677 0 0 0 47434 570 0 0 25 0 1 0 893356353 17346560 3488 4294967295 134512640 134716908 3221224592 3221220560 1074872771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4235 3489 1111 63 0 4172 0 vsize: 16940 [startup+490.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 220067 0 0 0 48424 581 0 0 25 0 1 0 893356353 17166336 3506 4294967295 134512640 134716908 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4191 3506 1111 63 0 4128 0 vsize: 16764 [startup+500.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 224692 0 0 0 49411 593 0 0 25 0 1 0 893356353 17387520 3560 4294967295 134512640 134716908 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4245 3560 1111 63 0 4182 0 vsize: 16980 [startup+510.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 229395 0 0 0 50400 605 0 0 25 0 1 0 893356353 17588224 3609 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4294 3609 1111 63 0 4231 0 vsize: 17176 [startup+520.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 234384 0 0 0 51388 617 0 0 25 0 1 0 893356353 18284544 3714 4294967295 134512640 134716908 3221224592 3221220752 1074794571 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4464 3714 1111 63 0 4401 0 vsize: 17856 [startup+530.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 240005 0 0 0 52373 632 0 0 25 0 1 0 893356353 18255872 3772 4294967295 134512640 134716908 3221224592 3221222696 1077374764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4457 3772 1111 63 0 4394 0 vsize: 17828 [startup+540.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 244805 0 0 0 53360 645 0 0 25 0 1 0 893356353 18890752 3868 4294967295 134512640 134716908 3221224592 3221220560 1075965303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4612 3868 1111 63 0 4549 0 vsize: 18448 [startup+550.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 249863 0 0 0 54344 661 0 0 25 0 1 0 893356353 19279872 3957 4294967295 134512640 134716908 3221224592 3221220552 1075964733 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4707 3957 1111 63 0 4644 0 vsize: 18828 [startup+560.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 255093 0 0 0 55331 674 0 0 25 0 1 0 893356353 19595264 4030 4294967295 134512640 134716908 3221224592 3221220864 1074961246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4784 4030 1111 63 0 4721 0 vsize: 19136 [startup+570.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 259198 0 0 0 56319 687 0 0 25 0 1 0 893356353 19865600 4103 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4850 4103 1111 63 0 4787 0 vsize: 19400 [startup+580.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 263614 0 0 0 57307 699 0 0 25 0 1 0 893356353 20238336 4163 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4941 4163 1111 63 0 4878 0 vsize: 19764 [startup+590.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 268346 0 0 0 58294 712 0 0 25 0 1 0 893356353 20086784 4207 4294967295 134512640 134716908 3221224592 3221223360 134597631 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4904 4207 1111 63 0 4841 0 vsize: 19616 [startup+600.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 273052 0 0 0 59283 723 0 0 25 0 1 0 893356353 20705280 4308 4294967295 134512640 134716908 3221224592 3221220912 1075171638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5055 4308 1111 63 0 4992 0 vsize: 20220 [startup+610.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 278088 0 0 0 60269 737 0 0 25 0 1 0 893356353 20668416 4359 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5046 4359 1111 63 0 4983 0 vsize: 20184 [startup+620.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 283197 0 0 0 61255 752 0 0 25 0 1 0 893356353 21405696 4475 4294967295 134512640 134716908 3221224592 3221221152 1076046556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5226 4475 1111 63 0 5163 0 vsize: 20904 [startup+630.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 288607 0 0 0 62240 766 0 0 25 0 1 0 893356353 21364736 4530 4294967295 134512640 134716908 3221224592 3221222552 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5216 4530 1111 63 0 5153 0 vsize: 20864 [startup+640.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 293264 0 0 0 63227 779 0 0 25 0 1 0 893356353 22036480 4627 4294967295 134512640 134716908 3221224592 3221221136 1075088573 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5380 4627 1111 63 0 5317 0 vsize: 21520 [startup+650.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 297902 0 0 0 64214 791 0 0 25 0 1 0 893356353 22360064 4715 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5459 4715 1111 63 0 5396 0 vsize: 21836 [startup+660.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 302356 0 0 0 65201 805 0 0 25 0 1 0 893356353 22622208 4772 4294967295 134512640 134716908 3221224592 3221221104 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5523 4772 1111 63 0 5460 0 vsize: 22092 [startup+670.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 307433 0 0 0 66188 818 0 0 25 0 1 0 893356353 23035904 4846 4294967295 134512640 134716908 3221224592 3221221572 1075964094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5624 4846 1111 63 0 5561 0 vsize: 22496 [startup+680.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 312169 0 0 0 67175 832 0 0 25 0 1 0 893356353 23371776 4958 4294967295 134512640 134716908 3221224592 3221220752 1074794575 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5706 4958 1111 63 0 5643 0 vsize: 22824 [startup+690.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 317021 0 0 0 68161 845 0 0 25 0 1 0 893356353 23379968 5009 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5708 5009 1111 63 0 5645 0 vsize: 22832 [startup+700.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 321849 0 0 0 69149 858 0 0 25 0 1 0 893356353 23773184 5119 4294967295 134512640 134716908 3221224592 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5804 5119 1111 63 0 5741 0 vsize: 23216 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 325811 0 0 0 70140 867 0 0 25 0 1 0 893356353 23814144 5129 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5814 5129 1111 63 0 5751 0 vsize: 23256 [startup+720.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 329676 0 0 0 71130 877 0 0 25 0 1 0 893356353 23920640 5155 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5840 5155 1111 63 0 5777 0 vsize: 23360 [startup+730.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 333955 0 0 0 72118 889 0 0 25 0 1 0 893356353 23994368 5173 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5858 5173 1111 63 0 5795 0 vsize: 23432 [startup+740.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 338032 0 0 0 73108 899 0 0 25 0 1 0 893356353 24612864 5238 4294967295 134512640 134716908 3221224592 3221221192 1075850782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6009 5238 1111 63 0 5946 0 vsize: 24036 [startup+750.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 342094 0 0 0 74097 911 0 0 25 0 1 0 893356353 24182784 5219 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5904 5219 1111 63 0 5841 0 vsize: 23616 [startup+760.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 346483 0 0 0 75085 922 0 0 25 0 1 0 893356353 24293376 5246 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5931 5246 1111 63 0 5868 0 vsize: 23724 [startup+770.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 350707 0 0 0 76075 933 0 0 25 0 1 0 893356353 24772608 5306 4294967295 134512640 134716908 3221224592 3221220704 1075895905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6048 5306 1111 63 0 5985 0 vsize: 24192 [startup+780.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 354962 0 0 0 77065 943 0 0 25 0 1 0 893356353 24616960 5325 4294967295 134512640 134716908 3221224592 3221222056 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6010 5325 1111 63 0 5947 0 vsize: 24040 [startup+790.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 358812 0 0 0 78055 954 0 0 25 0 1 0 893356353 24686592 5342 4294967295 134512640 134716908 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6027 5342 1111 63 0 5964 0 vsize: 24108 [startup+800.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 363044 0 0 0 79044 964 0 0 25 0 1 0 893356353 25481216 5449 4294967295 134512640 134716908 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6221 5449 1111 63 0 6158 0 vsize: 24884 [startup+810.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 367143 0 0 0 80034 975 0 0 25 0 1 0 893356353 24866816 5385 4294967295 134512640 134716908 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6071 5385 1111 63 0 6008 0 vsize: 24284 [startup+820.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 371138 0 0 0 81025 984 0 0 25 0 1 0 893356353 25325568 5448 4294967295 134512640 134716908 3221224592 3221221168 1076048232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6183 5448 1111 63 0 6120 0 vsize: 24732 [startup+830.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 374959 0 0 0 82015 993 0 0 25 0 1 0 893356353 25464832 5476 4294967295 134512640 134716908 3221224592 3221220864 1074960828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5476 1111 63 0 6154 0 vsize: 24868 [startup+840.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 378777 0 0 0 83006 1003 0 0 25 0 1 0 893356353 25534464 5488 4294967295 134512640 134716908 3221224592 3221221664 1074867358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6234 5488 1111 63 0 6171 0 vsize: 24936 [startup+850.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 382948 0 0 0 83996 1014 0 0 25 0 1 0 893356353 25362432 5508 4294967295 134512640 134716908 3221224592 3221222664 1077377725 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6192 5508 1111 63 0 6129 0 vsize: 24768 [startup+860.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 387618 0 0 0 84983 1026 0 0 25 0 1 0 893356353 26021888 5611 4294967295 134512640 134716908 3221224592 3221220500 1074786588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6353 5611 1111 63 0 6290 0 vsize: 25412 [startup+870.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 391806 0 0 0 85973 1037 0 0 25 0 1 0 893356353 25804800 5616 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6300 5616 1111 63 0 6237 0 vsize: 25200 [startup+880.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 395424 0 0 0 86964 1046 0 0 25 0 1 0 893356353 26001408 5664 4294967295 134512640 134716908 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6348 5664 1111 63 0 6285 0 vsize: 25392 [startup+890.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 399235 0 0 0 87955 1055 0 0 25 0 1 0 893356353 26451968 5714 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6458 5714 1111 63 0 6395 0 vsize: 25832 [startup+900.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 403018 0 0 0 88946 1064 0 0 25 0 1 0 893356353 26222592 5703 4294967295 134512640 134716908 3221224592 3221222592 1074918266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6402 5703 1111 63 0 6339 0 vsize: 25608 [startup+910.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 406935 0 0 0 89938 1073 0 0 25 0 1 0 893356353 26599424 5752 4294967295 134512640 134716908 3221224592 3221220524 1074788162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6494 5752 1111 63 0 6431 0 vsize: 25976 [startup+920.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 410768 0 0 0 90928 1083 0 0 25 0 1 0 893356353 27111424 5808 4294967295 134512640 134716908 3221224592 3221220740 1075964433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6619 5808 1111 63 0 6556 0 vsize: 26476 [startup+930.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 414426 0 0 0 91919 1092 0 0 25 0 1 0 893356353 27136000 5814 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6625 5814 1111 63 0 6562 0 vsize: 26500 [startup+940.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 418253 0 0 0 92909 1101 0 0 25 0 1 0 893356353 27275264 5831 4294967295 134512640 134716908 3221224592 3221220864 1074961149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6659 5831 1111 63 0 6596 0 vsize: 26636 [startup+950.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 421536 0 0 0 93902 1109 0 0 25 0 1 0 893356353 27303936 5856 4294967295 134512640 134716908 3221224592 3221220564 1074786571 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6666 5856 1111 63 0 6603 0 vsize: 26664 [startup+960.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 426401 0 0 0 94889 1122 0 0 25 0 1 0 893356353 27115520 5879 4294967295 134512640 134716908 3221224592 3221220736 1074969688 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6620 5879 1111 63 0 6557 0 vsize: 26480 [startup+970.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 430465 0 0 0 95880 1132 0 0 25 0 1 0 893356353 27635712 5988 4294967295 134512640 134716908 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6747 5988 1111 63 0 6684 0 vsize: 26988 [startup+980.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 434054 0 0 0 96871 1140 0 0 25 0 1 0 893356353 27922432 6013 4294967295 134512640 134716908 3221224592 3221221664 1074867334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6817 6013 1111 63 0 6754 0 vsize: 27268 [startup+990.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 437512 0 0 0 97864 1148 0 0 25 0 1 0 893356353 27148288 5942 4294967295 134512640 134716908 3221224592 3221223376 134529103 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6628 5942 1111 63 0 6565 0 vsize: 26512 [startup+1000.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 442123 0 0 0 98851 1160 0 0 25 0 1 0 893356353 27725824 6028 4294967295 134512640 134716908 3221224592 3221220556 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6769 6028 1111 63 0 6706 0 vsize: 27076 [startup+1010.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 445957 0 0 0 99842 1170 0 0 25 0 1 0 893356353 27848704 6052 4294967295 134512640 134716908 3221224592 3221220960 1075894487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6799 6052 1111 63 0 6736 0 vsize: 27196 [startup+1020.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 450590 0 0 0 100829 1183 0 0 25 0 1 0 893356353 28114944 6121 4294967295 134512640 134716908 3221224592 3221220772 1075964248 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6864 6121 1111 63 0 6801 0 vsize: 27456 [startup+1030.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 454948 0 0 0 101817 1195 0 0 25 0 1 0 893356353 28295168 6168 4294967295 134512640 134716908 3221224592 3221220552 1075964730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6908 6168 1111 63 0 6845 0 vsize: 27632 [startup+1040.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 458818 0 0 0 102808 1204 0 0 25 0 1 0 893356353 28110848 6179 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6863 6179 1111 63 0 6800 0 vsize: 27452 [startup+1050.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 462221 0 0 0 103802 1211 0 0 25 0 1 0 893356353 29003776 6272 4294967295 134512640 134716908 3221224592 3221220800 1074815231 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7081 6272 1111 63 0 7018 0 vsize: 28324 [startup+1060.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 465675 0 0 0 104794 1219 0 0 25 0 1 0 893356353 28733440 6282 4294967295 134512640 134716908 3221224592 3221220864 1074960898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7015 6282 1111 63 0 6952 0 vsize: 28060 [startup+1070.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 469337 0 0 0 105785 1228 0 0 25 0 1 0 893356353 29171712 6359 4294967295 134512640 134716908 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7122 6360 1111 63 0 7059 0 vsize: 28488 [startup+1080.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 473089 0 0 0 106776 1237 0 0 25 0 1 0 893356353 29220864 6322 4294967295 134512640 134716908 3221224592 3221220408 1074788443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7134 6322 1111 63 0 7071 0 vsize: 28536 [startup+1090.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 477136 0 0 0 107766 1248 0 0 25 0 1 0 893356353 29036544 6324 4294967295 134512640 134716908 3221224592 3221220692 1075964252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7089 6324 1111 63 0 7026 0 vsize: 28356 [startup+1100.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 480740 0 0 0 108757 1257 0 0 25 0 1 0 893356353 29310976 6341 4294967295 134512640 134716908 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7156 6341 1111 63 0 7093 0 vsize: 28624 [startup+1110.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 484593 0 0 0 109747 1267 0 0 25 0 1 0 893356353 29003776 6340 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7081 6340 1111 63 0 7018 0 vsize: 28324 [startup+1120.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 488587 0 0 0 110737 1277 0 0 25 0 1 0 893356353 28700672 6323 4294967295 134512640 134716908 3221224592 3221222240 1075818290 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7007 6323 1111 63 0 6944 0 vsize: 28028 [startup+1130.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 492786 0 0 0 111726 1288 0 0 25 0 1 0 893356353 29622272 6422 4294967295 134512640 134716908 3221224592 3221220752 1075092605 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7232 6422 1111 63 0 7169 0 vsize: 28928 [startup+1140.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 496494 0 0 0 112717 1297 0 0 25 0 1 0 893356353 28946432 6383 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7067 6383 1111 63 0 7004 0 vsize: 28268 [startup+1150.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 500817 0 0 0 113706 1308 0 0 25 0 1 0 893356353 29011968 6399 4294967295 134512640 134716908 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7083 6399 1111 63 0 7020 0 vsize: 28332 [startup+1160.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 504917 0 0 0 114695 1319 0 0 25 0 1 0 893356353 29159424 6432 4294967295 134512640 134716908 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7119 6432 1111 63 0 7056 0 vsize: 28476 [startup+1170.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 508677 0 0 0 115687 1328 0 0 25 0 1 0 893356353 30027776 6564 4294967295 134512640 134716908 3221224592 3221220752 1075093604 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7331 6564 1111 63 0 7268 0 vsize: 29324 [startup+1175.15 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 5371 Raw data (stat): 5371 (bsolo_lpr-v2) R 5370 7266 7265 0 -1 0 508677 0 0 0 115687 1328 0 0 25 0 1 0 893356353 30027776 6564 4294967295 134512640 134716908 3221224592 3221220752 1075093604 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7331 6564 1111 63 0 7268 0 vsize: 0 Child status: 10 Real time (s): 1175.15 CPU time (s): 1175.29 CPU user time (s): 1161.95 CPU system time (s): 13.345 CPU usage (%): 100.012 Max. virtual memory (Kb): 29324 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 86 #### END VERIFIER DATA ####