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/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM	270e069f649d19b0da4e4d23c0e1ebfc
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	760
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	760
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	760
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.06
Number of variables	760
Total number of constraints	41263
Number of constraints which are clauses	41263
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 24764

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 16:58:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2919 boxname=wulflinc31 idbench=325 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb
IDLAUNCH: 2919
/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:        885044 kB
Buffers:         34988 kB
Cached:          93024 kB
SwapCached:       1936 kB
Active:          95392 kB
Inactive:        35856 kB
HighTotal:      131008 kB
HighFree:        37100 kB
LowTotal:       903652 kB
LowFree:        847944 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12684 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 17:18:10 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 2919 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 760 variables and 41263 constraints.
c After prepocess the problem consists of 760 variables and 27831 constraints.
c preprocess terminated 204.628 s
c Initial Lower Bound: -353
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 205.137
c NEW SOLUTION FOUND: -2 @ 205.176
c NEW SOLUTION FOUND: -3 @ 205.25
c NEW SOLUTION FOUND: -4 @ 205.405
c NEW SOLUTION FOUND: -5 @ 206.055
c NEW SOLUTION FOUND: -6 @ 206.47
c NEW SOLUTION FOUND: -7 @ 207.606
c NEW SOLUTION FOUND: -8 @ 212.706
c NEW SOLUTION FOUND: -9 @ 226.824
c NEW SOLUTION FOUND: -10 @ 292.256
c NEW SOLUTION FOUND: -11 @ 956.486
s SATISFIABLE
v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -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 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.77 0.92 0.94 2/55 10676
Raw data (stat): 10676 (runsolver) R 10675 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728148982 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0013 s]
Raw data (loadavg): 0.81 0.92 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15455 0 0 0 956 40 0 0 25 0 1 0 728148982 66973696 15429 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16351 15429 1111 63 0 16288 0
vsize: 65404
[startup+20.0019 s]
Raw data (loadavg): 0.84 0.93 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 1956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220160 134543048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+30.0028 s]
Raw data (loadavg): 0.86 0.93 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 2956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220368 1076648106 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+40.0031 s]
Raw data (loadavg): 0.88 0.93 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 3956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+50.0037 s]
Raw data (loadavg): 0.90 0.93 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 4956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220176 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+60.0036 s]
Raw data (loadavg): 0.91 0.93 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 5956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220284 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+70.004 s]
Raw data (loadavg): 0.93 0.94 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 6956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+80.0046 s]
Raw data (loadavg): 0.94 0.94 0.94 2/55 10676
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 7957 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+90.0058 s]
Raw data (loadavg): 0.95 0.94 0.94 2/56 10677
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 8957 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+100.006 s]
Raw data (loadavg): 1.03 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 9957 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+110.007 s]
Raw data (loadavg): 1.02 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 10956 41 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+120.007 s]
Raw data (loadavg): 1.02 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 11956 42 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+130.008 s]
Raw data (loadavg): 1.02 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 12956 42 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+140.009 s]
Raw data (loadavg): 1.01 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 13956 43 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+150.009 s]
Raw data (loadavg): 1.01 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 14955 43 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+160.01 s]
Raw data (loadavg): 1.01 0.96 0.95 2/55 10729
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 15955 44 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220232 134542657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+170.011 s]
Raw data (loadavg): 1.01 0.96 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 16955 44 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220348 134542983 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+180.011 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 17955 44 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+190.012 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15626 0 0 0 18955 45 0 0 25 0 1 0 728148982 67649536 15600 4294967295 134512640 134714540 3221221792 3221220428 134517908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15600 1111 63 0 16453 0
vsize: 66064
[startup+200.012 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15628 0 0 0 19954 45 0 0 25 0 1 0 728148982 67649536 15602 4294967295 134512640 134714540 3221221792 3221220568 134543130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15602 1111 63 0 16453 0
vsize: 66064
[startup+210.014 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 20954 46 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 21953 48 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220496 134592421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 22951 49 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+240.016 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 23950 51 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220400 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+250.017 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 24948 53 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+260.018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 25947 54 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+270.018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 26945 56 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+280.02 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 27944 57 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+290.021 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 28943 59 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220488 134586419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 29941 61 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+310.022 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 30940 62 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220520 134529371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+320.023 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 31939 64 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220528 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+330.024 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 32938 65 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220552 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+340.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 33937 66 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220448 134534104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+350.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 34936 67 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220604 134558545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+360.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 35935 69 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 36933 70 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220312 1077378384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 37932 72 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220448 134524567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+390.027 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 38931 73 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220560 134695746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+400.026 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 39930 74 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+410.027 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 40929 75 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220508 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+420.028 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 41928 77 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220444 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+430.028 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 42927 78 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+440.029 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10731
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 43926 79 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220432 134594336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+450.03 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 44925 80 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220400 134523904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+460.031 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 45924 81 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+470.031 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 46924 82 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220376 134523391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+480.032 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 47923 83 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 1077377136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+490.032 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 48923 83 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220312 1077377411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+500.032 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 49922 84 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220352 134548556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+510.033 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 50921 85 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220476 134558784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+520.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 51921 86 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220388 134613494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+530.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 52920 87 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+540.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 53920 87 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+550.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 54919 88 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220492 134551637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+560.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 55918 89 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+570.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 56917 90 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220604 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+580.034 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 57916 91 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220432 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+590.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 58915 92 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220432 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+600.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 59914 94 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220360 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+610.036 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 60913 95 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+620.036 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 61912 96 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220488 134551609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+630.036 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 62912 97 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220432 134523184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+640.037 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 63910 99 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220492 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+650.037 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 64909 100 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220352 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+660.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 65908 101 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+670.037 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 66907 103 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+680.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 67906 104 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+690.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 68904 105 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220428 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+700.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 69903 107 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+710.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 70902 108 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220464 1076647565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+720.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 71901 109 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220408 1077374049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+730.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 72900 110 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+740.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 73899 111 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220448 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+750.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 74898 113 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+760.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 75897 114 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220536 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+770.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 76896 115 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220312 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+780.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 77895 116 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+790.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 78894 117 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220448 134524396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+800.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 79893 119 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220368 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+810.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 80892 120 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220464 134548593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+820.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 81891 120 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220352 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+830.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 82891 121 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220416 134524431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+840.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 83890 122 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220416 1076647565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+850.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 84888 124 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220312 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+860.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 85887 125 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220324 1077378607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+870.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 86886 127 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220284 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+880.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 87885 128 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220464 1076648048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+890.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 88884 129 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220608 134589234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+900.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 89883 130 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220416 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+910.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 90883 130 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+920.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 91882 131 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+930.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 92881 132 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220328 1077377705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+940.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 93881 133 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220512 134603593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+950.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 94880 134 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220528 134551746 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+960.044 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 95878 135 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+970.044 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 96877 136 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+980.045 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 97876 137 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220284 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+990.045 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 98875 138 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 99874 139 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220328 1077377159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 100873 140 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220504 134592365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 101873 141 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 102872 142 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220500 134592078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 103871 143 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220564 134590048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 104871 143 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 105870 144 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220492 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 106869 145 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220324 1077378638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 107868 146 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 108867 148 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220500 134524590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 109866 149 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220440 1077377185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 110865 151 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220504 134592413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 111864 152 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220528 134558504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 112863 152 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 113862 154 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220324 1077378641 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 114861 155 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 115861 156 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220448 134524466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 116860 157 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 66064
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.97 0.95 1/54 10733
Raw data (stat): 10676 (bsolo_mis) R 10675 7876 7672 0 -1 0 15643 0 0 0 116860 157 0 0 25 0 1 0 728148982 67649536 15617 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15617 1111 63 0 16453 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1173.45
CPU system time (s): 1.60676
CPU usage (%): 100.01
Max. virtual memory (Kb): 66064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-11
#### END VERIFIER DATA ####