PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
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	360
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	360
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
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
Trace number 39540

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 12:42:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27606 boxname=wulflinc6 idbench=164 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc6/normalized-ii8a2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii8a2.opb
IDLAUNCH: 27606
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        838468 kB
Buffers:         33704 kB
Cached:         140308 kB
SwapCached:       1020 kB
Active:          33592 kB
Inactive:       142592 kB
HighTotal:      131008 kB
HighFree:        97104 kB
LowTotal:       903652 kB
LowFree:        741364 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            14220 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 13:01:57 (client local time) WITH STATUS 10 IN 1175.16 SECONDS
stats: 27606 0 1175.16 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 360 variables and 980 constraints.
c After prepocess the problem consists of 360 variables and 998 constraints.
c preprocess terminated 0.635 s
c Initial Lower Bound: 124
c Lower Bound Elapsed time: 0.106
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 152 @ 9.304
c NEW SOLUTION FOUND: 150 @ 9.368
c NEW SOLUTION FOUND: 149 @ 10.067
c NEW SOLUTION FOUND: 148 @ 10.977
c NEW SOLUTION FOUND: 147 @ 11.682
c NEW SOLUTION FOUND: 146 @ 14.743
c NEW SOLUTION FOUND: 145 @ 15.444
c NEW SOLUTION FOUND: 144 @ 16.647
c NEW SOLUTION FOUND: 143 @ 38.996
c NEW SOLUTION FOUND: 141 @ 41.179
c NEW SOLUTION FOUND: 140 @ 132.255
c NEW SOLUTION FOUND: 139 @ 412.069
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 
c Exit Code: 10
c Total time: 1175.15 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.97 0.95 2/54 14659
Raw data (stat): 14659 (runsolver) R 14658 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893076914 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.0013 s]
Raw data (loadavg): 0.87 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 5047 0 0 0 983 14 0 0 25 0 1 0 893076914 7065600 963 4294967295 134512640 134716908 3221224592 3221220588 1074786323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1725 963 1111 63 0 1662 0
vsize: 6900
[startup+20.0024 s]
Raw data (loadavg): 0.89 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 14719 0 0 0 1955 42 0 0 25 0 1 0 893076914 6832128 981 4294967295 134512640 134716908 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 981 1111 63 0 1605 0
vsize: 6672
[startup+30.0031 s]
Raw data (loadavg): 0.91 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 22571 0 0 0 2934 63 0 0 25 0 1 0 893076914 6868992 990 4294967295 134512640 134716908 3221224592 3221222416 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1677 990 1111 63 0 1614 0
vsize: 6708
[startup+40.0041 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 28589 0 0 0 3917 80 0 0 25 0 1 0 893076914 7315456 1037 4294967295 134512640 134716908 3221224592 3221220864 1074804039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1786 1037 1111 63 0 1723 0
vsize: 7144
[startup+50.0056 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 33767 0 0 0 4902 96 0 0 25 0 1 0 893076914 7311360 1036 4294967295 134512640 134716908 3221224592 3221220864 1074960887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 1036 1111 63 0 1722 0
vsize: 7140
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 38718 0 0 0 5889 109 0 0 25 0 1 0 893076914 6922240 1003 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1690 1003 1111 63 0 1627 0
vsize: 6760
[startup+70.0059 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 44362 0 0 0 6874 124 0 0 25 0 1 0 893076914 6922240 1003 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1690 1003 1111 63 0 1627 0
vsize: 6760
[startup+80.007 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 49772 0 0 0 7859 140 0 0 25 0 1 0 893076914 6922240 1003 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1690 1003 1111 63 0 1627 0
vsize: 6760
[startup+90.0069 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 55281 0 0 0 8843 156 0 0 25 0 1 0 893076914 6983680 1018 4294967295 134512640 134716908 3221224592 3221222992 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1705 1018 1111 63 0 1642 0
vsize: 6820
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 60778 0 0 0 9829 170 0 0 25 0 1 0 893076914 7069696 1024 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1714 1022 1111 63 0 1651 0
vsize: 6904
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 66222 0 0 0 10816 184 0 0 25 0 1 0 893076914 7028736 1027 4294967295 134512640 134716908 3221224592 3221223376 134624514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1716 1027 1111 63 0 1653 0
vsize: 6864
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 71589 0 0 0 11803 197 0 0 25 0 1 0 893076914 7454720 1067 4294967295 134512640 134716908 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1820 1067 1111 63 0 1757 0
vsize: 7280
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 76927 0 0 0 12789 212 0 0 25 0 1 0 893076914 7471104 1069 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1824 1069 1111 63 0 1761 0
vsize: 7296
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 82461 0 0 0 13772 228 0 0 25 0 1 0 893076914 7704576 1130 4294967295 134512640 134716908 3221224592 3221220768 1075414313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1881 1130 1111 63 0 1818 0
vsize: 7524
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 87657 0 0 0 14758 243 0 0 25 0 1 0 893076914 7159808 1061 4294967295 134512640 134716908 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 1061 1111 63 0 1685 0
vsize: 6992
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 93436 0 0 0 15743 258 0 0 25 0 1 0 893076914 7540736 1095 4294967295 134512640 134716908 3221224592 3221220752 1075093184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1841 1095 1111 63 0 1778 0
vsize: 7364
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 98740 0 0 0 16729 273 0 0 25 0 1 0 893076914 7204864 1072 4294967295 134512640 134716908 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1759 1072 1111 63 0 1696 0
vsize: 7036
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 104348 0 0 0 17713 289 0 0 25 0 1 0 893076914 7663616 1093 4294967295 134512640 134716908 3221224592 3221221596 1074621048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1871 1093 1111 63 0 1808 0
vsize: 7484
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 110164 0 0 0 18696 306 0 0 25 0 1 0 893076914 8044544 1182 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1964 1182 1111 63 0 1901 0
vsize: 7856
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 116054 0 0 0 19681 322 0 0 25 0 1 0 893076914 7823360 1133 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1910 1133 1111 63 0 1847 0
vsize: 7640
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 121733 0 0 0 20666 337 0 0 25 0 1 0 893076914 7462912 1135 4294967295 134512640 134716908 3221224592 3221223208 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1822 1135 1111 63 0 1759 0
vsize: 7288
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 127255 0 0 0 21653 350 0 0 25 0 1 0 893076914 8044544 1178 4294967295 134512640 134716908 3221224592 3221221712 1074835520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1964 1178 1111 63 0 1901 0
vsize: 7856
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 132982 0 0 0 22637 367 0 0 25 0 1 0 893076914 7593984 1167 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1854 1167 1111 63 0 1791 0
vsize: 7416
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 138045 0 0 0 23624 380 0 0 25 0 1 0 893076914 7593984 1167 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1854 1167 1111 63 0 1791 0
vsize: 7416
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 143857 0 0 0 24612 393 0 0 25 0 1 0 893076914 7618560 1170 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1860 1170 1111 63 0 1797 0
vsize: 7440
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 149552 0 0 0 25595 411 0 0 25 0 1 0 893076914 7950336 1178 4294967295 134512640 134716908 3221224592 3221221536 1074620132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1941 1178 1111 63 0 1878 0
vsize: 7764
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 155177 0 0 0 26579 426 0 0 25 0 1 0 893076914 7639040 1178 4294967295 134512640 134716908 3221224592 3221222320 1075828682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1865 1178 1111 63 0 1802 0
vsize: 7460
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 161009 0 0 0 27564 442 0 0 25 0 1 0 893076914 7647232 1180 4294967295 134512640 134716908 3221224592 3221222992 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1867 1180 1111 63 0 1804 0
vsize: 7468
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 166748 0 0 0 28548 459 0 0 25 0 1 0 893076914 8060928 1212 4294967295 134512640 134716908 3221224592 3221220820 1075114948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1968 1212 1111 63 0 1905 0
vsize: 7872
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 172379 0 0 0 29534 473 0 0 25 0 1 0 893076914 7712768 1196 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1883 1196 1111 63 0 1820 0
vsize: 7532
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 178515 0 0 0 30519 488 0 0 25 0 1 0 893076914 8105984 1230 4294967295 134512640 134716908 3221224592 3221220736 1074950918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 1230 1111 63 0 1916 0
vsize: 7916
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 184148 0 0 0 31504 503 0 0 25 0 1 0 893076914 8261632 1260 4294967295 134512640 134716908 3221224592 3221220864 1074961193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2017 1260 1111 63 0 1954 0
vsize: 8068
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 189868 0 0 0 32490 518 0 0 25 0 1 0 893076914 8269824 1276 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2019 1276 1111 63 0 1956 0
vsize: 8076
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 195275 0 0 0 33475 533 0 0 25 0 1 0 893076914 8335360 1297 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1297 1111 63 0 1972 0
vsize: 8140
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 199789 0 0 0 34463 545 0 0 25 0 1 0 893076914 7999488 1266 4294967295 134512640 134716908 3221224592 3221222972 1073962600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1953 1266 1111 63 0 1890 0
vsize: 7812
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 204666 0 0 0 35450 558 0 0 25 0 1 0 893076914 7999488 1266 4294967295 134512640 134716908 3221224592 3221222320 1075828432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1953 1266 1111 63 0 1890 0
vsize: 7812
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 210360 0 0 0 36435 574 0 0 25 0 1 0 893076914 8462336 1315 4294967295 134512640 134716908 3221224592 3221220820 1075115030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 1315 1111 63 0 2003 0
vsize: 8264
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 215369 0 0 0 37421 588 0 0 25 0 1 0 893076914 8716288 1297 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 1297 1111 63 0 2065 0
vsize: 8512
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 221546 0 0 0 38404 605 0 0 25 0 1 0 893076914 8536064 1331 4294967295 134512640 134716908 3221224592 3221220624 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2084 1331 1111 63 0 2021 0
vsize: 8336
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 227568 0 0 0 39390 620 0 0 25 0 1 0 893076914 8167424 1307 4294967295 134512640 134716908 3221224592 3221222832 1077378571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 1307 1111 63 0 1931 0
vsize: 7976
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 233926 0 0 0 40374 637 0 0 25 0 1 0 893076914 8216576 1319 4294967295 134512640 134716908 3221224592 3221222844 1074206272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 1319 1111 63 0 1943 0
vsize: 8024
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 239449 0 0 0 41359 651 0 0 25 0 1 0 893076914 8749056 1394 4294967295 134512640 134716908 3221224592 3221220864 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2136 1394 1111 63 0 2073 0
vsize: 8544
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 244260 0 0 0 42346 664 0 0 25 0 1 0 893076914 9105408 1468 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2223 1468 1111 63 0 2160 0
vsize: 8892
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 249484 0 0 0 43333 677 0 0 25 0 1 0 893076914 9678848 1542 4294967295 134512640 134716908 3221224592 3221220648 1074789767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2363 1542 1111 63 0 2300 0
vsize: 9452
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 255577 0 0 0 44317 694 0 0 25 0 1 0 893076914 9797632 1612 4294967295 134512640 134716908 3221224592 3221220468 1074786384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2392 1612 1111 63 0 2329 0
vsize: 9568
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 260374 0 0 0 45304 707 0 0 25 0 1 0 893076914 9416704 1620 4294967295 134512640 134716908 3221224592 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2299 1620 1111 63 0 2236 0
vsize: 9196
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 265946 0 0 0 46289 722 0 0 25 0 1 0 893076914 9723904 1695 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2374 1695 1111 63 0 2311 0
vsize: 9496
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 271236 0 0 0 47276 736 0 0 25 0 1 0 893076914 10612736 1839 4294967295 134512640 134716908 3221224592 3221220816 1075895705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2591 1839 1111 63 0 2528 0
vsize: 10364
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 276629 0 0 0 48263 749 0 0 25 0 1 0 893076914 10182656 1807 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1807 1111 63 0 2423 0
vsize: 9944
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 281950 0 0 0 49249 763 0 0 25 0 1 0 893076914 10403840 1861 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1861 1111 63 0 2477 0
vsize: 10160
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 287091 0 0 0 50235 778 0 0 25 0 1 0 893076914 11350016 1967 4294967295 134512640 134716908 3221224592 3221220624 1075965289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 1967 1111 63 0 2708 0
vsize: 11084
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 291769 0 0 0 51221 792 0 0 25 0 1 0 893076914 10813440 1961 4294967295 134512640 134716908 3221224592 3221222700 1073960008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2640 1961 1111 63 0 2577 0
vsize: 10560
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 297964 0 0 0 52206 808 0 0 25 0 1 0 893076914 11542528 2074 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2818 2074 1111 63 0 2755 0
vsize: 11272
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 303987 0 0 0 53189 825 0 0 25 0 1 0 893076914 11763712 2095 4294967295 134512640 134716908 3221224592 3221221168 1076044008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2872 2095 1111 63 0 2809 0
vsize: 11488
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 309215 0 0 0 54175 839 0 0 25 0 1 0 893076914 12017664 2125 4294967295 134512640 134716908 3221224592 3221220752 1075091819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2934 2125 1111 63 0 2871 0
vsize: 11736
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 314124 0 0 0 55162 853 0 0 25 0 1 0 893076914 11673600 2171 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2850 2171 1111 63 0 2787 0
vsize: 11400
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 319752 0 0 0 56147 867 0 0 25 0 1 0 893076914 11898880 2226 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 2226 1111 63 0 2842 0
vsize: 11620
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 325288 0 0 0 57135 880 0 0 25 0 1 0 893076914 11923456 2232 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2232 1111 63 0 2848 0
vsize: 11644
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 330493 0 0 0 58122 893 0 0 25 0 1 0 893076914 12652544 2282 4294967295 134512640 134716908 3221224592 3221221148 1075088528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3089 2282 1111 63 0 3026 0
vsize: 12356
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 334925 0 0 0 59111 905 0 0 25 0 1 0 893076914 12357632 2307 4294967295 134512640 134716908 3221224592 3221222560 1075961305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2307 1111 63 0 2954 0
vsize: 12068
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 340811 0 0 0 60093 923 0 0 25 0 1 0 893076914 13037568 2412 4294967295 134512640 134716908 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2382 1111 63 0 3019 0
vsize: 12732
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 346392 0 0 0 61081 935 0 0 25 0 1 0 893076914 13369344 2492 4294967295 134512640 134716908 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3264 2493 1111 63 0 3201 0
vsize: 13056
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 351837 0 0 0 62069 948 0 0 25 0 1 0 893076914 13336576 2444 4294967295 134512640 134716908 3221224592 3221221360 1076084217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3256 2444 1111 63 0 3193 0
vsize: 13024
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 357334 0 0 0 63054 963 0 0 25 0 1 0 893076914 12967936 2487 4294967295 134512640 134716908 3221224592 3221222320 1075828240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2487 1111 63 0 3103 0
vsize: 12664
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 362638 0 0 0 64038 979 0 0 25 0 1 0 893076914 13393920 2522 4294967295 134512640 134716908 3221224592 3221220692 1075964231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 2522 1111 63 0 3207 0
vsize: 13080
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 367911 0 0 0 65025 993 0 0 25 0 1 0 893076914 13021184 2500 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3179 2500 1111 63 0 3116 0
vsize: 12716
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 373163 0 0 0 66013 1005 0 0 25 0 1 0 893076914 13799424 2596 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2596 1111 63 0 3306 0
vsize: 13476
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 378732 0 0 0 66999 1019 0 0 25 0 1 0 893076914 14057472 2619 4294967295 134512640 134716908 3221224592 3221220864 1074961210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2619 1111 63 0 3369 0
vsize: 13728
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 383929 0 0 0 67986 1033 0 0 25 0 1 0 893076914 14438400 2696 4294967295 134512640 134716908 3221224592 3221220528 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2696 1111 63 0 3462 0
vsize: 14100
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 389890 0 0 0 68970 1049 0 0 25 0 1 0 893076914 13783040 2686 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2686 1111 63 0 3302 0
vsize: 13460
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 396100 0 0 0 69955 1064 0 0 25 0 1 0 893076914 14467072 2780 4294967295 134512640 134716908 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2780 1111 63 0 3469 0
vsize: 14128
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 401347 0 0 0 70941 1078 0 0 25 0 1 0 893076914 14397440 2744 4294967295 134512640 134716908 3221224592 3221220864 1074961496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3515 2744 1111 63 0 3452 0
vsize: 14060
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 407648 0 0 0 71926 1094 0 0 25 0 1 0 893076914 14045184 2751 4294967295 134512640 134716908 3221224592 3221222992 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2751 1111 63 0 3366 0
vsize: 13716
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 413861 0 0 0 72909 1111 0 0 25 0 1 0 893076914 14073856 2758 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3436 2758 1111 63 0 3373 0
vsize: 13744
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 417822 0 0 0 73898 1122 0 0 25 0 1 0 893076914 15179776 2879 4294967295 134512640 134716908 3221224592 3221220408 1074788430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3706 2879 1111 63 0 3643 0
vsize: 14824
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 422866 0 0 0 74884 1137 0 0 25 0 1 0 893076914 15245312 2906 4294967295 134512640 134716908 3221224592 3221221512 1075964775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3722 2906 1111 63 0 3659 0
vsize: 14888
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 427938 0 0 0 75870 1151 0 0 25 0 1 0 893076914 15519744 2975 4294967295 134512640 134716908 3221224592 3221220820 1075114940 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3789 2975 1111 63 0 3726 0
vsize: 15156
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 433218 0 0 0 76856 1166 0 0 25 0 1 0 893076914 15065088 3000 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3678 3000 1111 63 0 3615 0
vsize: 14712
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 438777 0 0 0 77841 1181 0 0 25 0 1 0 893076914 15187968 3030 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3708 3030 1111 63 0 3645 0
vsize: 14832
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 445023 0 0 0 78826 1196 0 0 25 0 1 0 893076914 15638528 3140 4294967295 134512640 134716908 3221224592 3221222296 1077380277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3818 3140 1111 63 0 3755 0
vsize: 15272
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 450356 0 0 0 79813 1209 0 0 25 0 1 0 893076914 15654912 3144 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 3144 1111 63 0 3759 0
vsize: 15288
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 455926 0 0 0 80798 1224 0 0 25 0 1 0 893076914 15749120 3167 4294967295 134512640 134716908 3221224592 3221222972 1074207552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3845 3167 1111 63 0 3782 0
vsize: 15380
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 462121 0 0 0 81784 1240 0 0 25 0 1 0 893076914 16166912 3211 4294967295 134512640 134716908 3221224592 3221220752 1074794673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3947 3211 1111 63 0 3884 0
vsize: 15788
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 467987 0 0 0 82768 1255 0 0 25 0 1 0 893076914 15953920 3217 4294967295 134512640 134716908 3221224592 3221222588 1077378564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3895 3217 1111 63 0 3832 0
vsize: 15580
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 474040 0 0 0 83753 1270 0 0 25 0 1 0 893076914 16011264 3231 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3231 1111 63 0 3846 0
vsize: 15636
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 480282 0 0 0 84737 1287 0 0 25 0 1 0 893076914 16084992 3249 4294967295 134512640 134716908 3221224592 3221222240 1074247426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3960 3250 1111 63 0 3897 0
vsize: 15708
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 486102 0 0 0 85722 1302 0 0 25 0 1 0 893076914 16506880 3290 4294967295 134512640 134716908 3221224592 3221220560 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4030 3290 1111 63 0 3967 0
vsize: 16120
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 492224 0 0 0 86705 1320 0 0 25 0 1 0 893076914 16306176 3303 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3303 1111 63 0 3918 0
vsize: 15924
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 498115 0 0 0 87689 1336 0 0 25 0 1 0 893076914 17203200 3401 4294967295 134512640 134716908 3221224592 3221220624 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 3401 1111 63 0 4137 0
vsize: 16800
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 504096 0 0 0 88675 1350 0 0 25 0 1 0 893076914 16760832 3400 4294967295 134512640 134716908 3221224592 3221222592 1074916420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3400 1111 63 0 4029 0
vsize: 16368
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 510136 0 0 0 89661 1365 0 0 25 0 1 0 893076914 17211392 3463 4294967295 134512640 134716908 3221224592 3221221360 1076083615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3463 1111 63 0 4139 0
vsize: 16808
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 515799 0 0 0 90645 1380 0 0 25 0 1 0 893076914 16850944 3436 4294967295 134512640 134716908 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 3436 1111 63 0 4051 0
vsize: 16456
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 521369 0 0 0 91631 1395 0 0 25 0 1 0 893076914 17592320 3450 4294967295 134512640 134716908 3221224592 3221221636 1074846155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4295 3450 1111 63 0 4232 0
vsize: 17180
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 526583 0 0 0 92617 1410 0 0 25 0 1 0 893076914 16883712 3444 4294967295 134512640 134716908 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4122 3444 1111 63 0 4059 0
vsize: 16488
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 532402 0 0 0 93602 1425 0 0 25 0 1 0 893076914 17031168 3480 4294967295 134512640 134716908 3221224592 3221222928 1074153680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3480 1111 63 0 4095 0
vsize: 16632
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 537494 0 0 0 94590 1437 0 0 25 0 1 0 893076914 17461248 3521 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4263 3521 1111 63 0 4200 0
vsize: 17052
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 542391 0 0 0 95576 1451 0 0 25 0 1 0 893076914 17108992 3497 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3497 1111 63 0 4114 0
vsize: 16708
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 547447 0 0 0 96563 1464 0 0 25 0 1 0 893076914 17465344 3535 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4264 3535 1111 63 0 4201 0
vsize: 17056
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 552809 0 0 0 97549 1479 0 0 25 0 1 0 893076914 17100800 3497 4294967295 134512640 134716908 3221224592 3221222592 1074917520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3497 1111 63 0 4112 0
vsize: 16700
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 558977 0 0 0 98535 1493 0 0 25 0 1 0 893076914 17518592 3541 4294967295 134512640 134716908 3221224592 3221220720 1075112086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3541 1111 63 0 4214 0
vsize: 17108
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 565112 0 0 0 99519 1509 0 0 25 0 1 0 893076914 17641472 3556 4294967295 134512640 134716908 3221224592 3221220592 1075088813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 3556 1111 63 0 4244 0
vsize: 17228
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 570857 0 0 0 100504 1525 0 0 25 0 1 0 893076914 17281024 3540 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4219 3540 1111 63 0 4156 0
vsize: 16876
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 576137 0 0 0 101490 1539 0 0 25 0 1 0 893076914 17416192 3546 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3546 1111 63 0 4189 0
vsize: 17008
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 581628 0 0 0 102476 1554 0 0 25 0 1 0 893076914 17776640 3612 4294967295 134512640 134716908 3221224592 3221220560 1075965287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3612 1111 63 0 4277 0
vsize: 17360
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 587448 0 0 0 103461 1569 0 0 25 0 1 0 893076914 17973248 3591 4294967295 134512640 134716908 3221224592 3221221184 1074887958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4388 3591 1111 63 0 4325 0
vsize: 17552
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14659
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 592866 0 0 0 104447 1584 0 0 25 0 1 0 893076914 17428480 3577 4294967295 134512640 134716908 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3577 1111 63 0 4192 0
vsize: 17020
[startup+1070.01 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 598696 0 0 0 105432 1598 0 0 25 0 1 0 893076914 18051072 3665 4294967295 134512640 134716908 3221224592 3221220976 1074971965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4407 3665 1111 63 0 4344 0
vsize: 17628
[startup+1080.01 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 604362 0 0 0 106417 1613 0 0 25 0 1 0 893076914 17473536 3588 4294967295 134512640 134716908 3221224592 3221222592 1074917054 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3588 1111 63 0 4203 0
vsize: 17064
[startup+1090.01 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 610818 0 0 0 107401 1630 0 0 25 0 1 0 893076914 17637376 3628 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4306 3628 1111 63 0 4243 0
vsize: 17224
[startup+1100.01 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 616994 0 0 0 108387 1644 0 0 25 0 1 0 893076914 17719296 3648 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4326 3648 1111 63 0 4263 0
vsize: 17304
[startup+1110.01 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 622917 0 0 0 109370 1662 0 0 25 0 1 0 893076914 18706432 3737 4294967295 134512640 134716908 3221224592 3221220472 1074788557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4567 3737 1111 63 0 4504 0
vsize: 18268
[startup+1120.01 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 628582 0 0 0 110355 1676 0 0 25 0 1 0 893076914 18071552 3734 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4412 3734 1111 63 0 4349 0
vsize: 17648
[startup+1130.01 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 14712
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 634401 0 0 0 111341 1691 0 0 25 0 1 0 893076914 18579456 3737 4294967295 134512640 134716908 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4536 3738 1111 63 0 4473 0
vsize: 18144
[startup+1140.01 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 14714
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 640356 0 0 0 112326 1706 0 0 25 0 1 0 893076914 18223104 3771 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4449 3771 1111 63 0 4386 0
vsize: 17796
[startup+1150.01 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 14714
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 646062 0 0 0 113314 1719 0 0 25 0 1 0 893076914 18485248 3835 4294967295 134512640 134716908 3221224592 3221222820 1077374062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 3835 1111 63 0 4450 0
vsize: 18052
[startup+1160.01 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 14714
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 651510 0 0 0 114300 1733 0 0 25 0 1 0 893076914 19361792 3966 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4727 3966 1111 63 0 4664 0
vsize: 18908
[startup+1170.01 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 14714
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 657387 0 0 0 115286 1748 0 0 25 0 1 0 893076914 18509824 3841 4294967295 134512640 134716908 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3841 1111 63 0 4456 0
vsize: 18076
[startup+1174.83 s]
Raw data (loadavg): 1.01 0.99 0.96 1/53 14714
Raw data (stat): 14659 (bsolo_lpr-v2) R 14658 25568 25567 0 -1 0 657387 0 0 0 115286 1748 0 0 25 0 1 0 893076914 18509824 3841 4294967295 134512640 134716908 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3841 1111 63 0 4456 0
vsize: 0

Child status: 10
Real time (s): 1174.83
CPU time (s): 1175.16
CPU user time (s): 1157.61
CPU system time (s): 17.5553
CPU usage (%): 100.028
Max. virtual memory (Kb): 18908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	139
#### END VERIFIER DATA ####