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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
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	450
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.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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	2
Trace number 24717

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 01:14:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2836 boxname=wulflinc31 idbench=316 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
IDLAUNCH: 2836
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        903904 kB
Buffers:         23340 kB
Cached:          85972 kB
SwapCached:       1936 kB
Active:          59648 kB
Inactive:        52868 kB
HighTotal:      131008 kB
HighFree:        44072 kB
LowTotal:       903652 kB
LowFree:        859832 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             432 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12492 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 01:34:24 (client local time) WITH STATUS 10 IN 1177.77 SECONDS
stats: 2836 0 1177.77 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17809 constraints.
c After prepocess the problem consists of 450 variables and 14316 constraints.
c preprocess terminated 93.933 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 225.267
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 319.443
c NEW SOLUTION FOUND: -5 @ 319.462
c NEW SOLUTION FOUND: -6 @ 319.538
c NEW SOLUTION FOUND: -7 @ 319.577
c NEW SOLUTION FOUND: -8 @ 319.765
c NEW SOLUTION FOUND: -9 @ 320.089
c NEW SOLUTION FOUND: -10 @ 320.316
c NEW SOLUTION FOUND: -11 @ 320.517
c NEW SOLUTION FOUND: -12 @ 320.817
c NEW SOLUTION FOUND: -13 @ 321.403
c NEW SOLUTION FOUND: -14 @ 323.519
c NEW SOLUTION FOUND: -15 @ 336.06
c NEW SOLUTION FOUND: -16 @ 349.463
c NEW SOLUTION FOUND: -17 @ 366.117
c NEW SOLUTION FOUND: -18 @ 407.139
c NEW SOLUTION FOUND: -19 @ 455.25
c NEW SOLUTION FOUND: -20 @ 731.289
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 C436 -C435 -C434 -C433 -C432 C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 C381 -C380 -C379 -C378 -C377 -C376 C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 C1 
c Exit Code: 10
c Total time: 1177.73 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
Raw data (loadavg): 0.92 0.98 0.98 2/55 5317
Raw data (stat): 5317 (runsolver) R 5316 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 722485493 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 973 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220412 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 1973 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 2973 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220188 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 3973 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220284 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 4973 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 5973 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 6974 23 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8266 0 0 0 7973 24 0 0 25 0 1 0 722485493 36114432 7961 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8267 0 0 0 8973 24 0 0 25 0 1 0 722485493 36114432 7962 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7962 1111 63 0 8754 0
vsize: 35268
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8365 0 0 0 9972 25 0 0 25 0 1 0 722485493 36421632 8060 4294967295 134512640 134714508 3221221792 3221220096 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8892 8060 1111 63 0 8829 0
vsize: 35568
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8399 0 0 0 10970 26 0 0 25 0 1 0 722485493 36560896 8094 4294967295 134512640 134714508 3221221792 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8926 8094 1111 63 0 8863 0
vsize: 35704
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8420 0 0 0 11969 27 0 0 25 0 1 0 722485493 36646912 8115 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8947 8115 1111 63 0 8884 0
vsize: 35788
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 8512 0 0 0 12968 29 0 0 25 0 1 0 722485493 37023744 8207 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9039 8207 1111 63 0 8976 0
vsize: 36156
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 11756 0 0 0 13960 36 0 0 25 0 1 0 722485493 46333952 10008 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11312 10008 1111 63 0 11249 0
vsize: 45248
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 11771 0 0 0 14961 36 0 0 25 0 1 0 722485493 46333952 10023 4294967295 134512640 134714508 3221221792 3221217704 1075964737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11312 10023 1111 63 0 11249 0
vsize: 45248
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 11866 0 0 0 15961 37 0 0 25 0 1 0 722485493 46776320 10118 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11420 10118 1111 63 0 11357 0
vsize: 45680
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 11926 0 0 0 16961 37 0 0 25 0 1 0 722485493 47009792 10178 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11477 10178 1111 63 0 11414 0
vsize: 45908
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 11928 0 0 0 17961 37 0 0 25 0 1 0 722485493 47009792 10180 4294967295 134512640 134714508 3221221792 3221217952 1075115704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11477 10180 1111 63 0 11414 0
vsize: 45908
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 11969 0 0 0 18961 37 0 0 25 0 1 0 722485493 47267840 10221 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11540 10221 1111 63 0 11477 0
vsize: 46160
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12056 0 0 0 19961 37 0 0 25 0 1 0 722485493 47796224 10308 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11669 10308 1111 63 0 11606 0
vsize: 46676
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12142 0 0 0 20961 37 0 0 25 0 1 0 722485493 48091136 10394 4294967295 134512640 134714508 3221221792 3221217812 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11741 10394 1111 63 0 11678 0
vsize: 46964
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12208 0 0 0 21961 37 0 0 25 0 1 0 722485493 48398336 10460 4294967295 134512640 134714508 3221221792 3221218244 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11816 10460 1111 63 0 11753 0
vsize: 47264
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12265 0 0 0 22961 37 0 0 25 0 1 0 722485493 48713728 10517 4294967295 134512640 134714508 3221221792 3221217984 1074960854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10517 1111 63 0 11830 0
vsize: 47572
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12276 0 0 0 23961 37 0 0 25 0 1 0 722485493 48713728 10528 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10528 1111 63 0 11830 0
vsize: 47572
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12283 0 0 0 24961 37 0 0 25 0 1 0 722485493 48713728 10535 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10535 1111 63 0 11830 0
vsize: 47572
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12375 0 0 0 25961 38 0 0 25 0 1 0 722485493 49049600 10627 4294967295 134512640 134714508 3221221792 3221217872 1075095115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10627 1111 63 0 11912 0
vsize: 47900
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12381 0 0 0 26961 38 0 0 25 0 1 0 722485493 49049600 10633 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10633 1111 63 0 11912 0
vsize: 47900
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12384 0 0 0 27961 38 0 0 25 0 1 0 722485493 49049600 10636 4294967295 134512640 134714508 3221221792 3221217872 1075095115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10636 1111 63 0 11912 0
vsize: 47900
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12388 0 0 0 28962 38 0 0 25 0 1 0 722485493 49049600 10640 4294967295 134512640 134714508 3221221792 3221218044 1076111500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10640 1111 63 0 11912 0
vsize: 47900
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 12388 0 0 0 29962 38 0 0 25 0 1 0 722485493 49049600 10640 4294967295 134512640 134714508 3221221792 3221217812 1075964227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10640 1111 63 0 11912 0
vsize: 47900
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 16319 0 0 0 30952 48 0 0 25 0 1 0 722485493 40468480 9145 4294967295 134512640 134714508 3221221792 3221219864 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9880 9145 1111 63 0 9817 0
vsize: 39520
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 19563 0 0 0 31943 57 0 0 25 0 1 0 722485493 44195840 8721 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10790 8721 1111 63 0 10727 0
vsize: 43160
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 41040 0 0 0 32882 118 0 0 25 0 1 0 722485493 47722496 8443 4294967295 134512640 134714508 3221221792 3221218128 1075113481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11651 8443 1111 63 0 11588 0
vsize: 46604
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 55566 0 0 0 33840 160 0 0 25 0 1 0 722485493 37167104 8396 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9074 8396 1111 63 0 9011 0
vsize: 36296
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 71802 0 0 0 34792 208 0 0 25 0 1 0 722485493 47714304 8438 4294967295 134512640 134714508 3221221792 3221218912 1074834307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11649 8438 1111 63 0 11586 0
vsize: 46596
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 88417 0 0 0 35746 254 0 0 25 0 1 0 722485493 37163008 8395 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8395 1111 63 0 9010 0
vsize: 36292
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 99148 0 0 0 36715 286 0 0 25 0 1 0 722485493 37175296 8398 4294967295 134512640 134714508 3221221792 3221219792 1074052234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8398 1111 63 0 9013 0
vsize: 36304
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 115074 0 0 0 37670 330 0 0 25 0 1 0 722485493 47726592 8463 4294967295 134512640 134714508 3221221792 3221217952 1075092713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11652 8463 1111 63 0 11589 0
vsize: 46608
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 128025 0 0 0 38634 367 0 0 25 0 1 0 722485493 37179392 8399 4294967295 134512640 134714508 3221221792 3221220096 1074143905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8399 1111 63 0 9014 0
vsize: 36308
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 144617 0 0 0 39588 412 0 0 25 0 1 0 722485493 47726592 8465 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11652 8465 1111 63 0 11589 0
vsize: 46608
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 162085 0 0 0 40538 463 0 0 25 0 1 0 722485493 37171200 8399 4294967295 134512640 134714508 3221221792 3221219976 1077377227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9075 8399 1111 63 0 9012 0
vsize: 36300
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 180802 0 0 0 41484 516 0 0 25 0 1 0 722485493 37154816 8396 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9071 8396 1111 63 0 9008 0
vsize: 36284
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 193274 0 0 0 42449 552 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 204694 0 0 0 43417 584 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220064 1073986821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 219598 0 0 0 44375 626 0 0 25 0 1 0 722485493 47722496 9718 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11651 9718 1111 63 0 11588 0
vsize: 46604
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 235649 0 0 0 45328 673 0 0 25 0 1 0 722485493 37158912 8397 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8397 1111 63 0 9009 0
vsize: 36288
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 245979 0 0 0 46299 703 0 0 25 0 1 0 722485493 47730688 9736 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 9736 1111 63 0 11590 0
vsize: 46612
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 256313 0 0 0 47269 732 0 0 25 0 1 0 722485493 37175296 8401 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 267954 0 0 0 48235 766 0 0 25 0 1 0 722485493 37175296 8401 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 279678 0 0 0 49203 799 0 0 25 0 1 0 722485493 37187584 8404 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 291517 0 0 0 50170 832 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 304408 0 0 0 51134 868 0 0 25 0 1 0 722485493 47738880 9733 4294967295 134512640 134714508 3221221792 3221217892 1075964252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 9733 1111 63 0 11592 0
vsize: 46620
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 314949 0 0 0 52104 898 0 0 25 0 1 0 722485493 47738880 8491 4294967295 134512640 134714508 3221221792 3221217936 1074969970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8491 1111 63 0 11592 0
vsize: 46620
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 327919 0 0 0 53068 934 0 0 25 0 1 0 722485493 37171200 8400 4294967295 134512640 134714508 3221221792 3221219792 1074051652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 339628 0 0 0 54037 966 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 351501 0 0 0 55004 999 0 0 25 0 1 0 722485493 47927296 8567 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11701 8567 1111 63 0 11638 0
vsize: 46804
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 363035 0 0 0 55971 1032 0 0 25 0 1 0 722485493 47730688 9739 4294967295 134512640 134714508 3221221792 3221218320 1075119996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10795 8884 1111 63 0 10732 0
vsize: 46612
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 377399 0 0 0 56929 1074 0 0 25 0 1 0 722485493 47730688 8477 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8477 1111 63 0 11590 0
vsize: 46612
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 394418 0 0 0 57881 1123 0 0 25 0 1 0 722485493 47730688 8471 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8471 1111 63 0 11590 0
vsize: 46612
[startup+600.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 415711 0 0 0 58821 1183 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 431724 0 0 0 59776 1228 0 0 25 0 1 0 722485493 47726592 9727 4294967295 134512640 134714508 3221221792 3221218112 1075170207 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11652 9727 1111 63 0 11589 0
vsize: 46608
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 452762 0 0 0 60716 1288 0 0 25 0 1 0 722485493 47726592 9718 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11652 9718 1111 63 0 11589 0
vsize: 46608
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 466447 0 0 0 61676 1328 0 0 25 0 1 0 722485493 37175296 8401 4294967295 134512640 134714508 3221221792 3221219792 1074052234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 479413 0 0 0 62639 1365 0 0 25 0 1 0 722485493 47738880 8494 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8494 1111 63 0 11592 0
vsize: 46620
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 493680 0 0 0 63600 1405 0 0 25 0 1 0 722485493 47738880 8503 4294967295 134512640 134714508 3221221792 3221218856 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8503 1111 63 0 11592 0
vsize: 46620
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 508012 0 0 0 64559 1446 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 518506 0 0 0 65529 1476 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221220144 1074115258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 529053 0 0 0 66500 1505 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 539350 0 0 0 67472 1533 0 0 25 0 1 0 722485493 37175296 8401 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 559057 0 0 0 68416 1589 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 568469 0 0 0 69389 1616 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+720.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 578893 0 0 0 70361 1645 0 0 25 0 1 0 722485493 47906816 9768 4294967295 134512640 134714508 3221221792 3221218124 1076111497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11696 9768 1111 63 0 11633 0
vsize: 46784
[startup+730.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 589327 0 0 0 71332 1674 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+740.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 597014 0 0 0 72310 1696 0 0 25 0 1 0 722485493 37171200 8400 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+750.014 s]
Raw data (loadavg): 0.99 0.98 0.98 3/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 604611 0 0 0 73289 1717 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+760.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 616533 0 0 0 74254 1752 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+770.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 626793 0 0 0 75225 1781 0 0 25 0 1 0 722485493 37167104 8399 4294967295 134512640 134714508 3221221792 3221220440 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8399 1111 63 0 9011 0
vsize: 36296
[startup+780.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 635777 0 0 0 76200 1806 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221220072 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+790.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 644892 0 0 0 77175 1832 0 0 25 0 1 0 722485493 47738880 8521 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8521 1111 63 0 11592 0
vsize: 46620
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 661772 0 0 0 78127 1879 0 0 25 0 1 0 722485493 37167104 8399 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8399 1111 63 0 9011 0
vsize: 36296
[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 674990 0 0 0 79092 1915 0 0 25 0 1 0 722485493 48214016 8656 4294967295 134512640 134714508 3221221792 3221218312 1075090005 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11771 8656 1111 63 0 11708 0
vsize: 47084
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 686483 0 0 0 80059 1948 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+830.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 700873 0 0 0 81017 1990 0 0 25 0 1 0 722485493 48209920 8654 4294967295 134512640 134714508 3221221792 3221217752 1074789593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11770 8654 1111 63 0 11707 0
vsize: 47080
[startup+840.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 712322 0 0 0 81986 2022 0 0 25 0 1 0 722485493 47738880 9750 4294967295 134512640 134714508 3221221792 3221218304 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 9750 1111 63 0 11592 0
vsize: 46620
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 718725 0 0 0 82967 2040 0 0 25 0 1 0 722485493 48140288 9817 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11753 9817 1111 63 0 11690 0
vsize: 47012
[startup+860.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 726445 0 0 0 83945 2063 0 0 25 0 1 0 722485493 47738880 8499 4294967295 134512640 134714508 3221221792 3221218064 1074960928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8499 1111 63 0 11592 0
vsize: 46620
[startup+870.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 736605 0 0 0 84917 2091 0 0 25 0 1 0 722485493 37187584 8404 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+880.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 744269 0 0 0 85896 2112 0 0 25 0 1 0 722485493 47738880 8508 4294967295 134512640 134714508 3221221792 3221217848 1074789596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8508 1111 63 0 11592 0
vsize: 46620
[startup+890.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 759878 0 0 0 86852 2156 0 0 25 0 1 0 722485493 47730688 8479 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8481 1111 63 0 11590 0
vsize: 46612
[startup+900.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 776793 0 0 0 87806 2202 0 0 25 0 1 0 722485493 47722496 9715 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11651 9715 1111 63 0 11588 0
vsize: 46604
[startup+910.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 783349 0 0 0 88789 2220 0 0 25 0 1 0 722485493 47972352 8526 4294967295 134512640 134714508 3221221792 3221218796 1074621045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11712 8526 1111 63 0 11649 0
vsize: 46848
[startup+920.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 791118 0 0 0 89769 2240 0 0 25 0 1 0 722485493 48369664 9889 4294967295 134512640 134714508 3221221792 3221217756 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11809 9889 1111 63 0 11746 0
vsize: 47236
[startup+930.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 798815 0 0 0 90749 2260 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+940.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 807976 0 0 0 91723 2286 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+950.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 820041 0 0 0 92689 2320 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+960.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 830456 0 0 0 93659 2351 0 0 25 0 1 0 722485493 37187584 8404 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+970.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 840821 0 0 0 94630 2379 0 0 25 0 1 0 722485493 48476160 9917 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11835 9917 1111 63 0 11772 0
vsize: 47340
[startup+980.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 848708 0 0 0 95608 2402 0 0 25 0 1 0 722485493 37187584 8404 4294967295 134512640 134714508 3221221792 3221219520 1075831092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+990.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 858045 0 0 0 96582 2428 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 869762 0 0 0 97550 2460 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 880053 0 0 0 98521 2490 0 0 25 0 1 0 722485493 44937216 9072 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10971 9072 1111 63 0 10908 0
vsize: 43884
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 887811 0 0 0 99500 2511 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 896937 0 0 0 100475 2536 0 0 25 0 1 0 722485493 48058368 9794 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11733 9794 1111 63 0 11670 0
vsize: 46932
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 904760 0 0 0 101454 2557 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 913829 0 0 0 102430 2581 0 0 25 0 1 0 722485493 44892160 9069 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10960 9069 1111 63 0 10897 0
vsize: 43840
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 922973 0 0 0 103406 2606 0 0 25 0 1 0 722485493 37187584 8404 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 930813 0 0 0 104383 2629 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221219536 1075636586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 941312 0 0 0 105354 2657 0 0 25 0 1 0 722485493 48066560 9833 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11735 9833 1111 63 0 11672 0
vsize: 46940
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 950487 0 0 0 106329 2683 0 0 25 0 1 0 722485493 37175296 8401 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 958149 0 0 0 107308 2704 0 0 25 0 1 0 722485493 37191680 8405 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 970156 0 0 0 108275 2737 0 0 25 0 1 0 722485493 48721920 8755 4294967295 134512640 134714508 3221221792 3221217936 1074969766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11895 8755 1111 63 0 11832 0
vsize: 47580
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 980737 0 0 0 109247 2766 0 0 25 0 1 0 722485493 37175296 8401 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 993799 0 0 0 110210 2803 0 0 25 0 1 0 722485493 44408832 8954 4294967295 134512640 134714508 3221221792 3221217864 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10842 8954 1111 63 0 10779 0
vsize: 43368
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 1002908 0 0 0 111185 2827 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 1018619 0 0 0 112141 2872 0 0 25 0 1 0 722485493 37163008 8398 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 1027809 0 0 0 113115 2898 0 0 25 0 1 0 722485493 37171200 8400 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 1040777 0 0 0 114078 2935 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+1177.66 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 5317
Raw data (stat): 5317 (bsolo_lpr) R 5316 7876 7672 0 -1 0 1040777 0 0 0 114078 2935 0 0 25 0 1 0 722485493 37179392 8402 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 0

Child status: 10
Real time (s): 1177.65
CPU time (s): 1177.77
CPU user time (s): 1148.14
CPU system time (s): 29.6355
CPU usage (%): 100.01
Max. virtual memory (Kb): 47900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####