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-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
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	41095
Number of constraints which are clauses	41095
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 24769

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 18:39:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2928 boxname=wulflinc31 idbench=326 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-3.opb
IDLAUNCH: 2928
/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:        883880 kB
Buffers:         35136 kB
Cached:          94032 kB
SwapCached:       1936 kB
Active:          96936 kB
Inactive:        35404 kB
HighTotal:      131008 kB
HighFree:        36176 kB
LowTotal:       903652 kB
LowFree:        847704 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12796 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 18:59:08 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 2928 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 760 variables and 41095 constraints.
c After prepocess the problem consists of 760 variables and 26184 constraints.
c preprocess terminated 190.316 s
c Initial Lower Bound: -341
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 190.797
c NEW SOLUTION FOUND: -2 @ 190.822
c NEW SOLUTION FOUND: -3 @ 190.875
c NEW SOLUTION FOUND: -4 @ 190.98
c NEW SOLUTION FOUND: -5 @ 191.21
c NEW SOLUTION FOUND: -6 @ 191.39
c NEW SOLUTION FOUND: -7 @ 192.072
c NEW SOLUTION FOUND: -8 @ 192.693
c NEW SOLUTION FOUND: -9 @ 241.523
c NEW SOLUTION FOUND: -10 @ 273.872
c NEW SOLUTION FOUND: -11 @ 327.079
c NEW SOLUTION FOUND: -12 @ 351.737
c NEW SOLUTION FOUND: -13 @ 761.178
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.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.86 0.97 0.96 2/55 11268
Raw data (stat): 11268 (runsolver) R 11267 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728754829 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.88 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 14618 0 0 0 953 44 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+20.0021 s]
Raw data (loadavg): 0.90 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 17971 0 0 0 1945 51 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220360 1077374433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 21951 0 0 0 2936 60 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 22479 0 0 0 3935 62 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+50.0018 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 26125 0 0 0 4927 70 0 0 25 0 1 0 728754829 54530048 12380 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13313 12380 1111 63 0 13250 0
vsize: 53252
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 30876 0 0 0 5917 80 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220224 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 30876 0 0 0 6917 81 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 30959 0 0 0 7916 82 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+90.003 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 30959 0 0 0 8915 82 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.96 3/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31020 0 0 0 9915 83 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31281 0 0 0 10914 84 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31281 0 0 0 11914 85 0 0 25 0 1 0 728754829 52908032 12006 4294967295 134512640 134714540 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12006 1111 63 0 12854 0
vsize: 51668
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31954 0 0 0 12912 86 0 0 25 0 1 0 728754829 54259712 12331 4294967295 134512640 134714540 3221221792 3221220272 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13247 12331 1111 63 0 13184 0
vsize: 52988
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31954 0 0 0 13912 87 0 0 25 0 1 0 728754829 54259712 12331 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13247 12331 1111 63 0 13184 0
vsize: 52988
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31954 0 0 0 14911 87 0 0 25 0 1 0 728754829 54259712 12331 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13247 12331 1111 63 0 13184 0
vsize: 52988
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31954 0 0 0 15911 88 0 0 25 0 1 0 728754829 54259712 12331 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13247 12331 1111 63 0 13184 0
vsize: 52988
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 31961 0 0 0 16911 88 0 0 25 0 1 0 728754829 54370304 12338 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13274 12338 1111 63 0 13211 0
vsize: 53096
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32323 0 0 0 17910 89 0 0 25 0 1 0 728754829 55697408 12689 4294967295 134512640 134714540 3221221792 3221220580 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12689 1111 63 0 13535 0
vsize: 54392
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32323 0 0 0 18910 89 0 0 25 0 1 0 728754829 55697408 12689 4294967295 134512640 134714540 3221221792 3221220636 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12689 1111 63 0 13535 0
vsize: 54392
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32902 0 0 0 19908 92 0 0 25 0 1 0 728754829 56614912 12921 4294967295 134512640 134714540 3221221792 3221220432 134524415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13822 12921 1111 63 0 13759 0
vsize: 55288
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32903 0 0 0 20906 93 0 0 25 0 1 0 728754829 56614912 12922 4294967295 134512640 134714540 3221221792 3221220312 1077377893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13822 12922 1111 63 0 13759 0
vsize: 55288
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32909 0 0 0 21904 96 0 0 25 0 1 0 728754829 56614912 12928 4294967295 134512640 134714540 3221221792 3221220420 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13822 12928 1111 63 0 13759 0
vsize: 55288
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32923 0 0 0 22903 97 0 0 25 0 1 0 728754829 56750080 12942 4294967295 134512640 134714540 3221221792 3221220352 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13855 12942 1111 63 0 13792 0
vsize: 55420
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32944 0 0 0 23902 98 0 0 25 0 1 0 728754829 56762368 12963 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13858 12963 1111 63 0 13795 0
vsize: 55432
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32944 0 0 0 24901 100 0 0 25 0 1 0 728754829 56705024 12951 4294967295 134512640 134714540 3221221792 3221220428 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13844 12951 1111 63 0 13781 0
vsize: 55376
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32944 0 0 0 25899 102 0 0 25 0 1 0 728754829 56705024 12951 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13844 12951 1111 63 0 13781 0
vsize: 55376
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32956 0 0 0 26897 103 0 0 25 0 1 0 728754829 56840192 12963 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13877 12963 1111 63 0 13814 0
vsize: 55508
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32956 0 0 0 27897 104 0 0 25 0 1 0 728754829 56799232 12963 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12963 1111 63 0 13804 0
vsize: 55468
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32956 0 0 0 28896 106 0 0 25 0 1 0 728754829 56799232 12963 4294967295 134512640 134714540 3221221792 3221220528 134529401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12963 1111 63 0 13804 0
vsize: 55468
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32956 0 0 0 29894 107 0 0 25 0 1 0 728754829 56799232 12963 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12963 1111 63 0 13804 0
vsize: 55468
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32956 0 0 0 30893 108 0 0 25 0 1 0 728754829 56799232 12963 4294967295 134512640 134714540 3221221792 3221220456 134534133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12963 1111 63 0 13804 0
vsize: 55468
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32976 0 0 0 31892 109 0 0 25 0 1 0 728754829 56934400 12983 4294967295 134512640 134714540 3221221792 3221220392 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13900 12983 1111 63 0 13837 0
vsize: 55600
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32976 0 0 0 32890 112 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220396 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32976 0 0 0 33889 113 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32976 0 0 0 34887 115 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220496 134591808 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 32976 0 0 0 35886 117 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220512 134592328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33033 0 0 0 36884 118 0 0 25 0 1 0 728754829 57069568 13031 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13933 13031 1111 63 0 13870 0
vsize: 55732
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33033 0 0 0 37883 120 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220320 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33035 0 0 0 38882 121 0 0 25 0 1 0 728754829 56934400 12976 4294967295 134512640 134714540 3221221792 3221220488 134586415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13900 12976 1111 63 0 13837 0
vsize: 55600
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33049 0 0 0 39881 122 0 0 25 0 1 0 728754829 56909824 12990 4294967295 134512640 134714540 3221221792 3221220444 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13894 12990 1111 63 0 13831 0
vsize: 55576
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33049 0 0 0 40879 124 0 0 25 0 1 0 728754829 56909824 12990 4294967295 134512640 134714540 3221221792 3221220460 134591887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13894 12990 1111 63 0 13831 0
vsize: 55576
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33062 0 0 0 41879 125 0 0 25 0 1 0 728754829 57020416 13003 4294967295 134512640 134714540 3221221792 3221220352 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13921 13003 1111 63 0 13858 0
vsize: 55684
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33062 0 0 0 42878 126 0 0 25 0 1 0 728754829 57020416 13003 4294967295 134512640 134714540 3221221792 3221220416 134543724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13921 13003 1111 63 0 13858 0
vsize: 55684
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33069 0 0 0 43877 127 0 0 25 0 1 0 728754829 57020416 13010 4294967295 134512640 134714540 3221221792 3221220416 1077378651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13921 13010 1111 63 0 13858 0
vsize: 55684
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33069 0 0 0 44876 128 0 0 25 0 1 0 728754829 57020416 13010 4294967295 134512640 134714540 3221221792 3221220328 1077378389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13921 13010 1111 63 0 13858 0
vsize: 55684
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33069 0 0 0 45875 129 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220368 134548837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33071 0 0 0 46875 129 0 0 25 0 1 0 728754829 56852480 12976 4294967295 134512640 134714540 3221221792 3221220492 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13880 12976 1111 63 0 13817 0
vsize: 55520
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33078 0 0 0 47874 130 0 0 25 0 1 0 728754829 56852480 12983 4294967295 134512640 134714540 3221221792 3221220440 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13880 12983 1111 63 0 13817 0
vsize: 55520
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33098 0 0 0 48873 132 0 0 25 0 1 0 728754829 56938496 13003 4294967295 134512640 134714540 3221221792 3221220456 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13901 13003 1111 63 0 13838 0
vsize: 55604
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33105 0 0 0 49873 132 0 0 25 0 1 0 728754829 57049088 13010 4294967295 134512640 134714540 3221221792 3221220384 134613464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13010 1111 63 0 13865 0
vsize: 55712
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33105 0 0 0 50871 134 0 0 25 0 1 0 728754829 57049088 13010 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13010 1111 63 0 13865 0
vsize: 55712
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33105 0 0 0 51870 135 0 0 25 0 1 0 728754829 57049088 13010 4294967295 134512640 134714540 3221221792 3221220384 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13010 1111 63 0 13865 0
vsize: 55712
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33105 0 0 0 52870 136 0 0 25 0 1 0 728754829 57049088 13010 4294967295 134512640 134714540 3221221792 3221220432 134524412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13010 1111 63 0 13865 0
vsize: 55712
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33105 0 0 0 53869 137 0 0 25 0 1 0 728754829 57049088 13010 4294967295 134512640 134714540 3221221792 3221220380 134523613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13010 1111 63 0 13865 0
vsize: 55712
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33105 0 0 0 54868 138 0 0 25 0 1 0 728754829 57049088 13010 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13010 1111 63 0 13865 0
vsize: 55712
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33112 0 0 0 55868 138 0 0 25 0 1 0 728754829 57049088 13017 4294967295 134512640 134714540 3221221792 3221220492 134558545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13017 1111 63 0 13865 0
vsize: 55712
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33112 0 0 0 56867 139 0 0 25 0 1 0 728754829 57049088 13017 4294967295 134512640 134714540 3221221792 3221220492 134586384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13017 1111 63 0 13865 0
vsize: 55712
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33112 0 0 0 57866 140 0 0 25 0 1 0 728754829 57049088 13017 4294967295 134512640 134714540 3221221792 3221220368 134548614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13017 1111 63 0 13865 0
vsize: 55712
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33119 0 0 0 58865 142 0 0 25 0 1 0 728754829 57049088 13024 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13024 1111 63 0 13865 0
vsize: 55712
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33119 0 0 0 59865 142 0 0 25 0 1 0 728754829 57049088 13024 4294967295 134512640 134714540 3221221792 3221220584 134542458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13024 1111 63 0 13865 0
vsize: 55712
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33119 0 0 0 60864 143 0 0 25 0 1 0 728754829 57049088 13024 4294967295 134512640 134714540 3221221792 3221220384 134539419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13024 1111 63 0 13865 0
vsize: 55712
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33119 0 0 0 61864 143 0 0 25 0 1 0 728754829 57049088 13024 4294967295 134512640 134714540 3221221792 3221220584 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 13024 1111 63 0 13865 0
vsize: 55712
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33119 0 0 0 62863 144 0 0 25 0 1 0 728754829 57049088 13024 4294967295 134512640 134714540 3221221792 3221220528 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13024 1111 63 0 13865 0
vsize: 55712
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33119 0 0 0 63862 145 0 0 25 0 1 0 728754829 57049088 13024 4294967295 134512640 134714540 3221221792 3221220512 134551796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13024 1111 63 0 13865 0
vsize: 55712
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33125 0 0 0 64861 146 0 0 25 0 1 0 728754829 57049088 13030 4294967295 134512640 134714540 3221221792 3221220488 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13030 1111 63 0 13865 0
vsize: 55712
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33125 0 0 0 65860 148 0 0 25 0 1 0 728754829 57049088 13030 4294967295 134512640 134714540 3221221792 3221220444 134524382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13030 1111 63 0 13865 0
vsize: 55712
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 66859 148 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220456 134591888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 67858 149 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220412 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 68857 151 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220448 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 69855 153 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220400 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 70854 155 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220512 134603610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 71853 155 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220416 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 72852 157 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220480 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 73850 158 0 0 25 0 1 0 728754829 57184256 13038 4294967295 134512640 134714540 3221221792 3221220432 1076647565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13038 1111 63 0 13898 0
vsize: 55844
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 74850 159 0 0 25 0 1 0 728754829 56967168 13015 4294967295 134512640 134714540 3221221792 3221220332 134552072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13908 13015 1111 63 0 13845 0
vsize: 55632
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 75848 161 0 0 25 0 1 0 728754829 56967168 13015 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13908 13015 1111 63 0 13845 0
vsize: 55632
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 76847 162 0 0 25 0 1 0 728754829 56967168 13015 4294967295 134512640 134714540 3221221792 3221220432 134534110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13908 13015 1111 63 0 13845 0
vsize: 55632
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 77846 163 0 0 25 0 1 0 728754829 56967168 13015 4294967295 134512640 134714540 3221221792 3221220460 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13908 13015 1111 63 0 13845 0
vsize: 55632
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 78846 164 0 0 25 0 1 0 728754829 56967168 13015 4294967295 134512640 134714540 3221221792 3221220328 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13908 13015 1111 63 0 13845 0
vsize: 55632
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33133 0 0 0 79844 165 0 0 25 0 1 0 728754829 56967168 13015 4294967295 134512640 134714540 3221221792 3221220384 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13908 13015 1111 63 0 13845 0
vsize: 55632
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33134 0 0 0 80843 167 0 0 25 0 1 0 728754829 57049088 13016 4294967295 134512640 134714540 3221221792 3221220372 1077374110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13016 1111 63 0 13865 0
vsize: 55712
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33134 0 0 0 81841 168 0 0 25 0 1 0 728754829 57049088 13016 4294967295 134512640 134714540 3221221792 3221220332 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13016 1111 63 0 13865 0
vsize: 55712
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33134 0 0 0 82840 169 0 0 25 0 1 0 728754829 57049088 13016 4294967295 134512640 134714540 3221221792 3221220576 134551826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13928 13016 1111 63 0 13865 0
vsize: 55712
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33155 0 0 0 83839 171 0 0 25 0 1 0 728754829 56819712 12979 4294967295 134512640 134714540 3221221792 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13872 12979 1111 63 0 13809 0
vsize: 55488
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33155 0 0 0 84838 172 0 0 25 0 1 0 728754829 56819712 12979 4294967295 134512640 134714540 3221221792 3221220476 134518132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13872 12979 1111 63 0 13809 0
vsize: 55488
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33155 0 0 0 85836 174 0 0 25 0 1 0 728754829 56819712 12979 4294967295 134512640 134714540 3221221792 3221220532 134591823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13872 12979 1111 63 0 13809 0
vsize: 55488
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33155 0 0 0 86836 175 0 0 25 0 1 0 728754829 56819712 12979 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13872 12979 1111 63 0 13809 0
vsize: 55488
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33158 0 0 0 87835 176 0 0 25 0 1 0 728754829 56954880 12982 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13905 12982 1111 63 0 13842 0
vsize: 55620
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33158 0 0 0 88834 177 0 0 25 0 1 0 728754829 56930304 12982 4294967295 134512640 134714540 3221221792 3221220352 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13899 12982 1111 63 0 13836 0
vsize: 55596
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33158 0 0 0 89833 178 0 0 25 0 1 0 728754829 56930304 12982 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13899 12982 1111 63 0 13836 0
vsize: 55596
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33178 0 0 0 90832 179 0 0 25 0 1 0 728754829 56930304 13002 4294967295 134512640 134714540 3221221792 3221220448 134524417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13899 13002 1111 63 0 13836 0
vsize: 55596
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33178 0 0 0 91831 180 0 0 25 0 1 0 728754829 56930304 13002 4294967295 134512640 134714540 3221221792 3221220464 134524405 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13899 13002 1111 63 0 13836 0
vsize: 55596
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33178 0 0 0 92830 181 0 0 25 0 1 0 728754829 56930304 13002 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13899 13002 1111 63 0 13836 0
vsize: 55596
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33178 0 0 0 93829 182 0 0 25 0 1 0 728754829 56799232 12974 4294967295 134512640 134714540 3221221792 3221220460 134534134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13867 12974 1111 63 0 13804 0
vsize: 55468
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33179 0 0 0 94828 183 0 0 25 0 1 0 728754829 56905728 12975 4294967295 134512640 134714540 3221221792 3221220172 1077379991 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13893 12975 1111 63 0 13830 0
vsize: 55572
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33199 0 0 0 95827 185 0 0 25 0 1 0 728754829 56905728 12995 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13893 12995 1111 63 0 13830 0
vsize: 55572
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33199 0 0 0 96826 186 0 0 25 0 1 0 728754829 56905728 12995 4294967295 134512640 134714540 3221221792 3221220384 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13893 12995 1111 63 0 13830 0
vsize: 55572
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33199 0 0 0 97825 187 0 0 25 0 1 0 728754829 56905728 12995 4294967295 134512640 134714540 3221221792 3221220600 1076647541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13893 12995 1111 63 0 13830 0
vsize: 55572
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33220 0 0 0 98824 189 0 0 25 0 1 0 728754829 57040896 13016 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13926 13016 1111 63 0 13863 0
vsize: 55704
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33220 0 0 0 99823 190 0 0 25 0 1 0 728754829 57040896 13016 4294967295 134512640 134714540 3221221792 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13926 13016 1111 63 0 13863 0
vsize: 55704
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33226 0 0 0 100822 191 0 0 25 0 1 0 728754829 57040896 13022 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13926 13022 1111 63 0 13863 0
vsize: 55704
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33247 0 0 0 101821 192 0 0 25 0 1 0 728754829 57176064 13043 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13043 1111 63 0 13896 0
vsize: 55836
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33247 0 0 0 102819 194 0 0 25 0 1 0 728754829 57176064 13043 4294967295 134512640 134714540 3221221792 3221220424 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13043 1111 63 0 13896 0
vsize: 55836
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33247 0 0 0 103818 195 0 0 25 0 1 0 728754829 57176064 13043 4294967295 134512640 134714540 3221221792 3221220480 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13043 1111 63 0 13896 0
vsize: 55836
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33247 0 0 0 104817 196 0 0 25 0 1 0 728754829 57176064 13043 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13043 1111 63 0 13896 0
vsize: 55836
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 105815 198 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220360 1077377893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 106814 200 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220368 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 107812 202 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220400 134548608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 108812 202 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220352 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 109811 203 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220420 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 110810 205 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220432 134552038 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 111809 206 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220480 134523401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 112807 208 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 113806 209 0 0 25 0 1 0 728754829 57176064 13064 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13959 13064 1111 63 0 13896 0
vsize: 55836
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 114804 211 0 0 25 0 1 0 728754829 56938496 13008 4294967295 134512640 134714540 3221221792 3221220508 1076647546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13901 13008 1111 63 0 13838 0
vsize: 55604
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33268 0 0 0 115803 212 0 0 25 0 1 0 728754829 56938496 13008 4294967295 134512640 134714540 3221221792 3221220492 134558545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13901 13008 1111 63 0 13838 0
vsize: 55604
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33277 0 0 0 116802 213 0 0 25 0 1 0 728754829 57073664 13017 4294967295 134512640 134714540 3221221792 3221220312 1077377385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13017 1111 63 0 13871 0
vsize: 55736
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 11268
Raw data (stat): 11268 (bsolo_mis) R 11267 7876 7672 0 -1 0 33277 0 0 0 116802 213 0 0 25 0 1 0 728754829 57073664 13017 4294967295 134512640 134714540 3221221792 3221220312 1077377385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13017 1111 63 0 13871 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1172.89
CPU system time (s): 2.16667
CPU usage (%): 100.01
Max. virtual memory (Kb): 55844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-13
#### END VERIFIER DATA ####