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/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
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	945
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.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
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 24799

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 04:45:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2982 boxname=wulflinc31 idbench=332 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
IDLAUNCH: 2982
/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:        874876 kB
Buffers:         36008 kB
Cached:         102136 kB
SwapCached:       1936 kB
Active:         105800 kB
Inactive:        35500 kB
HighTotal:      131008 kB
HighFree:        28084 kB
LowTotal:       903652 kB
LowFree:        846792 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12864 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 05:05:06 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 2982 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 945 variables and 58549 constraints.
c After prepocess the problem consists of 945 variables and 38271 constraints.
c preprocess terminated 326.784 s
c Initial Lower Bound: -424
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 327.487
c NEW SOLUTION FOUND: -2 @ 327.499
c NEW SOLUTION FOUND: -3 @ 327.532
c NEW SOLUTION FOUND: -4 @ 327.574
c NEW SOLUTION FOUND: -5 @ 327.659
c NEW SOLUTION FOUND: -6 @ 327.812
c NEW SOLUTION FOUND: -7 @ 327.871
c NEW SOLUTION FOUND: -8 @ 347.678
c NEW SOLUTION FOUND: -9 @ 393.975
c NEW SOLUTION FOUND: -10 @ 414.953
s SATISFIABLE
v -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -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.91 0.95 0.93 2/55 14716
Raw data (stat): 14716 (runsolver) R 14715 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 732391046 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 20776 0 0 0 942 54 0 0 25 0 1 0 732391046 88752128 20750 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21668 20750 1111 63 0 21605 0
vsize: 86672
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 1918 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 2918 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 3918 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 4918 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 5918 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220388 1076647889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 6919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 7919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 8919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 9919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 10919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 11919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 12919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 13919 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 14920 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 15920 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 16920 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 17920 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220200 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 18920 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 19920 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 20921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 21921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 22921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 23921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220408 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 24921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 25921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 26921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 27921 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220208 134542731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 28922 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31475 0 0 0 29922 79 0 0 25 0 1 0 732391046 99610624 23396 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23396 1111 63 0 24256 0
vsize: 97276
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31477 0 0 0 30922 80 0 0 25 0 1 0 732391046 99610624 23398 4294967295 134512640 134714540 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23398 1111 63 0 24256 0
vsize: 97276
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31477 0 0 0 31922 80 0 0 25 0 1 0 732391046 99610624 23398 4294967295 134512640 134714540 3221221792 3221220648 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23398 1111 63 0 24256 0
vsize: 97276
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 32921 80 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220500 134603811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 33920 81 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220400 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 34919 82 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220328 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 35918 83 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220464 134603705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 36918 83 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220420 1077374528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 37917 84 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220312 1077378323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 38917 84 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220352 134548846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 39916 85 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.93 3/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 40915 87 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220328 1077377885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 41915 87 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220420 1077374494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 42914 88 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220380 134523613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 43914 88 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 44913 89 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220492 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 45913 90 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220512 134551796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 46912 91 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220488 134586419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 47911 92 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220440 1077378356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 48910 93 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220512 134551796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 49909 94 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220372 1077374168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 50908 95 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220484 134534132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+520.009 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 51907 96 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220492 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+530.009 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 52907 97 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220488 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+540.009 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 53906 98 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220680 134558585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+550.009 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 54905 99 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220328 1077377236 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+560.009 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 55904 100 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+570.009 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 56904 100 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220464 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+580.009 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 57903 101 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220320 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+590.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 58903 102 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220420 1077374580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+600.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 59902 102 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220384 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+610.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 60901 103 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220428 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+620.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 61901 104 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220512 134534098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+630.009 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 62900 105 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220320 134552035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+640.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 63899 106 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+650.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 64898 107 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220328 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+660.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 65897 108 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220416 134524193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+670.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 66896 109 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220432 134523333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+680.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 67896 110 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220172 1077379851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+690.008 s]
Raw data (loadavg): 1.08 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 68896 110 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220448 134591898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+700.009 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 69895 111 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+710.009 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 70895 111 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220416 1076647576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+720.01 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 71894 112 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220528 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+730.01 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 72894 113 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220284 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+740.01 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 73894 113 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+750.011 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 74893 114 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220492 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+760.011 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 75892 115 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220452 134524411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+770.012 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 76892 115 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220328 1077378397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+780.011 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 77892 116 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220608 134611676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+790.011 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 78891 117 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220400 134523862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+800.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 79890 118 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220496 134591938 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+810.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 80889 119 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220416 1076647554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+820.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 81889 120 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220432 134548608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+830.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 82888 120 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220424 134536569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 83888 121 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220404 1077378565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 84887 122 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220328 1077377495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 85886 123 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220312 1077377848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14716
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 86885 124 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+880.277 s]
Raw data (loadavg): 1.08 1.02 0.95 3/58 14752
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 87911 125 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220408 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+890.279 s]
Raw data (loadavg): 1.22 1.05 0.96 2/58 14765
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 88910 125 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+900.279 s]
Raw data (loadavg): 1.26 1.06 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 89910 126 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220560 134556523 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+910.278 s]
Raw data (loadavg): 1.22 1.06 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 90909 127 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220752 134576096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+920.613 s]
Raw data (loadavg): 1.18 1.06 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 91942 127 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+930.613 s]
Raw data (loadavg): 1.16 1.06 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 92941 128 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220492 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+940.612 s]
Raw data (loadavg): 1.13 1.05 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 93941 129 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220468 1077374469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+950.613 s]
Raw data (loadavg): 1.11 1.05 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 94940 130 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220448 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+960.613 s]
Raw data (loadavg): 1.09 1.05 0.96 2/55 14769
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 95940 130 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220464 134591885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+970.614 s]
Raw data (loadavg): 1.08 1.05 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 96939 131 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+980.614 s]
Raw data (loadavg): 1.07 1.05 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 97939 132 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220448 134524471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+990.615 s]
Raw data (loadavg): 1.06 1.04 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 98938 133 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220368 134549395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1000.61 s]
Raw data (loadavg): 1.05 1.04 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 99937 134 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1010.61 s]
Raw data (loadavg): 1.04 1.04 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 100937 134 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1020.62 s]
Raw data (loadavg): 1.03 1.04 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 101936 135 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1030.62 s]
Raw data (loadavg): 1.03 1.04 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 102936 135 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220420 134524430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1040.62 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 103936 136 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220488 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1050.62 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 104936 136 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1060.62 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 105935 137 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220360 1077377236 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1070.62 s]
Raw data (loadavg): 1.01 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 106934 138 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220312 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1080.62 s]
Raw data (loadavg): 1.01 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 107933 139 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220612 134526692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1090.62 s]
Raw data (loadavg): 1.01 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 108933 140 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220368 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1100.62 s]
Raw data (loadavg): 1.01 1.03 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 109933 140 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220540 134549504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1110.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 110932 141 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1120.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 111931 142 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1130.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 112931 142 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1140.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 113930 143 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220352 134549395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1150.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 114929 144 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220424 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1160.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 115929 145 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220496 134534146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1170.62 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 116928 146 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220428 134548544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 97276
[startup+1175.03 s]
Raw data (loadavg): 1.00 1.02 0.96 1/54 14771
Raw data (stat): 14716 (bsolo_mis) R 14715 7876 7672 0 -1 0 31493 0 0 0 116928 146 0 0 25 0 1 0 732391046 99610624 23414 4294967295 134512640 134714540 3221221792 3221220428 134548544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24319 23414 1111 63 0 24256 0
vsize: 0

Child status: 10
Real time (s): 1175.02
CPU time (s): 1175.07
CPU user time (s): 1173.56
CPU system time (s): 1.51377
CPU usage (%): 100.004
Max. virtual memory (Kb): 97276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-10
#### END VERIFIER DATA ####