Name | normalized-opb/submitted/een/normalized-cap6000.opb |
MD5SUM | e584a5264af1e9b64f6a152de988bbbe |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -1384839 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 91110 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 12969603 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 800000 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 28761906 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.14 |
Number of variables | 6000 |
Total number of constraints | 2294 |
Number of constraints which are clauses | 421 |
Number of constraints which are cardinality constraints (but not clauses) | 1871 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-07 20:11:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27833 boxname=wulflinc3 idbench=391 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: e584a5264af1e9b64f6a152de988bbbe /oldhome/oroussel/tmp/wulflinc3/normalized-cap6000.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-cap6000.opb IDLAUNCH: 27833 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 889528 kB Buffers: 33964 kB Cached: 83508 kB SwapCached: 6016 kB Active: 50404 kB Inactive: 74436 kB HighTotal: 131008 kB HighFree: 88956 kB LowTotal: 903652 kB LowFree: 800572 kB SwapTotal: 2097136 kB SwapFree: 2090192 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5048 kB Slab: 14720 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 20:31:12 (client local time) WITH STATUS 0 IN 1175.56 SECONDS stats: 27833 7 1175.56 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 6000 variables and 2294 constraints. c After prepocess the problem consists of 5921 variables and 1997 constraints. c preprocess terminated 28.541 s c Initial Lower Bound: -8751053 c Lower Bound Elapsed time: 0.6655 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.54 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.85 0.95 0.93 2/54 15019 Raw data (stat): 15019 (runsolver) R 15018 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895765138 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0007 s] Raw data (loadavg): 0.87 0.95 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 2215 0 0 0 991 6 0 0 25 0 1 0 895765138 12107776 2113 4294967295 134512640 134716908 3221224576 3221223236 134627154 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2956 2113 1111 63 0 2893 0 vsize: 11824 [startup+20.0019 s] Raw data (loadavg): 0.89 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 2280 0 0 0 1990 7 0 0 25 0 1 0 895765138 12382208 2178 4294967295 134512640 134716908 3221224576 3221223248 134627233 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3023 2178 1111 63 0 2960 0 vsize: 12092 [startup+30.0025 s] Raw data (loadavg): 0.91 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 3486 0 0 0 2987 10 0 0 25 0 1 0 895765138 17084416 3257 4294967295 134512640 134716908 3221224576 3221221248 1076084864 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4171 3257 1111 63 0 4108 0 vsize: 16684 [startup+40.0022 s] Raw data (loadavg): 0.92 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 7057 0 0 0 3978 18 0 0 25 0 1 0 895765138 15396864 3039 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3039 1111 63 0 3696 0 vsize: 15036 [startup+50.0034 s] Raw data (loadavg): 0.93 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 9749 0 0 0 4972 25 0 0 25 0 1 0 895765138 17203200 3311 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4200 3311 1111 63 0 4137 0 vsize: 16800 [startup+60.0028 s] Raw data (loadavg): 0.94 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 12326 0 0 0 5966 31 0 0 25 0 1 0 895765138 15396864 3039 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3039 1111 63 0 3696 0 vsize: 15036 [startup+70.0037 s] Raw data (loadavg): 0.95 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 15069 0 0 0 6960 37 0 0 25 0 1 0 895765138 17235968 3318 4294967295 134512640 134716908 3221224576 3221221152 1076043574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4208 3318 1111 63 0 4145 0 vsize: 16832 [startup+80.0048 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 17581 0 0 0 7954 43 0 0 25 0 1 0 895765138 15396864 3039 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3039 1111 63 0 3696 0 vsize: 15036 [startup+90.0044 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 20207 0 0 0 8948 50 0 0 25 0 1 0 895765138 17260544 3308 4294967295 134512640 134716908 3221224576 3221221008 1075119627 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4214 3308 1111 63 0 4151 0 vsize: 16856 [startup+100.004 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 22597 0 0 0 9942 56 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+110.004 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 25383 0 0 0 10935 63 0 0 25 0 1 0 895765138 16736256 3167 4294967295 134512640 134716908 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4086 3167 1111 63 0 4023 0 vsize: 16344 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 27990 0 0 0 11930 69 0 0 25 0 1 0 895765138 17260544 3307 4294967295 134512640 134716908 3221224576 3221221104 1075119993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4214 3307 1111 63 0 4151 0 vsize: 16856 [startup+130.005 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 30382 0 0 0 12924 75 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+140.005 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 33168 0 0 0 13917 82 0 0 25 0 1 0 895765138 15474688 3059 4294967295 134512640 134716908 3221224576 3221223216 134651171 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3778 3059 1111 63 0 3715 0 vsize: 15112 [startup+150.005 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 35793 0 0 0 14911 88 0 0 25 0 1 0 895765138 17260544 3307 4294967295 134512640 134716908 3221224576 3221220632 1074860208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4214 3307 1111 63 0 4151 0 vsize: 16856 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 38184 0 0 0 15906 93 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 40912 0 0 0 16899 100 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 43548 0 0 0 17893 107 0 0 25 0 1 0 895765138 15691776 3077 4294967295 134512640 134716908 3221224576 3221222320 1075646943 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3831 3077 1111 63 0 3768 0 vsize: 15324 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 46077 0 0 0 18887 112 0 0 25 0 1 0 895765138 15835136 3146 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3866 3146 1111 63 0 3803 0 vsize: 15464 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 48689 0 0 0 19881 118 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 51304 0 0 0 20876 124 0 0 25 0 1 0 895765138 17260544 3306 4294967295 134512640 134716908 3221224576 3221221344 1076084878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4214 3306 1111 63 0 4151 0 vsize: 16856 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 53685 0 0 0 21871 129 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 56463 0 0 0 22864 137 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 59079 0 0 0 23858 142 0 0 25 0 1 0 895765138 17260544 3306 4294967295 134512640 134716908 3221224576 3221220572 1074860953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4214 3306 1111 63 0 4151 0 vsize: 16856 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 61451 0 0 0 24853 148 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 64205 0 0 0 25847 154 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 66941 0 0 0 26841 160 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 69541 0 0 0 27834 167 0 0 25 0 1 0 895765138 17256448 3305 4294967295 134512640 134716908 3221224576 3221220632 1074860227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4213 3305 1111 63 0 4150 0 vsize: 16852 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 71894 0 0 0 28829 173 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 74597 0 0 0 29821 180 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 77325 0 0 0 30816 187 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 79897 0 0 0 31810 193 0 0 25 0 1 0 895765138 17252352 3303 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4212 3303 1111 63 0 4149 0 vsize: 16848 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 82617 0 0 0 32805 199 0 0 25 0 1 0 895765138 17252352 3303 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4212 3303 1111 63 0 4149 0 vsize: 16848 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 85115 0 0 0 33798 205 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 88050 0 0 0 34792 211 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 91001 0 0 0 35785 219 0 0 25 0 1 0 895765138 16723968 3174 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4083 3174 1111 63 0 4020 0 vsize: 16332 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 93751 0 0 0 36780 224 0 0 25 0 1 0 895765138 17252352 3304 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4212 3304 1111 63 0 4149 0 vsize: 16848 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 96312 0 0 0 37775 229 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 99233 0 0 0 38769 235 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 102170 0 0 0 39763 241 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 104922 0 0 0 40757 247 0 0 25 0 1 0 895765138 17252352 3303 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4212 3303 1111 63 0 4149 0 vsize: 16848 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 107466 0 0 0 41750 254 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222916 1074138116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 110399 0 0 0 42743 262 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 113152 0 0 0 43736 269 0 0 25 0 1 0 895765138 17252352 3303 4294967295 134512640 134716908 3221224576 3221220704 1074880197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4212 3303 1111 63 0 4149 0 vsize: 16848 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 116103 0 0 0 44730 276 0 0 25 0 1 0 895765138 17248256 3303 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4211 3303 1111 63 0 4148 0 vsize: 16844 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 118651 0 0 0 45723 283 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 121569 0 0 0 46715 290 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 124493 0 0 0 47708 297 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 127412 0 0 0 48701 305 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 130264 0 0 0 49695 311 0 0 25 0 1 0 895765138 17317888 3324 4294967295 134512640 134716908 3221224576 3221221344 1076084878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4228 3324 1111 63 0 4165 0 vsize: 16912 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 133349 0 0 0 50688 319 0 0 25 0 1 0 895765138 17317888 3307 4294967295 134512640 134716908 3221224576 3221221616 1075971264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4228 3307 1111 63 0 4165 0 vsize: 16912 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 136071 0 0 0 51682 325 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 139201 0 0 0 52675 332 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221223176 134543125 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 142284 0 0 0 53668 339 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 145383 0 0 0 54663 344 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 148289 0 0 0 55657 351 0 0 25 0 1 0 895765138 17317888 3322 4294967295 134512640 134716908 3221224576 3221221600 1074810488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4228 3322 1111 63 0 4165 0 vsize: 16912 [startup+570.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 151003 0 0 0 56652 356 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 154108 0 0 0 57645 364 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 157213 0 0 0 58638 370 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 160099 0 0 0 59631 377 0 0 25 0 1 0 895765138 17317888 3322 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4228 3322 1111 63 0 4165 0 vsize: 16912 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 162826 0 0 0 60625 384 0 0 25 0 1 0 895765138 15687680 3054 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3830 3058 1111 63 0 3767 0 vsize: 15320 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 166290 0 0 0 61618 391 0 0 25 0 1 0 895765138 17317888 3324 4294967295 134512640 134716908 3221224576 3221221344 1076084869 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4228 3324 1111 63 0 4165 0 vsize: 16912 [startup+630.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 169008 0 0 0 62611 398 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138153 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+640.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 172098 0 0 0 63603 406 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 174972 0 0 0 64596 414 0 0 25 0 1 0 895765138 17305600 3324 4294967295 134512640 134716908 3221224576 3221221344 1076084878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3324 1111 63 0 4162 0 vsize: 16900 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 178030 0 0 0 65588 422 0 0 25 0 1 0 895765138 17305600 3323 4294967295 134512640 134716908 3221224576 3221221496 1074950105 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3323 1111 63 0 4162 0 vsize: 16900 [startup+670.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 181101 0 0 0 66580 430 0 0 25 0 1 0 895765138 17305600 3322 4294967295 134512640 134716908 3221224576 3221221344 1076084864 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3322 1111 63 0 4162 0 vsize: 16900 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 183784 0 0 0 67574 436 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 186852 0 0 0 68567 443 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+700.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 189893 0 0 0 69561 450 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+710.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 192931 0 0 0 70553 457 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 195729 0 0 0 71547 464 0 0 25 0 1 0 895765138 17309696 3334 4294967295 134512640 134716908 3221224576 3221221344 1076084878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4226 3334 1111 63 0 4163 0 vsize: 16904 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 198354 0 0 0 72541 470 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+740.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 201393 0 0 0 73534 477 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222852 1077374500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 204189 0 0 0 74528 483 0 0 25 0 1 0 895765138 17305600 3319 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3319 1111 63 0 4162 0 vsize: 16900 [startup+760.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 207042 0 0 0 75522 490 0 0 25 0 1 0 895765138 17305600 3319 4294967295 134512640 134716908 3221224576 3221221840 1075894372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3319 1111 63 0 4162 0 vsize: 16900 [startup+770.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 209885 0 0 0 76515 496 0 0 25 0 1 0 895765138 17305600 3318 4294967295 134512640 134716908 3221224576 3221220780 1075563849 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3318 1111 63 0 4162 0 vsize: 16900 [startup+780.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 212780 0 0 0 77508 504 0 0 25 0 1 0 895765138 17305600 3318 4294967295 134512640 134716908 3221224576 3221220896 1075170302 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4225 3318 1111 63 0 4162 0 vsize: 16900 [startup+790.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 215303 0 0 0 78503 509 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+800.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 218223 0 0 0 79496 516 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+810.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 221108 0 0 0 80489 523 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222888 1074138163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+820.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 224013 0 0 0 81482 531 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+830.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 226906 0 0 0 82475 538 0 0 25 0 1 0 895765138 16916480 3192 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4130 3192 1111 63 0 4067 0 vsize: 16520 [startup+840.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 229587 0 0 0 83468 545 0 0 25 0 1 0 895765138 17444864 3346 4294967295 134512640 134716908 3221224576 3221220572 1074860945 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4259 3346 1111 63 0 4196 0 vsize: 17036 [startup+850.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 232467 0 0 0 84461 552 0 0 25 0 1 0 895765138 17444864 3344 4294967295 134512640 134716908 3221224576 3221221616 1075859942 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4259 3344 1111 63 0 4196 0 vsize: 17036 [startup+860.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 234956 0 0 0 85456 558 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+870.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 237827 0 0 0 86448 566 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+880.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 240647 0 0 0 87441 573 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+890.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 243260 0 0 0 88437 578 0 0 25 0 1 0 895765138 17440768 3343 4294967295 134512640 134716908 3221224576 3221220632 1074860208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4258 3343 1111 63 0 4195 0 vsize: 17032 [startup+900.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 246020 0 0 0 89430 584 0 0 25 0 1 0 895765138 17440768 3343 4294967295 134512640 134716908 3221224576 3221220632 1074860223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4258 3343 1111 63 0 4195 0 vsize: 17032 [startup+910.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 248772 0 0 0 90424 591 0 0 25 0 1 0 895765138 17440768 3343 4294967295 134512640 134716908 3221224576 3221221412 1074786556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4258 3343 1111 63 0 4195 0 vsize: 17032 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 251390 0 0 0 91417 598 0 0 25 0 1 0 895765138 16347136 3187 4294967295 134512640 134716908 3221224576 3221221680 1074139007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3991 3187 1111 63 0 3928 0 vsize: 15964 [startup+930.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 253929 0 0 0 92411 604 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+940.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 257056 0 0 0 93403 612 0 0 25 0 1 0 895765138 17440768 3344 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4258 3344 1111 63 0 4195 0 vsize: 17032 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 259439 0 0 0 94397 618 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+960.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 262209 0 0 0 95391 625 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+970.037 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 265047 0 0 0 96383 633 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 267902 0 0 0 97376 640 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+990.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 270535 0 0 0 98370 647 0 0 25 0 1 0 895765138 17469440 3341 4294967295 134512640 134716908 3221224576 3221221344 1076084878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3341 1111 63 0 4202 0 vsize: 17060 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 273234 0 0 0 99363 653 0 0 25 0 1 0 895765138 17469440 3341 4294967295 134512640 134716908 3221224576 3221220444 1074787912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3341 1111 63 0 4202 0 vsize: 17060 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 275939 0 0 0 100356 660 0 0 25 0 1 0 895765138 17469440 3342 4294967295 134512640 134716908 3221224576 3221220948 1075965846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3342 1111 63 0 4202 0 vsize: 17060 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 278615 0 0 0 101350 666 0 0 25 0 1 0 895765138 17469440 3342 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3342 1111 63 0 4202 0 vsize: 17060 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 281225 0 0 0 102343 674 0 0 25 0 1 0 895765138 17469440 3342 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3342 1111 63 0 4202 0 vsize: 17060 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 283814 0 0 0 103337 680 0 0 25 0 1 0 895765138 17469440 3324 4294967295 134512640 134716908 3221224576 3221221580 1074621123 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3324 1111 63 0 4202 0 vsize: 17060 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 286401 0 0 0 104331 686 0 0 25 0 1 0 895765138 17465344 3323 4294967295 134512640 134716908 3221224576 3221220796 1075116820 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4264 3323 1111 63 0 4201 0 vsize: 17056 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 289000 0 0 0 105325 692 0 0 25 0 1 0 895765138 17465344 3341 4294967295 134512640 134716908 3221224576 3221221600 1074810548 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4264 3341 1111 63 0 4201 0 vsize: 17056 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 291508 0 0 0 106320 698 0 0 25 0 1 0 895765138 17469440 3343 4294967295 134512640 134716908 3221224576 3221220712 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4265 3343 1111 63 0 4202 0 vsize: 17060 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 293780 0 0 0 107314 703 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 296373 0 0 0 108309 709 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 299020 0 0 0 109302 716 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 301776 0 0 0 110297 722 0 0 25 0 1 0 895765138 16252928 3153 4294967295 134512640 134716908 3221224576 3221222496 1075799488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3968 3153 1111 63 0 3905 0 vsize: 15872 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 304316 0 0 0 111291 727 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 306959 0 0 0 112286 733 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 309609 0 0 0 113279 740 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 312214 0 0 0 114273 746 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 314818 0 0 0 115267 752 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 317454 0 0 0 116261 758 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 15036 [startup+1175.4 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 15019 Raw data (stat): 15019 (bsolo_lpr-v2) R 15018 20224 20223 0 -1 0 317454 0 0 0 116261 758 0 0 25 0 1 0 895765138 15396864 3040 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3759 3040 1111 63 0 3696 0 vsize: 0 Child status: 0 Real time (s): 1175.4 CPU time (s): 1175.56 CPU user time (s): 1167.93 CPU system time (s): 7.62884 CPU usage (%): 100.014 Max. virtual memory (Kb): 17060 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####