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-aim-200-6_0-yes1-4.opb
MD5SUM	d01b026f0dbb3ffe5ac207946f109d68
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	200
Optimality of the best value was proved	NO
Number of terms in the objective function	400
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	400
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	400
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	0.073988
Number of variables	400
Total number of constraints	1400
Number of constraints which are clauses	1393
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40672

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 17:46:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28720 boxname=wulflinc4 idbench=106 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d01b026f0dbb3ffe5ac207946f109d68  /oldhome/oroussel/tmp/wulflinc4/normalized-aim-200-6_0-yes1-4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-aim-200-6_0-yes1-4.opb
IDLAUNCH: 28720
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        867976 kB
Buffers:         23996 kB
Cached:         117208 kB
SwapCached:       5200 kB
Active:          25596 kB
Inactive:       122012 kB
HighTotal:      131008 kB
HighFree:        78372 kB
LowTotal:       903652 kB
LowFree:        789604 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13420 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:59:44 (client local time) WITH STATUS 30 IN 804.628 SECONDS
stats: 28720 0 804.628 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 400 variables and 1400 constraints.
c After prepocess the problem consists of 400 variables and 1385 constraints.
c preprocess terminated 0.285 s
c Initial Lower Bound: 136
c Lower Bound Elapsed time: 4.011
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 200 @ 6.741
s OPTIMUM FOUND
v x1 -x2 -x3 x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 -x31 x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50 -x51 x52 x53 -x54 -x55 x56 -x57 x58 -x59 x60 -x61 x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 -x85 x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 x99 -x100 -x101 x102 -x103 x104 x105 -x106 x107 -x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 x156 -x157 x158 x159 -x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 x178 x179 -x180 x181 -x182 -x183 x184 -x185 x186 x187 -x188 x189 -x190 -x191 x192 x193 -x194 x195 -x196 x197 -x198 -x199 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 -x219 x220 -x221 x222 -x223 x224 -x225 x226 -x227 x228 x229 -x230 -x231 x232 -x233 x234 x235 -x236 x237 -x238 -x239 x240 -x241 x242 x243 -x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252 -x253 x254 -x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 -x265 x266 -x267 x268 x269 -x270 x271 -x272 x273 -x274 -x275 x276 -x277 x278 -x279 x280 -x281 x282 -x283 x284 -x285 x286 x287 -x288 -x289 x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 x315 -x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 -x333 x334 x335 -x336 x337 -x338 x339 -x340 -x341 x342 -x343 x344 x345 -x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 x359 -x360 x361 -x362 -x363 x364 -x365 x366 -x367 x368 -x369 x370 x371 -x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 x382 -x383 x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 x399 -x400 
c Exit Code: 30
c Total time: 804.616 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.90 0.90 0.89 2/54 3090
Raw data (stat): 3090 (runsolver) R 3089 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903533437 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0009 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 1811 0 0 0 992 5 0 0 25 0 1 0 903533437 7901184 1160 4294967295 134512640 134716908 3221224560 3221220704 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1929 1160 1111 63 0 1866 0
vsize: 7716
[startup+20.0017 s]
Raw data (loadavg): 0.92 0.91 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 3237 0 0 0 1989 8 0 0 25 0 1 0 903533437 7774208 1153 4294967295 134512640 134716908 3221224560 3221220436 1074786553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1898 1153 1111 63 0 1835 0
vsize: 7592
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.91 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 4833 0 0 0 2986 12 0 0 25 0 1 0 903533437 8015872 1122 4294967295 134512640 134716908 3221224560 3221220708 1075964390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 1122 1111 63 0 1894 0
vsize: 7828
[startup+40.0024 s]
Raw data (loadavg): 0.94 0.91 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 6895 0 0 0 3980 17 0 0 25 0 1 0 903533437 8089600 1197 4294967295 134512640 134716908 3221224560 3221220444 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1975 1197 1111 63 0 1912 0
vsize: 7900
[startup+50.0023 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 7889 0 0 0 4978 20 0 0 25 0 1 0 903533437 8355840 1196 4294967295 134512640 134716908 3221224560 3221220896 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2040 1196 1111 63 0 1977 0
vsize: 8160
[startup+60.0035 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 9141 0 0 0 5975 23 0 0 25 0 1 0 903533437 8347648 1253 4294967295 134512640 134716908 3221224560 3221220768 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2038 1253 1111 63 0 1975 0
vsize: 8152
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 10195 0 0 0 6972 26 0 0 25 0 1 0 903533437 8212480 1237 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2005 1237 1111 63 0 1942 0
vsize: 8020
[startup+80.0042 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 11052 0 0 0 7969 29 0 0 25 0 1 0 903533437 7991296 1218 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 1218 1111 63 0 1888 0
vsize: 7804
[startup+90.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 12102 0 0 0 8967 32 0 0 25 0 1 0 903533437 7995392 1225 4294967295 134512640 134716908 3221224560 3221220436 1074786534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1225 1111 63 0 1889 0
vsize: 7808
[startup+100.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 13158 0 0 0 9964 34 0 0 25 0 1 0 903533437 7966720 1208 4294967295 134512640 134716908 3221224560 3221220528 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1945 1208 1111 63 0 1882 0
vsize: 7780
[startup+110.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 14988 0 0 0 10959 40 0 0 25 0 1 0 903533437 8339456 1269 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2036 1269 1111 63 0 1973 0
vsize: 8144
[startup+120.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 16657 0 0 0 11956 44 0 0 25 0 1 0 903533437 8347648 1277 4294967295 134512640 134716908 3221224560 3221221000 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2038 1277 1111 63 0 1975 0
vsize: 8152
[startup+130.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 18063 0 0 0 12953 46 0 0 25 0 1 0 903533437 8327168 1265 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2033 1265 1111 63 0 1970 0
vsize: 8132
[startup+140.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 19457 0 0 0 13950 50 0 0 25 0 1 0 903533437 8589312 1327 4294967295 134512640 134716908 3221224560 3221221088 1075397211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2097 1327 1111 63 0 2034 0
vsize: 8388
[startup+150.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 21107 0 0 0 14945 55 0 0 25 0 1 0 903533437 7929856 1204 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 1204 1111 63 0 1873 0
vsize: 7744
[startup+160.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 22494 0 0 0 15942 58 0 0 25 0 1 0 903533437 8224768 1277 4294967295 134512640 134716908 3221224560 3221220832 1074960806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2008 1277 1111 63 0 1945 0
vsize: 8032
[startup+170.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 23956 0 0 0 16938 63 0 0 25 0 1 0 903533437 8613888 1294 4294967295 134512640 134716908 3221224560 3221220832 1074961462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1294 1111 63 0 2040 0
vsize: 8412
[startup+180.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 25653 0 0 0 17933 67 0 0 25 0 1 0 903533437 8351744 1298 4294967295 134512640 134716908 3221224560 3221220572 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2039 1298 1111 63 0 1976 0
vsize: 8156
[startup+190.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 27357 0 0 0 18930 71 0 0 25 0 1 0 903533437 8364032 1304 4294967295 134512640 134716908 3221224560 3221220492 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 1304 1111 63 0 1979 0
vsize: 8168
[startup+200.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 28809 0 0 0 19926 75 0 0 25 0 1 0 903533437 8630272 1282 4294967295 134512640 134716908 3221224560 3221220428 1074787872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 1282 1111 63 0 2044 0
vsize: 8428
[startup+210.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 30367 0 0 0 20922 79 0 0 25 0 1 0 903533437 7630848 1194 4294967295 134512640 134716908 3221224560 3221222960 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1194 1111 63 0 1800 0
vsize: 7452
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 31926 0 0 0 21917 84 0 0 25 0 1 0 903533437 8491008 1339 4294967295 134512640 134716908 3221224560 3221220720 1074794684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 1339 1111 63 0 2010 0
vsize: 8292
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 32897 0 0 0 22914 87 0 0 25 0 1 0 903533437 7938048 1232 4294967295 134512640 134716908 3221224560 3221222288 1075828621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1938 1232 1111 63 0 1875 0
vsize: 7752
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 34093 0 0 0 23911 90 0 0 25 0 1 0 903533437 8470528 1317 4294967295 134512640 134716908 3221224560 3221220740 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2068 1317 1111 63 0 2005 0
vsize: 8272
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 35260 0 0 0 24908 93 0 0 25 0 1 0 903533437 8744960 1305 4294967295 134512640 134716908 3221224560 3221220688 1075112097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2135 1305 1111 63 0 2072 0
vsize: 8540
[startup+260.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 36689 0 0 0 25904 97 0 0 25 0 1 0 903533437 8482816 1313 4294967295 134512640 134716908 3221224560 3221220720 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2071 1313 1111 63 0 2008 0
vsize: 8284
[startup+270.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 38060 0 0 0 26900 101 0 0 25 0 1 0 903533437 8470528 1326 4294967295 134512640 134716908 3221224560 3221220788 1075115127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2068 1326 1111 63 0 2005 0
vsize: 8272
[startup+280.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 39189 0 0 0 27897 105 0 0 25 0 1 0 903533437 8749056 1301 4294967295 134512640 134716908 3221224560 3221220592 1075965253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2136 1301 1111 63 0 2073 0
vsize: 8544
[startup+290.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 40865 0 0 0 28893 109 0 0 25 0 1 0 903533437 8777728 1307 4294967295 134512640 134716908 3221224560 3221220896 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2143 1307 1111 63 0 2080 0
vsize: 8572
[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 42026 0 0 0 29891 112 0 0 25 0 1 0 903533437 7782400 1231 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 1231 1111 63 0 1837 0
vsize: 7600
[startup+310.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 43410 0 0 0 30888 115 0 0 25 0 1 0 903533437 8486912 1329 4294967295 134512640 134716908 3221224560 3221220892 1076111476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2072 1329 1111 63 0 2009 0
vsize: 8288
[startup+320.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 44874 0 0 0 31883 119 0 0 25 0 1 0 903533437 7798784 1235 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1904 1235 1111 63 0 1841 0
vsize: 7616
[startup+330.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 46539 0 0 0 32880 123 0 0 25 0 1 0 903533437 8519680 1341 4294967295 134512640 134716908 3221224560 3221220832 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2080 1341 1111 63 0 2017 0
vsize: 8320
[startup+340.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 47690 0 0 0 33877 126 0 0 25 0 1 0 903533437 8527872 1333 4294967295 134512640 134716908 3221224560 3221220768 1075895691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1333 1111 63 0 2019 0
vsize: 8328
[startup+350.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 48736 0 0 0 34874 129 0 0 25 0 1 0 903533437 8724480 1386 4294967295 134512640 134716908 3221224560 3221220468 1074786482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2130 1386 1111 63 0 2067 0
vsize: 8520
[startup+360.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 50032 0 0 0 35871 133 0 0 25 0 1 0 903533437 8704000 1370 4294967295 134512640 134716908 3221224560 3221220832 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 1370 1111 63 0 2062 0
vsize: 8500
[startup+370.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 50989 0 0 0 36869 135 0 0 25 0 1 0 903533437 7827456 1242 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1911 1242 1111 63 0 1848 0
vsize: 7644
[startup+380.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 52108 0 0 0 37866 138 0 0 25 0 1 0 903533437 8581120 1342 4294967295 134512640 134716908 3221224560 3221220660 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2095 1342 1111 63 0 2032 0
vsize: 8380
[startup+390.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 53537 0 0 0 38862 143 0 0 25 0 1 0 903533437 8904704 1321 4294967295 134512640 134716908 3221224560 3221221372 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2174 1321 1111 63 0 2111 0
vsize: 8696
[startup+400.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 54801 0 0 0 39859 146 0 0 25 0 1 0 903533437 8581120 1349 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2095 1349 1111 63 0 2032 0
vsize: 8380
[startup+410.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 56280 0 0 0 40856 149 0 0 25 0 1 0 903533437 8581120 1327 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2095 1327 1111 63 0 2032 0
vsize: 8380
[startup+420.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 57810 0 0 0 41852 153 0 0 25 0 1 0 903533437 8765440 1383 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2140 1383 1111 63 0 2077 0
vsize: 8560
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 59071 0 0 0 42848 157 0 0 25 0 1 0 903533437 8749056 1376 4294967295 134512640 134716908 3221224560 3221220896 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2136 1376 1111 63 0 2073 0
vsize: 8544
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 60335 0 0 0 43844 161 0 0 25 0 1 0 903533437 8765440 1378 4294967295 134512640 134716908 3221224560 3221221092 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2140 1378 1111 63 0 2077 0
vsize: 8560
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 61581 0 0 0 44842 164 0 0 25 0 1 0 903533437 8761344 1378 4294967295 134512640 134716908 3221224560 3221221000 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2139 1378 1111 63 0 2076 0
vsize: 8556
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 62849 0 0 0 45838 167 0 0 25 0 1 0 903533437 8761344 1377 4294967295 134512640 134716908 3221224560 3221220896 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2139 1377 1111 63 0 2076 0
vsize: 8556
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 64147 0 0 0 46835 171 0 0 25 0 1 0 903533437 8765440 1387 4294967295 134512640 134716908 3221224560 3221220660 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2140 1387 1111 63 0 2077 0
vsize: 8560
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 65492 0 0 0 47832 174 0 0 25 0 1 0 903533437 9068544 1449 4294967295 134512640 134716908 3221224560 3221220832 1074961290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2214 1449 1111 63 0 2151 0
vsize: 8856
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 66815 0 0 0 48829 177 0 0 25 0 1 0 903533437 8146944 1288 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1989 1288 1111 63 0 1926 0
vsize: 7956
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 68117 0 0 0 49826 181 0 0 25 0 1 0 903533437 8880128 1422 4294967295 134512640 134716908 3221224560 3221221000 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2168 1422 1111 63 0 2105 0
vsize: 8672
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 69323 0 0 0 50822 184 0 0 25 0 1 0 903533437 8769536 1381 4294967295 134512640 134716908 3221224560 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2141 1381 1111 63 0 2078 0
vsize: 8564
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 70595 0 0 0 51819 188 0 0 25 0 1 0 903533437 8871936 1421 4294967295 134512640 134716908 3221224560 3221221056 1075860048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2166 1421 1111 63 0 2103 0
vsize: 8664
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 71528 0 0 0 52816 191 0 0 25 0 1 0 903533437 9011200 1424 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2200 1424 1111 63 0 2137 0
vsize: 8800
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 72633 0 0 0 53813 194 0 0 25 0 1 0 903533437 8794112 1396 4294967295 134512640 134716908 3221224560 3221220880 1075169966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2147 1396 1111 63 0 2084 0
vsize: 8588
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 74037 0 0 0 54810 198 0 0 25 0 1 0 903533437 9302016 1402 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2271 1402 1111 63 0 2208 0
vsize: 9084
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 75806 0 0 0 55805 203 0 0 25 0 1 0 903533437 9166848 1457 4294967295 134512640 134716908 3221224560 3221220832 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2238 1457 1111 63 0 2175 0
vsize: 8952
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 78370 0 0 0 56799 209 0 0 25 0 1 0 903533437 9502720 1540 4294967295 134512640 134716908 3221224560 3221220660 1075964252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2320 1540 1111 63 0 2257 0
vsize: 9280
[startup+580.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 80223 0 0 0 57794 214 0 0 25 0 1 0 903533437 9388032 1514 4294967295 134512640 134716908 3221224560 3221220660 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2292 1514 1111 63 0 2229 0
vsize: 9168
[startup+590.028 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 81926 0 0 0 58789 219 0 0 25 0 1 0 903533437 9383936 1537 4294967295 134512640 134716908 3221224560 3221220800 1075115704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2291 1537 1111 63 0 2228 0
vsize: 9164
[startup+600.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 83003 0 0 0 59787 222 0 0 25 0 1 0 903533437 9371648 1538 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2288 1538 1111 63 0 2225 0
vsize: 9152
[startup+610.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 84412 0 0 0 60782 226 0 0 25 0 1 0 903533437 9629696 1506 4294967295 134512640 134716908 3221224560 3221220708 1075964390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2351 1506 1111 63 0 2288 0
vsize: 9404
[startup+620.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 85825 0 0 0 61778 231 0 0 25 0 1 0 903533437 9609216 1503 4294967295 134512640 134716908 3221224560 3221220524 1074787520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2346 1503 1111 63 0 2283 0
vsize: 9384
[startup+630.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 87289 0 0 0 62775 234 0 0 25 0 1 0 903533437 9318400 1514 4294967295 134512640 134716908 3221224560 3221220660 1075964271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2275 1514 1111 63 0 2212 0
vsize: 9100
[startup+640.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 88486 0 0 0 63772 237 0 0 25 0 1 0 903533437 9400320 1547 4294967295 134512640 134716908 3221224560 3221220720 1075094193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2295 1547 1111 63 0 2232 0
vsize: 9180
[startup+650.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 89946 0 0 0 64767 242 0 0 25 0 1 0 903533437 9424896 1555 4294967295 134512640 134716908 3221224560 3221220572 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2301 1555 1111 63 0 2238 0
vsize: 9204
[startup+660.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 91401 0 0 0 65764 245 0 0 25 0 1 0 903533437 9555968 1585 4294967295 134512640 134716908 3221224560 3221220832 1074960789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2333 1585 1111 63 0 2270 0
vsize: 9332
[startup+670.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 92641 0 0 0 66762 248 0 0 25 0 1 0 903533437 9490432 1558 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2317 1558 1111 63 0 2254 0
vsize: 9268
[startup+680.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 93941 0 0 0 67758 252 0 0 25 0 1 0 903533437 9498624 1565 4294967295 134512640 134716908 3221224560 3221220832 1074960843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 1565 1111 63 0 2256 0
vsize: 9276
[startup+690.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 95577 0 0 0 68754 256 0 0 25 0 1 0 903533437 9695232 1616 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2367 1616 1111 63 0 2304 0
vsize: 9468
[startup+700.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 96805 0 0 0 69751 259 0 0 25 0 1 0 903533437 9609216 1588 4294967295 134512640 134716908 3221224560 3221221152 1074888316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2346 1588 1111 63 0 2283 0
vsize: 9384
[startup+710.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 98879 0 0 0 70744 266 0 0 25 0 1 0 903533437 8880128 1499 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2168 1499 1111 63 0 2105 0
vsize: 8672
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 100726 0 0 0 71739 271 0 0 25 0 1 0 903533437 9924608 1644 4294967295 134512640 134716908 3221224560 3221220412 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1644 1111 63 0 2360 0
vsize: 9692
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 102486 0 0 0 72735 276 0 0 25 0 1 0 903533437 10379264 1672 4294967295 134512640 134716908 3221224560 3221220720 1075094100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1672 1111 63 0 2471 0
vsize: 10136
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 104089 0 0 0 73732 279 0 0 25 0 1 0 903533437 9187328 1574 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 1574 1111 63 0 2180 0
vsize: 8972
[startup+750.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 105723 0 0 0 74727 284 0 0 25 0 1 0 903533437 9994240 1677 4294967295 134512640 134716908 3221224560 3221220444 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2440 1677 1111 63 0 2377 0
vsize: 9760
[startup+760.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 107231 0 0 0 75723 288 0 0 25 0 1 0 903533437 10006528 1691 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2443 1691 1111 63 0 2380 0
vsize: 9772
[startup+770.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 108358 0 0 0 76720 291 0 0 25 0 1 0 903533437 10076160 1719 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2460 1719 1111 63 0 2397 0
vsize: 9840
[startup+780.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 109656 0 0 0 77716 295 0 0 25 0 1 0 903533437 10010624 1692 4294967295 134512640 134716908 3221224560 3221221372 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2444 1692 1111 63 0 2381 0
vsize: 9776
[startup+790.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 111105 0 0 0 78713 299 0 0 25 0 1 0 903533437 10317824 1685 4294967295 134512640 134716908 3221224560 3221220644 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2519 1685 1111 63 0 2456 0
vsize: 10076
[startup+800.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 112404 0 0 0 79709 303 0 0 25 0 1 0 903533437 10014720 1687 4294967295 134512640 134716908 3221224560 3221220528 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1687 1111 63 0 2382 0
vsize: 9780
[startup+804.532 s]
Raw data (loadavg): 1.03 1.00 0.92 1/53 3090
Raw data (stat): 3090 (bsolo_lpr_cuts-) R 3089 21152 21151 0 -1 0 112404 0 0 0 79709 303 0 0 25 0 1 0 903533437 10014720 1687 4294967295 134512640 134716908 3221224560 3221220528 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1687 1111 63 0 2382 0
vsize: 0

Child status: 30
Real time (s): 804.532
CPU time (s): 804.628
CPU user time (s): 801.575
CPU system time (s): 3.05253
CPU usage (%): 100.012
Max. virtual memory (Kb): 10136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	200
#### END VERIFIER DATA ####