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-4.opb
MD5SUM	7731f50c352d2fd7b2fe148b68bfdbab
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	41605
Number of constraints which are clauses	41605
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 24774

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 20:20:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2937 boxname=wulflinc31 idbench=327 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
IDLAUNCH: 2937
/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:        882700 kB
Buffers:         35284 kB
Cached:          95040 kB
SwapCached:       1936 kB
Active:          98428 kB
Inactive:        35036 kB
HighTotal:      131008 kB
HighFree:        35196 kB
LowTotal:       903652 kB
LowFree:        847504 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12820 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 20:40:06 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 2937 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 760 variables and 41605 constraints.
c After prepocess the problem consists of 760 variables and 26942 constraints.
c preprocess terminated 181.925 s
c Initial Lower Bound: -364
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 182.402
c NEW SOLUTION FOUND: -2 @ 182.409
c NEW SOLUTION FOUND: -3 @ 182.425
c NEW SOLUTION FOUND: -4 @ 182.51
c NEW SOLUTION FOUND: -5 @ 182.754
c NEW SOLUTION FOUND: -6 @ 185.191
c NEW SOLUTION FOUND: -7 @ 196.329
c NEW SOLUTION FOUND: -8 @ 209.783
c NEW SOLUTION FOUND: -9 @ 250.694
c NEW SOLUTION FOUND: -10 @ 339.712
c NEW SOLUTION FOUND: -11 @ 469.302
c NEW SOLUTION FOUND: -12 @ 820.636
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.85 0.95 0.94 2/55 11870
Raw data (stat): 11870 (runsolver) R 11869 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 729360730 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.88 0.95 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 15879 0 0 0 958 38 0 0 25 0 1 0 729360730 51699712 11711 4294967295 134512640 134714540 3221221792 3221220284 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12622 11711 1111 63 0 12559 0
vsize: 50488
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 20340 0 0 0 1947 49 0 0 25 0 1 0 729360730 51740672 11721 4294967295 134512640 134714540 3221221792 3221220256 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12632 11721 1111 63 0 12569 0
vsize: 50528
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 22530 0 0 0 2942 54 0 0 25 0 1 0 729360730 51740672 11721 4294967295 134512640 134714540 3221221792 3221220340 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12632 11721 1111 63 0 12569 0
vsize: 50528
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 25220 0 0 0 3936 60 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 25865 0 0 0 4935 62 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 25865 0 0 0 5935 62 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220380 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 26046 0 0 0 6935 62 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 26069 0 0 0 7935 62 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 26069 0 0 0 8935 62 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 26118 0 0 0 9935 62 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 26384 0 0 0 10935 63 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 27016 0 0 0 11934 64 0 0 25 0 1 0 729360730 51761152 11726 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11726 1111 63 0 12574 0
vsize: 50548
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 27753 0 0 0 12932 66 0 0 25 0 1 0 729360730 51765248 11727 4294967295 134512640 134714540 3221221792 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12638 11727 1111 63 0 12575 0
vsize: 50552
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 28797 0 0 0 13930 68 0 0 25 0 1 0 729360730 52301824 11858 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12769 11858 1111 63 0 12706 0
vsize: 51076
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 29062 0 0 0 14930 69 0 0 25 0 1 0 729360730 52584448 11927 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12838 11927 1111 63 0 12775 0
vsize: 51352
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 29311 0 0 0 15929 69 0 0 25 0 1 0 729360730 53039104 12038 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12949 12038 1111 63 0 12886 0
vsize: 51796
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 29559 0 0 0 16929 70 0 0 25 0 1 0 729360730 54046720 12286 4294967295 134512640 134714540 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13195 12286 1111 63 0 13132 0
vsize: 52780
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 29559 0 0 0 17930 70 0 0 25 0 1 0 729360730 54046720 12286 4294967295 134512640 134714540 3221221792 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13195 12286 1111 63 0 13132 0
vsize: 52780
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 29955 0 0 0 18927 72 0 0 25 0 1 0 729360730 55173120 12575 4294967295 134512640 134714540 3221221792 3221220512 134551791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13470 12575 1111 63 0 13407 0
vsize: 53880
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30015 0 0 0 19925 74 0 0 25 0 1 0 729360730 55152640 12568 4294967295 134512640 134714540 3221221792 3221220328 1077377401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13465 12568 1111 63 0 13402 0
vsize: 53860
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30119 0 0 0 20923 75 0 0 25 0 1 0 729360730 55136256 12566 4294967295 134512640 134714540 3221221792 3221220488 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13461 12566 1111 63 0 13398 0
vsize: 53844
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30184 0 0 0 21923 76 0 0 25 0 1 0 729360730 55406592 12631 4294967295 134512640 134714540 3221221792 3221220384 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13527 12631 1111 63 0 13464 0
vsize: 54108
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30214 0 0 0 22922 77 0 0 25 0 1 0 729360730 55361536 12617 4294967295 134512640 134714540 3221221792 3221220360 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 12617 1111 63 0 13453 0
vsize: 54064
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30214 0 0 0 23921 78 0 0 25 0 1 0 729360730 55361536 12617 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 12617 1111 63 0 13453 0
vsize: 54064
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30249 0 0 0 24920 79 0 0 25 0 1 0 729360730 55611392 12652 4294967295 134512640 134714540 3221221792 3221220312 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13577 12652 1111 63 0 13514 0
vsize: 54308
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30300 0 0 0 25918 81 0 0 25 0 1 0 729360730 55345152 12588 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13512 12588 1111 63 0 13449 0
vsize: 54048
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30356 0 0 0 26917 82 0 0 25 0 1 0 729360730 55472128 12644 4294967295 134512640 134714540 3221221792 3221220548 134556757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13543 12644 1111 63 0 13480 0
vsize: 54172
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30356 0 0 0 27916 83 0 0 25 0 1 0 729360730 55472128 12644 4294967295 134512640 134714540 3221221792 3221220428 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13543 12644 1111 63 0 13480 0
vsize: 54172
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30363 0 0 0 28916 84 0 0 25 0 1 0 729360730 55607296 12651 4294967295 134512640 134714540 3221221792 3221220480 134558537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13576 12651 1111 63 0 13513 0
vsize: 54304
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30377 0 0 0 29915 85 0 0 25 0 1 0 729360730 55521280 12660 4294967295 134512640 134714540 3221221792 3221220320 134552035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12660 1111 63 0 13492 0
vsize: 54220
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30377 0 0 0 30914 86 0 0 25 0 1 0 729360730 55521280 12660 4294967295 134512640 134714540 3221221792 3221220492 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12660 1111 63 0 13492 0
vsize: 54220
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30377 0 0 0 31914 86 0 0 25 0 1 0 729360730 55521280 12660 4294967295 134512640 134714540 3221221792 3221220600 134586419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12660 1111 63 0 13492 0
vsize: 54220
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30377 0 0 0 32913 88 0 0 25 0 1 0 729360730 55521280 12660 4294967295 134512640 134714540 3221221792 3221220488 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12660 1111 63 0 13492 0
vsize: 54220
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30377 0 0 0 33911 89 0 0 25 0 1 0 729360730 55521280 12660 4294967295 134512640 134714540 3221221792 3221220400 1077378647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13555 12660 1111 63 0 13492 0
vsize: 54220
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30377 0 0 0 34910 91 0 0 25 0 1 0 729360730 55521280 12660 4294967295 134512640 134714540 3221221792 3221220528 134551781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12660 1111 63 0 13492 0
vsize: 54220
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30403 0 0 0 35909 91 0 0 25 0 1 0 729360730 55750656 12686 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13611 12686 1111 63 0 13548 0
vsize: 54444
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30403 0 0 0 36908 93 0 0 25 0 1 0 729360730 55472128 12648 4294967295 134512640 134714540 3221221792 3221220560 134556630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13543 12648 1111 63 0 13480 0
vsize: 54172
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30403 0 0 0 37907 94 0 0 25 0 1 0 729360730 55472128 12648 4294967295 134512640 134714540 3221221792 3221220512 134591885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13543 12648 1111 63 0 13480 0
vsize: 54172
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 38905 96 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 39904 98 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220560 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 40903 98 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220612 134603835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 41902 99 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220548 134592078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 42901 101 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 43901 101 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220360 1077377203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 44900 102 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 45899 103 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220484 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 46898 104 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220512 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 47897 105 0 0 25 0 1 0 729360730 55742464 12692 4294967295 134512640 134714540 3221221792 3221220492 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13609 12692 1111 63 0 13546 0
vsize: 54436
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 48896 106 0 0 25 0 1 0 729360730 55672832 12692 4294967295 134512640 134714540 3221221792 3221220416 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13592 12692 1111 63 0 13529 0
vsize: 54368
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 49895 108 0 0 25 0 1 0 729360730 55672832 12692 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13592 12692 1111 63 0 13529 0
vsize: 54368
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 50894 109 0 0 25 0 1 0 729360730 55672832 12692 4294967295 134512640 134714540 3221221792 3221220420 1077374168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13592 12692 1111 63 0 13529 0
vsize: 54368
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 51893 110 0 0 25 0 1 0 729360730 55672832 12692 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13592 12692 1111 63 0 13529 0
vsize: 54368
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 52892 111 0 0 25 0 1 0 729360730 55672832 12692 4294967295 134512640 134714540 3221221792 3221220480 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13592 12692 1111 63 0 13529 0
vsize: 54368
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30447 0 0 0 53891 112 0 0 25 0 1 0 729360730 55672832 12692 4294967295 134512640 134714540 3221221792 3221220312 1077377398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13592 12692 1111 63 0 13529 0
vsize: 54368
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30453 0 0 0 54890 113 0 0 25 0 1 0 729360730 55435264 12639 4294967295 134512640 134714540 3221221792 3221220480 134534154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13534 12639 1111 63 0 13471 0
vsize: 54136
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30485 0 0 0 55889 114 0 0 25 0 1 0 729360730 55570432 12671 4294967295 134512640 134714540 3221221792 3221220400 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13567 12671 1111 63 0 13504 0
vsize: 54268
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30485 0 0 0 56889 115 0 0 25 0 1 0 729360730 55570432 12671 4294967295 134512640 134714540 3221221792 3221220360 1077377203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13567 12671 1111 63 0 13504 0
vsize: 54268
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30513 0 0 0 57888 116 0 0 25 0 1 0 729360730 55705600 12699 4294967295 134512640 134714540 3221221792 3221220384 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13600 12699 1111 63 0 13537 0
vsize: 54400
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30513 0 0 0 58887 118 0 0 25 0 1 0 729360730 55705600 12699 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13600 12699 1111 63 0 13537 0
vsize: 54400
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30513 0 0 0 59886 118 0 0 25 0 1 0 729360730 55705600 12699 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13600 12699 1111 63 0 13537 0
vsize: 54400
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30513 0 0 0 60885 119 0 0 25 0 1 0 729360730 55435264 12639 4294967295 134512640 134714540 3221221792 3221220432 134534098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13534 12639 1111 63 0 13471 0
vsize: 54136
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 61885 120 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 62884 121 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220400 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 63883 122 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220312 1077377720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 64883 122 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220476 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 65882 123 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220416 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 66882 124 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 67881 125 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220172 1077379854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30552 0 0 0 68880 126 0 0 25 0 1 0 729360730 55697408 12678 4294967295 134512640 134714540 3221221792 3221220400 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12678 1111 63 0 13535 0
vsize: 54392
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30559 0 0 0 69879 127 0 0 25 0 1 0 729360730 55697408 12685 4294967295 134512640 134714540 3221221792 3221220528 134524405 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12685 1111 63 0 13535 0
vsize: 54392
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 70878 128 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 71878 129 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220480 134524583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 72877 130 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220284 1077379872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 73876 131 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220412 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 74875 132 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220284 1077379961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 75874 133 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220424 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 76874 134 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30566 0 0 0 77873 135 0 0 25 0 1 0 729360730 55697408 12692 4294967295 134512640 134714540 3221221792 3221220480 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13598 12692 1111 63 0 13535 0
vsize: 54392
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30579 0 0 0 78872 135 0 0 25 0 1 0 729360730 55832576 12705 4294967295 134512640 134714540 3221221792 3221220328 1077377362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13631 12705 1111 63 0 13568 0
vsize: 54524
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 79871 137 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220172 1077379892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 80870 138 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220448 134534131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 81869 139 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220440 1077377655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 82868 140 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220560 134524417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 83867 141 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220384 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 84867 142 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220480 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 85866 143 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220588 134603694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 86864 144 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 87864 145 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220328 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 88862 147 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 89861 148 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220680 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 90861 149 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220360 1077378415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 91860 150 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220352 134548596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 92859 151 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220528 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 93858 152 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220524 134532458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30600 0 0 0 94857 153 0 0 25 0 1 0 729360730 55808000 12726 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12726 1111 63 0 13562 0
vsize: 54500
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30606 0 0 0 95856 154 0 0 25 0 1 0 729360730 55947264 12732 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13659 12732 1111 63 0 13596 0
vsize: 54636
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30612 0 0 0 96855 155 0 0 25 0 1 0 729360730 55947264 12738 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13659 12738 1111 63 0 13596 0
vsize: 54636
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30619 0 0 0 97855 156 0 0 25 0 1 0 729360730 55947264 12745 4294967295 134512640 134714540 3221221792 3221220412 1077378561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13659 12745 1111 63 0 13596 0
vsize: 54636
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30626 0 0 0 98854 157 0 0 25 0 1 0 729360730 55947264 12752 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13659 12752 1111 63 0 13596 0
vsize: 54636
[startup+1000.03 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30633 0 0 0 99853 158 0 0 25 0 1 0 729360730 55947264 12759 4294967295 134512640 134714540 3221221792 3221220488 134551585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13659 12759 1111 63 0 13596 0
vsize: 54636
[startup+1010.03 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30640 0 0 0 100852 159 0 0 25 0 1 0 729360730 55541760 12665 4294967295 134512640 134714540 3221221792 3221220440 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12665 1111 63 0 13497 0
vsize: 54240
[startup+1020.03 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30640 0 0 0 101852 160 0 0 25 0 1 0 729360730 55541760 12665 4294967295 134512640 134714540 3221221792 3221220496 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12665 1111 63 0 13497 0
vsize: 54240
[startup+1030.03 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30640 0 0 0 102851 161 0 0 25 0 1 0 729360730 55541760 12665 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12665 1111 63 0 13497 0
vsize: 54240
[startup+1040.03 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30640 0 0 0 103849 162 0 0 25 0 1 0 729360730 55541760 12665 4294967295 134512640 134714540 3221221792 3221220528 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12665 1111 63 0 13497 0
vsize: 54240
[startup+1050.03 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30640 0 0 0 104848 164 0 0 25 0 1 0 729360730 55541760 12665 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12665 1111 63 0 13497 0
vsize: 54240
[startup+1060.03 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30640 0 0 0 105847 165 0 0 25 0 1 0 729360730 55541760 12665 4294967295 134512640 134714540 3221221792 3221220432 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12665 1111 63 0 13497 0
vsize: 54240
[startup+1070.03 s]
Raw data (loadavg): 1.09 1.00 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30646 0 0 0 106847 165 0 0 25 0 1 0 729360730 55676928 12671 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13593 12671 1111 63 0 13530 0
vsize: 54372
[startup+1080.03 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30653 0 0 0 107846 166 0 0 25 0 1 0 729360730 55676928 12678 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13593 12678 1111 63 0 13530 0
vsize: 54372
[startup+1090.03 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30666 0 0 0 108844 168 0 0 25 0 1 0 729360730 55676928 12691 4294967295 134512640 134714540 3221221792 3221220500 134524590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13593 12691 1111 63 0 13530 0
vsize: 54372
[startup+1100.03 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30673 0 0 0 109844 169 0 0 25 0 1 0 729360730 55676928 12698 4294967295 134512640 134714540 3221221792 3221220408 1077378649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13593 12698 1111 63 0 13530 0
vsize: 54372
[startup+1110.03 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 110843 170 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220172 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1120.03 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 111841 172 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220400 134523396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1130.03 s]
Raw data (loadavg): 1.18 1.03 0.96 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 112840 173 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1140.03 s]
Raw data (loadavg): 1.15 1.03 0.96 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 113839 174 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220500 1077374168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1150.03 s]
Raw data (loadavg): 1.13 1.03 0.96 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 114838 175 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1160.03 s]
Raw data (loadavg): 1.11 1.03 0.96 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 115837 176 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220284 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1170.03 s]
Raw data (loadavg): 1.09 1.03 0.96 2/55 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 116837 177 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 54504
[startup+1174.94 s]
Raw data (loadavg): 1.08 1.03 0.96 1/54 11870
Raw data (stat): 11870 (bsolo_mis) R 11869 7876 7672 0 -1 0 30687 0 0 0 116837 177 0 0 25 0 1 0 729360730 55812096 12712 4294967295 134512640 134714540 3221221792 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12712 1111 63 0 13563 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1173.25
CPU system time (s): 1.80772
CPU usage (%): 100.01
Max. virtual memory (Kb): 54636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-12
#### END VERIFIER DATA ####