PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24719

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 01:54:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2838 boxname=wulflinc31 idbench=316 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
IDLAUNCH: 2838
/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:        902120 kB
Buffers:         24952 kB
Cached:          86060 kB
SwapCached:       1936 kB
Active:          61360 kB
Inactive:        52776 kB
HighTotal:      131008 kB
HighFree:        44128 kB
LowTotal:       903652 kB
LowFree:        857992 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12560 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 02:13:59 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 2838 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 450 variables and 17809 constraints.
c After prepocess the problem consists of 450 variables and 11824 constraints.
c preprocess terminated 59.439 s
c Initial Lower Bound: -227
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 59.637
c NEW SOLUTION FOUND: -3 @ 59.644
c NEW SOLUTION FOUND: -4 @ 59.656
c NEW SOLUTION FOUND: -5 @ 59.705
c NEW SOLUTION FOUND: -6 @ 59.752
c NEW SOLUTION FOUND: -7 @ 59.858
c NEW SOLUTION FOUND: -8 @ 60.939
c NEW SOLUTION FOUND: -9 @ 62.282
c NEW SOLUTION FOUND: -10 @ 176.426
c NEW SOLUTION FOUND: -11 @ 200.01
c NEW SOLUTION FOUND: -12 @ 223.776
c NEW SOLUTION FOUND: -13 @ 550.16
c NEW SOLUTION FOUND: -14 @ 646.955
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.01 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.95 0.97 0.98 2/55 5503
Raw data (stat): 5503 (runsolver) R 5502 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 722723215 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.0011 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8072 0 0 0 973 22 0 0 25 0 1 0 722723215 35909632 7847 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7847 1111 63 0 8704 0
vsize: 35068
[startup+20.0015 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8072 0 0 0 1973 22 0 0 25 0 1 0 722723215 35909632 7847 4294967295 134512640 134714540 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7847 1111 63 0 8704 0
vsize: 35068
[startup+30.0014 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8072 0 0 0 2973 22 0 0 25 0 1 0 722723215 35909632 7847 4294967295 134512640 134714540 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7847 1111 63 0 8704 0
vsize: 35068
[startup+40.0017 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8072 0 0 0 3973 22 0 0 25 0 1 0 722723215 35909632 7847 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7847 1111 63 0 8704 0
vsize: 35068
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8072 0 0 0 4973 22 0 0 25 0 1 0 722723215 35909632 7847 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7847 1111 63 0 8704 0
vsize: 35068
[startup+60.0034 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 5973 22 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+70.0047 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 6971 25 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220424 134536665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 7969 26 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+90.0062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 8967 27 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220496 134592345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 9965 29 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220412 1077378561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 10964 31 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220420 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 11962 32 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 12961 34 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220476 1076647546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 13960 35 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220504 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 14959 36 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220448 134524578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 15958 37 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220328 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 16957 38 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 17955 40 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220584 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 18955 41 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220432 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 19954 42 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220528 134528996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 20952 43 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220512 134592320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 21951 45 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 22948 47 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220432 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 23948 48 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220488 134524385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 24947 49 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220440 134534085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 25946 50 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 26946 51 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 27945 52 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220704 134601790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 28944 53 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220384 134539385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 29943 54 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 30942 55 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 31940 57 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220384 1077377136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 32939 59 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+340.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5503
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 33945 60 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+350.347 s]
Raw data (loadavg): 1.07 0.99 0.98 3/58 5544
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 34969 62 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+360.429 s]
Raw data (loadavg): 1.14 1.00 0.99 3/59 5555
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 35976 63 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220428 134548544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+370.567 s]
Raw data (loadavg): 1.12 1.00 0.99 2/55 5556
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 36989 64 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+380.566 s]
Raw data (loadavg): 1.17 1.02 0.99 2/55 5556
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 37988 65 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+390.567 s]
Raw data (loadavg): 1.15 1.02 0.99 2/55 5556
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 38986 67 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+400.567 s]
Raw data (loadavg): 1.12 1.02 0.99 2/55 5556
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 39985 68 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220448 134524583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+410.567 s]
Raw data (loadavg): 1.10 1.02 0.99 2/55 5556
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 40984 69 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+420.567 s]
Raw data (loadavg): 1.09 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 41984 70 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220480 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+430.567 s]
Raw data (loadavg): 1.07 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 42983 71 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220528 134551781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+440.566 s]
Raw data (loadavg): 1.06 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 43982 72 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220320 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+450.567 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 44981 73 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220352 134549282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+460.567 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 45980 75 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220656 134588521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+470.567 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 46978 76 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+480.567 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 47977 78 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220368 134548608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+490.568 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 48976 79 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220752 134575946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+500.568 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 49975 80 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+510.57 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 50974 81 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+520.57 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 51973 82 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220412 134548544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+530.57 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 52972 83 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+540.57 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 53971 84 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220356 134548552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+550.57 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 54970 86 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220480 134534154 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+560.571 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 55969 87 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220368 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+570.571 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 56967 89 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220528 134695346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+580.571 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 57966 90 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220440 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+590.571 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 58965 91 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220448 134524415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+600.571 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 59964 93 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+610.571 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 60963 94 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220496 134534148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+620.571 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 61962 95 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220416 134594382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+630.572 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 62961 96 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+640.572 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 63959 98 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220488 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+650.572 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 64959 99 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220360 1077377140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+660.572 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 65958 100 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220420 1077374485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+670.573 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 66957 101 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220384 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+680.573 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 67956 102 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220488 134558544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+690.573 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 68955 103 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220480 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+700.574 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5558
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 69954 104 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220476 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+710.575 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 70954 105 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220492 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+720.575 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 71952 107 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220480 134591829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+730.575 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 72951 108 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+740.575 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 73951 108 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220384 134542356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+750.576 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 74950 110 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220328 1077377368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+760.576 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 75949 110 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220424 134524423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+770.576 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 76948 111 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220460 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+780.576 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 77946 114 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+790.576 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 78945 115 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220460 1076648032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+800.576 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 79944 116 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220428 134548544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+810.577 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 80943 118 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220496 134603677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+820.577 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 81942 119 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220472 134532449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+830.577 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 82941 120 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220500 134603750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+840.578 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 83940 121 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+850.578 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 84939 122 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220444 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+860.579 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 85938 123 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+870.579 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 86938 124 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220496 134592345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+880.578 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 87937 125 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220352 134549310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+890.579 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 88935 127 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220440 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+900.578 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 89934 128 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220488 1076647541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+910.579 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 90934 129 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+920.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 91933 130 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+930.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 92931 131 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+940.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 93931 132 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220624 134526593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+950.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 94930 133 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+960.581 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 95929 134 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220472 134558801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+970.581 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 96928 136 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220372 134549501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+980.581 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 97927 137 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+990.582 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 98926 137 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220392 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1000.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 99925 139 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1010.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 100924 140 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220400 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1020.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 101923 141 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220480 134558537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1030.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 102923 142 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220300 134539337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1040.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 103922 143 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220464 134524396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1050.58 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 104921 144 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1060.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 105920 145 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220492 134586384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1070.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 106920 146 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220428 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1080.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 107919 146 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220388 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1090.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 108919 147 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1100.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 109918 147 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220440 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1110.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 110918 148 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220356 134523611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1120.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 111917 149 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220384 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1130.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 112916 151 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1140.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 113915 152 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1150.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 114914 153 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220436 134534132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1160.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 115914 153 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220512 134592320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1170.59 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 116913 154 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 35068
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 5560
Raw data (stat): 5503 (bsolo_mis) R 5502 7876 7672 0 -1 0 8089 0 0 0 116913 154 0 0 25 0 1 0 722723215 35909632 7864 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 7864 1111 63 0 8704 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.04
CPU user time (s): 1173.47
CPU system time (s): 1.56676
CPU usage (%): 100.008
Max. virtual memory (Kb): 35068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-14
#### END VERIFIER DATA ####