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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 03:04:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2973 boxname=wulflinc31 idbench=331 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
IDLAUNCH: 2973
/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:        876204 kB
Buffers:         35868 kB
Cached:         100780 kB
SwapCached:       1936 kB
Active:         104448 kB
Inactive:        35384 kB
HighTotal:      131008 kB
HighFree:        29372 kB
LowTotal:       903652 kB
LowFree:        846832 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12916 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 03:24:04 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 2973 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 945 variables and 58245 constraints.
c After prepocess the problem consists of 945 variables and 37551 constraints.
c preprocess terminated 316.989 s
c Initial Lower Bound: -446
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 317.687
c NEW SOLUTION FOUND: -3 @ 317.699
c NEW SOLUTION FOUND: -4 @ 317.758
c NEW SOLUTION FOUND: -5 @ 319.469
c NEW SOLUTION FOUND: -6 @ 320.06
c NEW SOLUTION FOUND: -7 @ 324.731
c NEW SOLUTION FOUND: -8 @ 338.327
c NEW SOLUTION FOUND: -9 @ 343.848
c NEW SOLUTION FOUND: -10 @ 352.319
c NEW SOLUTION FOUND: -11 @ 383.14
c NEW SOLUTION FOUND: -12 @ 504.928
c NEW SOLUTION FOUND: -13 @ 736.386
c NEW SOLUTION FOUND: -14 @ 991.473
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.93 0.98 0.96 2/55 14179
Raw data (stat): 14179 (runsolver) R 14178 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 731784774 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.94 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 18607 0 0 0 947 49 0 0 25 0 1 0 731784774 79839232 18581 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19492 18581 1111 63 0 19429 0
vsize: 77968
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 21921 0 0 0 1939 58 0 0 25 0 1 0 731784774 83730432 19510 4294967295 134512640 134714540 3221221792 3221220304 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20442 19510 1111 63 0 20379 0
vsize: 81768
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 2938 58 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 3938 59 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 4937 59 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 5937 60 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220184 1077378256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 6937 60 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220264 134543087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 7936 61 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 14179
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 8936 62 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220208 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 9935 62 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 10935 63 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 11935 63 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 12935 63 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 13934 64 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 14934 64 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 15933 65 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220284 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 16933 66 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 17933 66 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 18932 67 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220156 134539273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 19932 67 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220236 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 20931 68 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.96 3/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 21931 68 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220208 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 22931 69 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 23930 69 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 24930 70 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 25930 70 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 26929 71 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 27929 71 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22023 0 0 0 28929 71 0 0 25 0 1 0 731784774 83767296 19540 4294967295 134512640 134714540 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19540 1111 63 0 20388 0
vsize: 81804
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22025 0 0 0 29929 72 0 0 25 0 1 0 731784774 83767296 19542 4294967295 134512640 134714540 3221221792 3221220648 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19542 1111 63 0 20388 0
vsize: 81804
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22025 0 0 0 30928 72 0 0 25 0 1 0 731784774 83767296 19542 4294967295 134512640 134714540 3221221792 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19542 1111 63 0 20388 0
vsize: 81804
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 31928 73 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220552 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 32926 75 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134594387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 33925 76 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 34924 77 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220440 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 35923 78 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220352 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 36922 80 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220536 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 37920 81 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 38919 82 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220432 134524436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 39918 84 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 40917 85 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220312 1077377227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 41916 87 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 42914 88 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220576 134611067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 43913 89 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220504 134592413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 44913 90 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220432 134534112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 45912 91 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220304 134551989 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 46910 93 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 47909 94 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220472 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 48907 96 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558523 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 49907 97 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220448 134536713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 50906 98 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 51905 99 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220424 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 52904 100 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 53903 102 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220408 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 54901 103 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220324 1077378605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 55900 104 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+570.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 56899 106 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220428 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 57897 108 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 58897 108 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134603669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 59895 110 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220384 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 60894 111 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220372 1077377189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 61894 112 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220424 134536569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+630.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 62893 113 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220472 134558798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 63892 114 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220396 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 64891 115 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220432 134594387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 65890 116 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220408 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+670.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 66889 117 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+680.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 67889 118 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 68889 118 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220328 1077377239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 69888 119 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220388 1077374062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 70887 120 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+720.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 71886 121 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 72886 121 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220312 1077377239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+740.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 73885 122 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220496 134592419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 74884 123 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220432 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 75883 124 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220444 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+770.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 76883 125 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134603367 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 77882 125 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 78882 126 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220436 134534132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+800.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 79882 126 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+810.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 80881 127 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220328 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+820.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 81880 128 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220352 134523607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+830.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 82880 129 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220416 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+840.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 83879 129 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220496 134534148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+850.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 84879 130 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+860.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 85878 130 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220328 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+870.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 86878 131 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134591951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+880.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 87878 131 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220328 1077377720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+890.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 88878 132 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220352 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+900.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 89877 132 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+910.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 90876 133 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+920.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 91876 134 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 92875 135 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220432 1076647572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+940.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 93875 135 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220360 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+950.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 94874 136 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 95874 137 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558526 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+970.042 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 96873 138 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+980.042 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 97872 139 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220496 134592421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 98872 140 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 99870 141 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 100869 142 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220384 134613411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 101868 143 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220448 134524471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 102867 144 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220416 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 103866 145 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 104866 146 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220444 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 105866 147 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220384 134613411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 106865 148 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220444 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 107864 149 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220536 134558587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 108862 150 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220320 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 109861 151 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220496 134603817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 110860 152 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 111860 153 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220420 1077374568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 112859 154 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220352 134523401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 113858 155 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220488 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 114857 156 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220432 134542851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 115857 156 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220476 134518100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 116857 157 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 81804
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 14181
Raw data (stat): 14179 (bsolo_mis) R 14178 7876 7672 0 -1 0 22041 0 0 0 116857 157 0 0 25 0 1 0 731784774 83767296 19558 4294967295 134512640 134714540 3221221792 3221220480 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20451 19558 1111 63 0 20388 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.07
CPU user time (s): 1173.45
CPU system time (s): 1.61375
CPU usage (%): 100.008
Max. virtual memory (Kb): 81804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-14
#### END VERIFIER DATA ####