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-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
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.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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 24712

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 23:34:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2827 boxname=wulflinc31 idbench=315 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
IDLAUNCH: 2827
/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:        909372 kB
Buffers:         18492 kB
Cached:          85584 kB
SwapCached:       1936 kB
Active:          56620 kB
Inactive:        50628 kB
HighTotal:      131008 kB
HighFree:        44660 kB
LowTotal:       903652 kB
LowFree:        864712 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             436 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12452 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 23:54:18 (client local time) WITH STATUS 10 IN 1176.13 SECONDS
stats: 2827 0 1176.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17874 constraints.
c After prepocess the problem consists of 450 variables and 13695 constraints.
c preprocess terminated 89.946 s
c Initial Lower Bound: -49
c Lower Bound Elapsed time: 213.229
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 303.403
c NEW SOLUTION FOUND: -3 @ 303.43
c NEW SOLUTION FOUND: -4 @ 303.44
c NEW SOLUTION FOUND: -5 @ 303.463
c NEW SOLUTION FOUND: -6 @ 303.473
c NEW SOLUTION FOUND: -7 @ 303.485
c NEW SOLUTION FOUND: -8 @ 303.533
c NEW SOLUTION FOUND: -9 @ 303.556
c NEW SOLUTION FOUND: -10 @ 303.728
c NEW SOLUTION FOUND: -11 @ 304.173
c NEW SOLUTION FOUND: -12 @ 305.216
c NEW SOLUTION FOUND: -13 @ 305.916
c NEW SOLUTION FOUND: -14 @ 306.581
c NEW SOLUTION FOUND: -15 @ 309.12
c NEW SOLUTION FOUND: -16 @ 316.065
c NEW SOLUTION FOUND: -17 @ 330.728
c NEW SOLUTION FOUND: -18 @ 337.219
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: 1176.09 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): 1.06 1.00 0.96 2/55 4723
Raw data (stat): 4723 (runsolver) R 4722 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721884909 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.0008 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6241 0 0 0 978 18 0 0 25 0 1 0 721884909 27774976 5951 4294967295 134512640 134714508 3221221792 3221220236 134542824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+20.0012 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6241 0 0 0 1978 18 0 0 25 0 1 0 721884909 27774976 5951 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+30.0021 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6241 0 0 0 2978 18 0 0 25 0 1 0 721884909 27774976 5951 4294967295 134512640 134714508 3221221792 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+40.0023 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6241 0 0 0 3978 18 0 0 25 0 1 0 721884909 27774976 5951 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+50.0033 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6241 0 0 0 4979 18 0 0 25 0 1 0 721884909 27774976 5951 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+60.0039 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6241 0 0 0 5979 18 0 0 25 0 1 0 721884909 27774976 5951 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5951 1111 63 0 6718 0
vsize: 27124
[startup+70.0041 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6323 0 0 0 6979 18 0 0 25 0 1 0 721884909 28180480 6033 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6880 6033 1111 63 0 6817 0
vsize: 27520
[startup+80.0047 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6471 0 0 0 7979 19 0 0 25 0 1 0 721884909 28721152 6181 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7012 6181 1111 63 0 6949 0
vsize: 28048
[startup+90.0047 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 6876 0 0 0 8977 20 0 0 25 0 1 0 721884909 30511104 6586 4294967295 134512640 134714508 3221221792 3221220096 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7449 6586 1111 63 0 7386 0
vsize: 29796
[startup+100.006 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 7224 0 0 0 9974 24 0 0 25 0 1 0 721884909 31813632 6927 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7767 6927 1111 63 0 7704 0
vsize: 31068
[startup+110.007 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 7264 0 0 0 10973 25 0 0 25 0 1 0 721884909 31899648 6950 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7788 6950 1111 63 0 7725 0
vsize: 31152
[startup+120.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 7341 0 0 0 11972 26 0 0 25 0 1 0 721884909 32206848 7027 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7863 7027 1111 63 0 7800 0
vsize: 31452
[startup+130.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10419 0 0 0 12964 34 0 0 25 0 1 0 721884909 41709568 8838 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10183 8838 1111 63 0 10120 0
vsize: 40732
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10491 0 0 0 13964 34 0 0 25 0 1 0 721884909 41922560 8910 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10235 8910 1111 63 0 10172 0
vsize: 40940
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10563 0 0 0 14964 34 0 0 25 0 1 0 721884909 42135552 8982 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10287 8982 1111 63 0 10224 0
vsize: 41148
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10606 0 0 0 15964 34 0 0 25 0 1 0 721884909 42364928 9025 4294967295 134512640 134714508 3221221792 3221217812 1075964227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9025 1111 63 0 10280 0
vsize: 41372
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10635 0 0 0 16964 34 0 0 25 0 1 0 721884909 42364928 9054 4294967295 134512640 134714508 3221221792 3221217672 1075964771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9054 1111 63 0 10280 0
vsize: 41372
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10636 0 0 0 17964 34 0 0 25 0 1 0 721884909 42364928 9055 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9055 1111 63 0 10280 0
vsize: 41372
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10642 0 0 0 18965 34 0 0 25 0 1 0 721884909 42364928 9059 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9059 1111 63 0 10280 0
vsize: 41372
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10737 0 0 0 19965 35 0 0 25 0 1 0 721884909 42856448 9154 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10463 9154 1111 63 0 10400 0
vsize: 41852
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10846 0 0 0 20965 35 0 0 25 0 1 0 721884909 43397120 9263 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9263 1111 63 0 10532 0
vsize: 42380
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10966 0 0 0 21965 35 0 0 25 0 1 0 721884909 43991040 9383 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10740 9383 1111 63 0 10677 0
vsize: 42960
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 10971 0 0 0 22965 35 0 0 25 0 1 0 721884909 43991040 9388 4294967295 134512640 134714508 3221221792 3221218212 1074974022 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10740 9388 1111 63 0 10677 0
vsize: 42960
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 11022 0 0 0 23965 35 0 0 25 0 1 0 721884909 44314624 9439 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9439 1111 63 0 10756 0
vsize: 43276
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 11076 0 0 0 24965 36 0 0 25 0 1 0 721884909 44314624 9493 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9493 1111 63 0 10756 0
vsize: 43276
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 11077 0 0 0 25965 36 0 0 25 0 1 0 721884909 44314624 9494 4294967295 134512640 134714508 3221221792 3221217872 1075095124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9494 1111 63 0 10756 0
vsize: 43276
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 11078 0 0 0 26965 36 0 0 25 0 1 0 721884909 44314624 9495 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9495 1111 63 0 10756 0
vsize: 43276
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 11079 0 0 0 27965 36 0 0 25 0 1 0 721884909 44314624 9496 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9496 1111 63 0 10756 0
vsize: 43276
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 11079 0 0 0 28965 36 0 0 25 0 1 0 721884909 44314624 9496 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10819 9496 1111 63 0 10756 0
vsize: 43276
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 14872 0 0 0 29957 44 0 0 25 0 1 0 721884909 35823616 7981 4294967295 134512640 134714508 3221221792 3221219856 1074790218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8746 7981 1111 63 0 8683 0
vsize: 34984
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 31392 0 0 0 30912 90 0 0 25 0 1 0 721884909 33001472 7346 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8057 7346 1111 63 0 7994 0
vsize: 32228
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 38662 0 0 0 31890 111 0 0 25 0 1 0 721884909 43134976 7419 4294967295 134512640 134714508 3221221792 3221218064 1074799726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 7419 1111 63 0 10468 0
vsize: 42124
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 54418 0 0 0 32845 156 0 0 25 0 1 0 721884909 33005568 7347 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7347 1111 63 0 7995 0
vsize: 32232
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 69007 0 0 0 33802 199 0 0 25 0 1 0 721884909 33009664 7351 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7351 1111 63 0 7996 0
vsize: 32236
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 84167 0 0 0 34758 244 0 0 25 0 1 0 721884909 43134976 7458 4294967295 134512640 134714508 3221221792 3221218856 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 7458 1111 63 0 10468 0
vsize: 42124
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 95990 0 0 0 35725 277 0 0 25 0 1 0 721884909 43143168 8128 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 8136 1111 63 0 10470 0
vsize: 42132
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 111667 0 0 0 36681 321 0 0 25 0 1 0 721884909 33005568 7356 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7356 1111 63 0 7995 0
vsize: 32232
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 121611 0 0 0 37654 348 0 0 25 0 1 0 721884909 33030144 7362 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7362 1111 63 0 8001 0
vsize: 32256
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 131559 0 0 0 38627 375 0 0 25 0 1 0 721884909 33013760 7358 4294967295 134512640 134714508 3221221792 3221220128 1073986877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7358 1111 63 0 7997 0
vsize: 32240
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 141713 0 0 0 39597 405 0 0 25 0 1 0 721884909 43143168 7453 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7453 1111 63 0 10470 0
vsize: 42132
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 152930 0 0 0 40567 436 0 0 25 0 1 0 721884909 43147264 8661 4294967295 134512640 134714508 3221221792 3221217904 1075895661 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10534 8661 1111 63 0 10471 0
vsize: 42136
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 161733 0 0 0 41542 460 0 0 25 0 1 0 721884909 33017856 7359 4294967295 134512640 134714508 3221221792 3221219960 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7359 1111 63 0 7998 0
vsize: 32244
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 171747 0 0 0 42515 488 0 0 25 0 1 0 721884909 43134976 8637 4294967295 134512640 134714508 3221221792 3221217892 1075964231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 8637 1111 63 0 10468 0
vsize: 42124
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 181850 0 0 0 43487 516 0 0 25 0 1 0 721884909 43147264 7461 4294967295 134512640 134714508 3221221792 3221218604 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10534 7461 1111 63 0 10471 0
vsize: 42136
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 195508 0 0 0 44448 556 0 0 25 0 1 0 721884909 43290624 8668 4294967295 134512640 134714508 3221221792 3221217728 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10569 8668 1111 63 0 10506 0
vsize: 42276
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 203931 0 0 0 45425 579 0 0 25 0 1 0 721884909 43134976 8545 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 8553 1111 63 0 10468 0
vsize: 42124
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 216667 0 0 0 46390 614 0 0 25 0 1 0 721884909 33030144 7370 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 224007 0 0 0 47370 634 0 0 25 0 1 0 721884909 33013760 7366 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 236453 0 0 0 48336 668 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 242706 0 0 0 49319 685 0 0 25 0 1 0 721884909 43143168 7471 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7471 1111 63 0 10470 0
vsize: 42132
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 252457 0 0 0 50292 712 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221219072 1074140013 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 266312 0 0 0 51253 751 0 0 25 0 1 0 721884909 33013760 7366 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 273699 0 0 0 52232 773 0 0 25 0 1 0 721884909 43343872 7511 4294967295 134512640 134714508 3221221792 3221217936 1074969499 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10582 7511 1111 63 0 10519 0
vsize: 42328
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 280870 0 0 0 53212 793 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 290763 0 0 0 54185 820 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 300567 0 0 0 55159 846 0 0 25 0 1 0 721884909 43143168 8664 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 8664 1111 63 0 10470 0
vsize: 42132
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 310810 0 0 0 56131 875 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 319403 0 0 0 57107 899 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 333355 0 0 0 58067 939 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 344620 0 0 0 59036 970 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 352078 0 0 0 60015 991 0 0 25 0 1 0 721884909 33001472 7363 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8057 7363 1111 63 0 7994 0
vsize: 32228
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 357571 0 0 0 61000 1006 0 0 25 0 1 0 721884909 43642880 8098 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10655 8105 1111 63 0 10592 0
vsize: 42620
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 368303 0 0 0 61970 1036 0 0 25 0 1 0 721884909 43134976 7477 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 7477 1111 63 0 10468 0
vsize: 42124
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 377053 0 0 0 62944 1063 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 385923 0 0 0 63920 1087 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 393374 0 0 0 64900 1107 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221219520 1075828449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 404625 0 0 0 65869 1138 0 0 25 0 1 0 721884909 39772160 7843 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9710 7843 1111 63 0 9647 0
vsize: 38840
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 416325 0 0 0 66836 1172 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 427558 0 0 0 67803 1204 0 0 25 0 1 0 721884909 32997376 7362 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8056 7362 1111 63 0 7993 0
vsize: 32224
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 439141 0 0 0 68771 1237 0 0 25 0 1 0 721884909 33013760 7366 4294967295 134512640 134714508 3221221792 3221218984 1074138277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 446896 0 0 0 69749 1259 0 0 25 0 1 0 721884909 32997376 7362 4294967295 134512640 134714508 3221221792 3221220112 1074143997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8056 7362 1111 63 0 7993 0
vsize: 32224
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 459669 0 0 0 70713 1295 0 0 25 0 1 0 721884909 43143168 7468 4294967295 134512640 134714508 3221221792 3221218712 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7468 1111 63 0 10470 0
vsize: 42132
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 473420 0 0 0 71674 1334 0 0 25 0 1 0 721884909 43143168 8659 4294967295 134512640 134714508 3221221792 3221218368 1076043594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10533 8659 1111 63 0 10470 0
vsize: 42132
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 485004 0 0 0 72641 1367 0 0 25 0 1 0 721884909 32993280 7361 4294967295 134512640 134714508 3221221792 3221220144 1074142734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8055 7361 1111 63 0 7992 0
vsize: 32220
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 498738 0 0 0 73603 1405 0 0 25 0 1 0 721884909 39960576 7888 4294967295 134512640 134714508 3221221792 3221218624 1075115406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9756 7888 1111 63 0 9693 0
vsize: 39024
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 508707 0 0 0 74575 1433 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 518648 0 0 0 75548 1460 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 531179 0 0 0 76513 1496 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 542512 0 0 0 77481 1528 0 0 25 0 1 0 721884909 43143168 7448 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7457 1111 63 0 10470 0
vsize: 42132
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 553784 0 0 0 78449 1559 0 0 25 0 1 0 721884909 43143168 7457 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7457 1111 63 0 10470 0
vsize: 42132
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 567743 0 0 0 79409 1600 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 577860 0 0 0 80381 1629 0 0 25 0 1 0 721884909 33038336 7372 4294967295 134512640 134714508 3221221792 3221219520 1075828674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 589214 0 0 0 81349 1661 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 600528 0 0 0 82319 1691 0 0 25 0 1 0 721884909 33038336 7372 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 608100 0 0 0 83297 1713 0 0 25 0 1 0 721884909 43290624 7481 4294967295 134512640 134714508 3221221792 3221218332 1075118208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10569 7481 1111 63 0 10506 0
vsize: 42276
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 619390 0 0 0 84266 1744 0 0 25 0 1 0 721884909 43622400 8775 4294967295 134512640 134714508 3221221792 3221218304 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10650 8775 1111 63 0 10587 0
vsize: 42600
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 626773 0 0 0 85245 1765 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 634248 0 0 0 86225 1786 0 0 25 0 1 0 721884909 43319296 7497 4294967295 134512640 134714508 3221221792 3221218128 1075113493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10576 7497 1111 63 0 10513 0
vsize: 42304
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 647063 0 0 0 87189 1822 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 657125 0 0 0 88160 1851 0 0 25 0 1 0 721884909 33001472 7363 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8057 7363 1111 63 0 7994 0
vsize: 32228
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 664581 0 0 0 89140 1872 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 674487 0 0 0 90112 1899 0 0 25 0 1 0 721884909 33030144 7370 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 686952 0 0 0 91078 1934 0 0 25 0 1 0 721884909 43126784 8630 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10529 8630 1111 63 0 10466 0
vsize: 42116
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 701100 0 0 0 92037 1974 0 0 25 0 1 0 721884909 33013760 7366 4294967295 134512640 134714508 3221221792 3221219792 1074916565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 716591 0 0 0 92993 2019 0 0 25 0 1 0 721884909 33013760 7366 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7366 1111 63 0 7997 0
vsize: 32240
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 730910 0 0 0 93953 2059 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 743238 0 0 0 94918 2094 0 0 25 0 1 0 721884909 43126784 7403 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10529 7403 1111 63 0 10466 0
vsize: 42116
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 759855 0 0 0 95872 2140 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 773842 0 0 0 96834 2179 0 0 25 0 1 0 721884909 43134976 7447 4294967295 134512640 134714508 3221221792 3221217752 1074789590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 7447 1111 63 0 10468 0
vsize: 42124
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 791835 0 0 0 97783 2230 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221219516 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 801987 0 0 0 98753 2260 0 0 25 0 1 0 721884909 43143168 7473 4294967295 134512640 134714508 3221221792 3221217952 1074794531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7473 1111 63 0 10470 0
vsize: 42132
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 814641 0 0 0 99718 2295 0 0 25 0 1 0 721884909 43134976 7452 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10531 7452 1111 63 0 10468 0
vsize: 42124
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 824707 0 0 0 100689 2324 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 837400 0 0 0 101655 2359 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 849197 0 0 0 102620 2393 0 0 25 0 1 0 721884909 33030144 7370 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 858159 0 0 0 103595 2419 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 868365 0 0 0 104566 2448 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 879505 0 0 0 105534 2480 0 0 25 0 1 0 721884909 40075264 7909 4294967295 134512640 134714508 3221221792 3221217756 1074788146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9784 7909 1111 63 0 9721 0
vsize: 39136
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 891054 0 0 0 106503 2512 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 902540 0 0 0 107470 2544 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 912517 0 0 0 108442 2572 0 0 25 0 1 0 721884909 33005568 7364 4294967295 134512640 134714508 3221221792 3221220176 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8058 7364 1111 63 0 7995 0
vsize: 32232
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 922556 0 0 0 109414 2601 0 0 25 0 1 0 721884909 43143168 8665 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 8665 1111 63 0 10470 0
vsize: 42132
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 931243 0 0 0 110389 2626 0 0 25 0 1 0 721884909 43143168 7465 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7465 1111 63 0 10470 0
vsize: 42132
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 943877 0 0 0 111354 2661 0 0 25 0 1 0 721884909 32997376 7362 4294967295 134512640 134714508 3221221792 3221219776 1074051572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8056 7362 1111 63 0 7993 0
vsize: 32224
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 956978 0 0 0 112318 2697 0 0 25 0 1 0 721884909 33009664 7365 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7365 1111 63 0 7996 0
vsize: 32236
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 968133 0 0 0 113289 2727 0 0 25 0 1 0 721884909 33026048 7369 4294967295 134512640 134714508 3221221792 3221220192 1074118854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 979708 0 0 0 114256 2759 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 32244
[startup+1176 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 4723
Raw data (stat): 4723 (bsolo_lpr) R 4722 7876 7672 0 -1 0 979708 0 0 0 114256 2759 0 0 25 0 1 0 721884909 33017856 7367 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7367 1111 63 0 7998 0
vsize: 0

Child status: 10
Real time (s): 1176
CPU time (s): 1176.13
CPU user time (s): 1148.31
CPU system time (s): 27.8188
CPU usage (%): 100.011
Max. virtual memory (Kb): 43276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####