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/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM	25457db86ce3cc3b7604dfa37c8096b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27931
Number of constraints which are clauses	27931
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 24744

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 10:15:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2883 boxname=wulflinc31 idbench=321 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
IDLAUNCH: 2883
/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:        891312 kB
Buffers:         32788 kB
Cached:          89240 kB
SwapCached:       1936 kB
Active:          85084 kB
Inactive:        40140 kB
HighTotal:      131008 kB
HighFree:        40936 kB
LowTotal:       903652 kB
LowFree:        850376 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12608 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 10:35:18 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 2883 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 595 variables and 27931 constraints.
c After prepocess the problem consists of 595 variables and 17970 constraints.
c preprocess terminated 108.257 s
c Initial Lower Bound: -296
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 108.574
c NEW SOLUTION FOUND: -2 @ 108.583
c NEW SOLUTION FOUND: -3 @ 108.609
c NEW SOLUTION FOUND: -4 @ 108.687
c NEW SOLUTION FOUND: -5 @ 109.487
c NEW SOLUTION FOUND: -6 @ 109.914
c NEW SOLUTION FOUND: -7 @ 110.159
c NEW SOLUTION FOUND: -8 @ 110.542
c NEW SOLUTION FOUND: -9 @ 110.774
c NEW SOLUTION FOUND: -10 @ 110.992
c NEW SOLUTION FOUND: -11 @ 111.58
c NEW SOLUTION FOUND: -12 @ 160.153
c NEW SOLUTION FOUND: -13 @ 413.271
c NEW SOLUTION FOUND: -14 @ 892.585
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -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.93 0.98 0.99 2/55 8418
Raw data (stat): 8418 (runsolver) R 8417 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 725728255 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+9.99987 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10281 0 0 0 966 30 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220392 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10281 0 0 0 1967 30 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220272 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 2966 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 3966 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220320 134535400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 4966 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 5967 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 6967 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 7967 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 8967 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10540 0 0 0 9967 31 0 0 25 0 1 0 725728255 39419904 8714 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8714 1111 63 0 9561 0
vsize: 38496
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 10967 31 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220216 1077377266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 11965 33 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220488 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 12964 34 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 13963 35 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 14962 36 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220432 134524469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 15961 37 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220476 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 16959 39 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 17959 40 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220476 1076647871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 18958 41 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 19957 43 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220492 134558545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 20956 44 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 21955 45 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220328 1077377229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 22954 46 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220368 134549269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+240.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 23957 48 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220512 134603792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+250.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 24956 49 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+260.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 25955 50 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+270.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 26955 50 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+280.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 27954 52 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220500 134603835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+290.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 28954 53 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+300.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 29953 54 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220388 134524197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+310.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 30951 56 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220480 134534159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+320.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 31962 57 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220480 134558501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+330.226 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 32965 58 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220440 1077377229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+340.289 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10558 0 0 0 33971 58 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+350.29 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 34970 60 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220340 134548566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+360.29 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 35969 61 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220404 134524380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+370.29 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 36968 62 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+380.369 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 37974 64 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220512 134592328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+390.368 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 38974 65 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220504 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+400.368 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 39973 66 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+410.422 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 40977 67 0 0 25 0 1 0 725728255 39555072 8746 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8746 1111 63 0 9594 0
vsize: 38628
[startup+420.488 s]
Raw data (loadavg): 1.11 1.02 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 41974 68 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220172 1077379959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+430.489 s]
Raw data (loadavg): 1.09 1.02 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 42972 70 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220312 1077377227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+440.502 s]
Raw data (loadavg): 1.08 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 43972 71 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220424 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+450.511 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 44972 72 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220368 1077377192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+460.561 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 45976 73 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220472 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+470.592 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 46978 75 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+480.71 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 47989 76 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+490.709 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 48988 77 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220468 1076647544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+500.709 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 49987 78 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220172 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+510.709 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 50986 79 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220408 134551617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+520.709 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 51985 80 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+530.709 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 52984 81 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+540.762 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 53988 82 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220424 134594352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+550.822 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 54993 84 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+560.822 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 55992 85 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220576 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+571.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 57009 87 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220500 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+581.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 58021 88 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+591.299 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 59036 89 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+601.495 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 60055 90 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220368 134549494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+611.716 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 61077 91 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220480 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+622.93 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10572 0 0 0 62197 92 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220416 1077378560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+633.154 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 63219 93 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220312 1077378409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+643.154 s]
Raw data (loadavg): 1.11 1.03 1.01 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 64218 94 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220424 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+653.706 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 65272 95 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220420 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+663.965 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 66298 95 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+673.965 s]
Raw data (loadavg): 1.15 1.04 1.01 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 67297 96 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220404 134524380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+685.078 s]
Raw data (loadavg): 1.27 1.07 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 68407 98 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+695.507 s]
Raw data (loadavg): 1.23 1.07 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10575 0 0 0 69448 99 0 0 25 0 1 0 725728255 39419904 8732 4294967295 134512640 134714540 3221221792 3221220384 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8732 1111 63 0 9561 0
vsize: 38496
[startup+705.673 s]
Raw data (loadavg): 1.19 1.07 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10578 0 0 0 70464 100 0 0 25 0 1 0 725728255 39555072 8735 4294967295 134512640 134714540 3221221792 3221220480 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 8735 1111 63 0 9594 0
vsize: 38628
[startup+715.726 s]
Raw data (loadavg): 1.24 1.08 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 71469 101 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+725.746 s]
Raw data (loadavg): 1.27 1.09 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 72470 102 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220404 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+735.756 s]
Raw data (loadavg): 1.23 1.09 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 73470 103 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220388 1077374218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+745.774 s]
Raw data (loadavg): 1.20 1.09 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 74470 105 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220440 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+755.943 s]
Raw data (loadavg): 1.16 1.08 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 75487 105 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220480 134591951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+765.943 s]
Raw data (loadavg): 1.14 1.08 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 76485 107 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220400 1077378647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+776.228 s]
Raw data (loadavg): 1.12 1.08 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10582 0 0 0 77513 108 0 0 25 0 1 0 725728255 39444480 8738 4294967295 134512640 134714540 3221221792 3221220432 134594343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8738 1111 63 0 9567 0
vsize: 38520
[startup+786.463 s]
Raw data (loadavg): 1.18 1.09 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10589 0 0 0 78536 109 0 0 25 0 1 0 725728255 39579648 8745 4294967295 134512640 134714540 3221221792 3221220328 1077377899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8745 1111 63 0 9600 0
vsize: 38652
[startup+797.034 s]
Raw data (loadavg): 1.15 1.09 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10594 0 0 0 79592 110 0 0 25 0 1 0 725728255 39579648 8750 4294967295 134512640 134714540 3221221792 3221220492 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8750 1111 63 0 9600 0
vsize: 38652
[startup+808.098 s]
Raw data (loadavg): 1.13 1.08 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10594 0 0 0 80697 112 0 0 25 0 1 0 725728255 39579648 8750 4294967295 134512640 134714540 3221221792 3221220476 1076647871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8750 1111 63 0 9600 0
vsize: 38652
[startup+818.311 s]
Raw data (loadavg): 1.11 1.08 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10609 0 0 0 81717 113 0 0 25 0 1 0 725728255 39579648 8765 4294967295 134512640 134714540 3221221792 3221220512 134592128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8765 1111 63 0 9600 0
vsize: 38652
[startup+828.893 s]
Raw data (loadavg): 1.16 1.09 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 82774 114 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+838.892 s]
Raw data (loadavg): 1.14 1.09 1.02 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 83773 115 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220412 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+849.166 s]
Raw data (loadavg): 1.19 1.10 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 84799 117 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220384 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+859.261 s]
Raw data (loadavg): 1.23 1.11 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 85808 118 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220432 134523187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+869.411 s]
Raw data (loadavg): 1.20 1.11 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 86822 119 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220440 134524423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+879.411 s]
Raw data (loadavg): 1.17 1.11 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 87821 120 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220352 134549400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+889.544 s]
Raw data (loadavg): 1.14 1.10 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 88834 120 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+899.658 s]
Raw data (loadavg): 1.12 1.10 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 89829 122 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+909.875 s]
Raw data (loadavg): 1.10 1.10 1.03 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 90850 123 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220420 1077374514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+920.099 s]
Raw data (loadavg): 1.31 1.14 1.04 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 91871 124 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220392 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+930.795 s]
Raw data (loadavg): 1.26 1.14 1.04 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 92939 125 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220428 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+941.293 s]
Raw data (loadavg): 1.22 1.13 1.04 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 93987 127 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220352 134551989 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+951.293 s]
Raw data (loadavg): 1.27 1.14 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 94985 128 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220520 134558798 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+961.293 s]
Raw data (loadavg): 1.30 1.15 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 95984 130 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220496 134603392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+971.984 s]
Raw data (loadavg): 1.25 1.15 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 97052 131 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220384 134613457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+982.253 s]
Raw data (loadavg): 1.21 1.14 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 98078 132 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+992.769 s]
Raw data (loadavg): 1.26 1.15 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 99127 134 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220432 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1003.29 s]
Raw data (loadavg): 1.22 1.15 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 100178 135 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220332 134551980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1013.58 s]
Raw data (loadavg): 1.18 1.14 1.05 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 101206 136 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220420 1077374583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1023.58 s]
Raw data (loadavg): 1.24 1.15 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 102204 137 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220480 134534159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1033.75 s]
Raw data (loadavg): 1.20 1.15 1.05 3/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 103219 138 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220444 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1044.04 s]
Raw data (loadavg): 1.22 1.16 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 104248 139 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1054.62 s]
Raw data (loadavg): 1.27 1.17 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 105306 139 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220536 134558576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1064.88 s]
Raw data (loadavg): 1.23 1.16 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 106331 140 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220472 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1075.42 s]
Raw data (loadavg): 1.19 1.16 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 107384 141 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220172 1077379851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1085.46 s]
Raw data (loadavg): 1.16 1.15 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 108388 142 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220312 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1095.46 s]
Raw data (loadavg): 1.14 1.14 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 109388 142 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220352 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1105.46 s]
Raw data (loadavg): 1.11 1.14 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 110387 143 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220424 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1115.47 s]
Raw data (loadavg): 1.10 1.13 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 111387 144 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220312 1077378406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1125.65 s]
Raw data (loadavg): 1.08 1.13 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 112404 145 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1135.83 s]
Raw data (loadavg): 1.15 1.14 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 113420 146 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220352 134549277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1146.15 s]
Raw data (loadavg): 1.12 1.14 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 114452 147 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220492 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1156.36 s]
Raw data (loadavg): 1.10 1.13 1.06 3/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 115473 148 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220512 134603792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1166.61 s]
Raw data (loadavg): 1.09 1.13 1.06 2/55 8418
Raw data (stat): 8418 (bsolo_mis) R 8417 7876 7672 0 -1 0 10614 0 0 0 116496 149 0 0 25 0 1 0 725728255 39579648 8770 4294967295 134512640 134714540 3221221792 3221220416 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8770 1111 63 0 9600 0
vsize: 38652
[startup+1177.45 s]
Raw data (loadavg): 1.07 1.12 1.06 1/55 8418
Raw data (stat): 8418 (bsolo_mis) Z 8417 7876 7672 0 -1 12 10618 0 0 0 117352 152 0 0 18 0 1 0 725728255 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
[startup+1177.45 s]
Raw data (loadavg): 1.07 1.12 1.06 1/55 8418
Raw data (stat): 8418 (bsolo_mis) Z 8417 7876 7672 0 -1 12 10618 0 0 0 117352 152 0 0 18 0 1 0 725728255 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0

Child status: 10
Real time (s): 1177.45
CPU time (s): 1175.05
CPU user time (s): 1173.53
CPU system time (s): 1.52377
CPU usage (%): 99.7965
Max. virtual memory (Kb): 38652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-14
#### END VERIFIER DATA ####