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-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
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.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
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 24709

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 22:34:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2820 boxname=wulflinc31 idbench=314 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
IDLAUNCH: 2820
/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:        915396 kB
Buffers:         13420 kB
Cached:          84672 kB
SwapCached:       1936 kB
Active:          56428 kB
Inactive:        44888 kB
HighTotal:      131008 kB
HighFree:        45500 kB
LowTotal:       903652 kB
LowFree:        869896 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12316 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 22:53:48 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 2820 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 450 variables and 17827 constraints.
c After prepocess the problem consists of 450 variables and 11608 constraints.
c preprocess terminated 52.334 s
c Initial Lower Bound: -212
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 52.526
c NEW SOLUTION FOUND: -2 @ 52.531
c NEW SOLUTION FOUND: -3 @ 52.578
c NEW SOLUTION FOUND: -4 @ 52.726
c NEW SOLUTION FOUND: -5 @ 52.869
c NEW SOLUTION FOUND: -6 @ 53.139
c NEW SOLUTION FOUND: -7 @ 53.504
c NEW SOLUTION FOUND: -8 @ 53.999
c NEW SOLUTION FOUND: -9 @ 54.657
c NEW SOLUTION FOUND: -10 @ 60.778
c NEW SOLUTION FOUND: -11 @ 65.702
c NEW SOLUTION FOUND: -12 @ 417.011
c NEW SOLUTION FOUND: -13 @ 698.599
c NEW SOLUTION FOUND: -14 @ 1066.48
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: 1175 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.97 0.94 2/55 4372
Raw data (stat): 4372 (runsolver) R 4371 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721521990 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 8355 0 0 0 974 23 0 0 25 0 1 0 721521990 23461888 4819 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4819 1111 63 0 5665 0
vsize: 22912
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 8884 0 0 0 1972 24 0 0 25 0 1 0 721521990 23461888 4819 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4819 1111 63 0 5665 0
vsize: 22912
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11412 0 0 0 2965 31 0 0 25 0 1 0 721521990 24137728 4964 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5893 4964 1111 63 0 5830 0
vsize: 23572
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11426 0 0 0 3965 32 0 0 25 0 1 0 721521990 24137728 4978 4294967295 134512640 134714540 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5893 4978 1111 63 0 5830 0
vsize: 23572
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11663 0 0 0 4964 33 0 0 25 0 1 0 721521990 24887296 5168 4294967295 134512640 134714540 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6076 5168 1111 63 0 6013 0
vsize: 24304
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11813 0 0 0 5963 34 0 0 25 0 1 0 721521990 25374720 5303 4294967295 134512640 134714540 3221221792 3221220312 1077377254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5303 1111 63 0 6132 0
vsize: 24780
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11837 0 0 0 6961 36 0 0 25 0 1 0 721521990 25423872 5315 4294967295 134512640 134714540 3221221792 3221220432 134534098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6207 5315 1111 63 0 6144 0
vsize: 24828
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11854 0 0 0 7959 38 0 0 25 0 1 0 721521990 25497600 5332 4294967295 134512640 134714540 3221221792 3221220512 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5332 1111 63 0 6162 0
vsize: 24900
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11884 0 0 0 8959 39 0 0 25 0 1 0 721521990 25518080 5335 4294967295 134512640 134714540 3221221792 3221220368 134549494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6230 5335 1111 63 0 6167 0
vsize: 24920
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11904 0 0 0 9957 40 0 0 25 0 1 0 721521990 25620480 5355 4294967295 134512640 134714540 3221221792 3221220464 134524477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5355 1111 63 0 6192 0
vsize: 25020
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11904 0 0 0 10956 41 0 0 25 0 1 0 721521990 25554944 5347 4294967295 134512640 134714540 3221221792 3221220496 134592441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5347 1111 63 0 6176 0
vsize: 24956
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11904 0 0 0 11955 42 0 0 25 0 1 0 721521990 25554944 5347 4294967295 134512640 134714540 3221221792 3221220512 134592140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5347 1111 63 0 6176 0
vsize: 24956
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11904 0 0 0 12954 44 0 0 25 0 1 0 721521990 25554944 5347 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5347 1111 63 0 6176 0
vsize: 24956
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11904 0 0 0 13952 46 0 0 25 0 1 0 721521990 25554944 5347 4294967295 134512640 134714540 3221221792 3221220464 134603705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5347 1111 63 0 6176 0
vsize: 24956
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11915 0 0 0 14951 47 0 0 25 0 1 0 721521990 25673728 5358 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6268 5358 1111 63 0 6205 0
vsize: 25072
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 15950 49 0 0 25 0 1 0 721521990 25759744 5377 4294967295 134512640 134714540 3221221792 3221220492 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6289 5377 1111 63 0 6226 0
vsize: 25156
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 16949 50 0 0 25 0 1 0 721521990 25759744 5377 4294967295 134512640 134714540 3221221792 3221220584 134558597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6289 5377 1111 63 0 6226 0
vsize: 25156
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 17948 51 0 0 25 0 1 0 721521990 25759744 5377 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6289 5377 1111 63 0 6226 0
vsize: 25156
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 18946 53 0 0 25 0 1 0 721521990 25640960 5368 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5368 1111 63 0 6197 0
vsize: 25040
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 19945 54 0 0 25 0 1 0 721521990 25640960 5368 4294967295 134512640 134714540 3221221792 3221220352 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5368 1111 63 0 6197 0
vsize: 25040
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 20944 55 0 0 25 0 1 0 721521990 25640960 5368 4294967295 134512640 134714540 3221221792 3221220400 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5368 1111 63 0 6197 0
vsize: 25040
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 21943 57 0 0 25 0 1 0 721521990 25530368 5341 4294967295 134512640 134714540 3221221792 3221220352 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6233 5341 1111 63 0 6170 0
vsize: 24932
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11934 0 0 0 22942 58 0 0 25 0 1 0 721521990 25530368 5341 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6233 5341 1111 63 0 6170 0
vsize: 24932
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11935 0 0 0 23941 59 0 0 25 0 1 0 721521990 25640960 5342 4294967295 134512640 134714540 3221221792 3221220172 1077379840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5342 1111 63 0 6197 0
vsize: 25040
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11955 0 0 0 24940 60 0 0 25 0 1 0 721521990 25640960 5362 4294967295 134512640 134714540 3221221792 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5362 1111 63 0 6197 0
vsize: 25040
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11955 0 0 0 25940 61 0 0 25 0 1 0 721521990 25640960 5362 4294967295 134512640 134714540 3221221792 3221220428 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5362 1111 63 0 6197 0
vsize: 25040
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 26939 62 0 0 25 0 1 0 721521990 25776128 5373 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6293 5373 1111 63 0 6230 0
vsize: 25172
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 27937 64 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220328 134551981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 28936 65 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220352 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 29935 66 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220536 134558497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 30933 68 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 31932 69 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 32931 71 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220468 134548566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11966 0 0 0 33930 72 0 0 25 0 1 0 721521990 25751552 5373 4294967295 134512640 134714540 3221221792 3221220440 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5373 1111 63 0 6224 0
vsize: 25148
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11971 0 0 0 34928 74 0 0 25 0 1 0 721521990 25751552 5378 4294967295 134512640 134714540 3221221792 3221220464 134548596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5378 1111 63 0 6224 0
vsize: 25148
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11971 0 0 0 35926 76 0 0 25 0 1 0 721521990 25751552 5378 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5378 1111 63 0 6224 0
vsize: 25148
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11971 0 0 0 36925 77 0 0 25 0 1 0 721521990 25583616 5354 4294967295 134512640 134714540 3221221792 3221220488 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5354 1111 63 0 6183 0
vsize: 24984
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11971 0 0 0 37923 79 0 0 25 0 1 0 721521990 25583616 5354 4294967295 134512640 134714540 3221221792 3221220504 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5354 1111 63 0 6183 0
vsize: 24984
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11971 0 0 0 38922 80 0 0 25 0 1 0 721521990 25583616 5354 4294967295 134512640 134714540 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5354 1111 63 0 6183 0
vsize: 24984
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11971 0 0 0 39921 81 0 0 25 0 1 0 721521990 25583616 5354 4294967295 134512640 134714540 3221221792 3221220504 134592337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5354 1111 63 0 6183 0
vsize: 24984
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11983 0 0 0 40920 83 0 0 25 0 1 0 721521990 25694208 5366 4294967295 134512640 134714540 3221221792 3221220448 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6273 5366 1111 63 0 6210 0
vsize: 25092
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 41919 84 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 42917 86 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220384 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 43916 86 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220444 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 44915 88 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220412 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 45913 90 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 46912 91 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220496 134592393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 47910 93 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220512 134603593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 48909 94 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 49909 95 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 50908 96 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220556 134518132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 51906 98 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220432 134524469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11990 0 0 0 52905 99 0 0 25 0 1 0 721521990 25632768 5366 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5366 1111 63 0 6195 0
vsize: 25032
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 11993 0 0 0 53905 100 0 0 25 0 1 0 721521990 25681920 5369 4294967295 134512640 134714540 3221221792 3221220352 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6270 5369 1111 63 0 6207 0
vsize: 25080
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12001 0 0 0 54904 101 0 0 25 0 1 0 721521990 25681920 5377 4294967295 134512640 134714540 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6270 5377 1111 63 0 6207 0
vsize: 25080
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12009 0 0 0 55902 103 0 0 25 0 1 0 721521990 25817088 5385 4294967295 134512640 134714540 3221221792 3221220464 134548599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6303 5385 1111 63 0 6240 0
vsize: 25212
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 56901 104 0 0 25 0 1 0 721521990 25792512 5392 4294967295 134512640 134714540 3221221792 3221220420 1077374543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6297 5392 1111 63 0 6234 0
vsize: 25188
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 57900 105 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 58899 106 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220432 134524466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 59898 108 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 60897 109 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220368 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 61896 110 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 62895 111 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220336 134548584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 63894 112 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 64893 113 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 65892 115 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220284 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 66890 116 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220528 134528807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 67889 117 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220460 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 68888 119 0 0 25 0 1 0 721521990 25784320 5392 4294967295 134512640 134714540 3221221792 3221220328 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5392 1111 63 0 6232 0
vsize: 25180
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12016 0 0 0 69886 121 0 0 25 0 1 0 721521990 25473024 5327 4294967295 134512640 134714540 3221221792 3221220404 1077378565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6219 5327 1111 63 0 6156 0
vsize: 24876
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12036 0 0 0 70884 123 0 0 25 0 1 0 721521990 25473024 5327 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6219 5327 1111 63 0 6156 0
vsize: 24876
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12044 0 0 0 71882 124 0 0 25 0 1 0 721521990 25608192 5335 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6252 5335 1111 63 0 6189 0
vsize: 25008
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12049 0 0 0 72880 126 0 0 25 0 1 0 721521990 25632768 5338 4294967295 134512640 134714540 3221221792 3221220416 1076647576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5338 1111 63 0 6195 0
vsize: 25032
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12065 0 0 0 73878 128 0 0 25 0 1 0 721521990 25632768 5354 4294967295 134512640 134714540 3221221792 3221220448 134524415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5354 1111 63 0 6195 0
vsize: 25032
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12068 0 0 0 74877 129 0 0 25 0 1 0 721521990 25632768 5357 4294967295 134512640 134714540 3221221792 3221220312 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5357 1111 63 0 6195 0
vsize: 25032
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12088 0 0 0 75876 130 0 0 25 0 1 0 721521990 25767936 5377 4294967295 134512640 134714540 3221221792 3221220384 134539425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6291 5377 1111 63 0 6228 0
vsize: 25164
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12092 0 0 0 76875 132 0 0 25 0 1 0 721521990 25726976 5381 4294967295 134512640 134714540 3221221792 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6281 5381 1111 63 0 6218 0
vsize: 25124
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12092 0 0 0 77873 133 0 0 25 0 1 0 721521990 25661440 5373 4294967295 134512640 134714540 3221221792 3221220368 134548553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5373 1111 63 0 6202 0
vsize: 25060
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12092 0 0 0 78872 135 0 0 25 0 1 0 721521990 25661440 5373 4294967295 134512640 134714540 3221221792 3221220400 134523904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5373 1111 63 0 6202 0
vsize: 25060
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12092 0 0 0 79871 136 0 0 25 0 1 0 721521990 25661440 5373 4294967295 134512640 134714540 3221221792 3221220592 134611007 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5373 1111 63 0 6202 0
vsize: 25060
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12102 0 0 0 80870 137 0 0 25 0 1 0 721521990 25530368 5341 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6233 5341 1111 63 0 6170 0
vsize: 24932
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12111 0 0 0 81870 137 0 0 25 0 1 0 721521990 25661440 5350 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5350 1111 63 0 6202 0
vsize: 25060
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12111 0 0 0 82869 139 0 0 25 0 1 0 721521990 25661440 5350 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5350 1111 63 0 6202 0
vsize: 25060
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12122 0 0 0 83867 141 0 0 25 0 1 0 721521990 25661440 5361 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5361 1111 63 0 6202 0
vsize: 25060
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12122 0 0 0 84866 142 0 0 25 0 1 0 721521990 25661440 5361 4294967295 134512640 134714540 3221221792 3221220468 134603699 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5361 1111 63 0 6202 0
vsize: 25060
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12129 0 0 0 85865 143 0 0 25 0 1 0 721521990 25661440 5368 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6265 5368 1111 63 0 6202 0
vsize: 25060
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12148 0 0 0 86864 144 0 0 25 0 1 0 721521990 25763840 5387 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5387 1111 63 0 6227 0
vsize: 25160
[startup+880.021 s]
Raw data (loadavg): 1.15 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 87863 145 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220288 134696450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+890.021 s]
Raw data (loadavg): 1.12 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 88862 146 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+900.022 s]
Raw data (loadavg): 1.10 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 89861 148 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+910.021 s]
Raw data (loadavg): 1.09 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 90860 149 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220288 134696761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+920.021 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 91859 150 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+930.023 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 92858 151 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220400 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+940.022 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 93858 152 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+950.023 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 94857 153 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220376 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+960.024 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 95856 154 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220284 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+970.024 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 96855 155 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220480 134591829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+980.024 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 97854 156 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220456 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+990.024 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 98854 157 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1000.02 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 99854 157 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1010.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 100853 158 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220376 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 101852 159 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 102852 160 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220244 1077374469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 103851 160 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1050.03 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 104851 161 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220352 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 105850 162 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220608 134611670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 106849 163 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 107847 165 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220480 1076647545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 108846 166 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220496 134592391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 109844 167 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220312 1077377353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 110844 168 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220312 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 111844 169 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220412 134613400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 112843 169 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220324 1077378607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 113842 171 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220464 134524405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.95 3/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 114841 172 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 115840 173 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 116840 173 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 25160
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 4372
Raw data (stat): 4372 (bsolo_mis) R 4371 7876 7672 0 -1 0 12155 0 0 0 116840 173 0 0 25 0 1 0 721521990 25763840 5394 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5394 1111 63 0 6227 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1173.28
CPU system time (s): 1.75473
CPU usage (%): 100.009
Max. virtual memory (Kb): 25212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-14
#### END VERIFIER DATA ####